NoSQL 图谱：KV、文档、宽列与图数据库

一句话定义

NoSQL 是为特定访问模式与扩展性而放弃部分关系模型保证的数据库家族：KV 存储（Redis）、文档库（MongoDB）、宽列库（Cassandra/HBase）、图库（Neo4j）各有其甜蜜点；NewSQL 则试图用新架构同时拿回 SQL 与水平扩展。

为什么重要

单一关系库不再默认通吃：缓存、会话、消息、社交关系、时序监控各有一等公民引擎，认识图谱才能正确分工。
NoSQL「放弃的东西」（跨文档事务、外键、Schema 约束）比「得到的东西」更值得先学——知道边界才不会把 MongoDB 当 MySQL 用。
NewSQL（Spanner、TiDB、CockroachDB）代表「分布式 + SQL + 强一致」的合流趋势，是 kp-024/kp-025/kp-026 知识的集大成。

前置知识

kp-021（LSM——多数 NoSQL 的内核）、kp-024（分区——扩展性的手段）。

核心概念

KV 存储：get/put 语义，内存（Redis）或磁盘 KV（RocksDB 系）；无查询语言，靠键设计表达一切。
文档数据库：JSON/BSON 文档为单元，模式灵活，支持文档内嵌与文档级原子性（MongoDB）。
宽列存储（Wide-column）：行键 + 动态列族（Cassandra/HBase），LSM 内核，按行键范围高效扫描。
图数据库：节点 + 边（可带属性）的一等公民（Neo4j），多跳遍历用图原生算子而非连接。
时序/向量库：按时间/嵌入向量组织的专项引擎，近年 NoSQL 图谱的扩展翼。
NewSQL：分布式强一致 + SQL（Spanner 的 TrueTime、TiDB 的 Raft + TiKV）。
CAP 落位：KV/宽列多属 AP（或可调），文档库介于其间，NewSQL 属 CP。

原理与机制

家族差异本质是「为哪种访问模式放弃哪些保证」。KV：放弃查询能力换纳秒级点查与极简语义，所有复杂度转移到键设计（如 user:{id}:cart 命名空间）。文档库：放弃跨文档事务与连接（新版有有限多文档事务，代价大），换取读模型的局部性——把「订单 + 明细」内嵌为一个文档，读一次到位，这正是 kp-008 反范式的极端化。宽列库：把行键范围扫描做到极致（LSM + 分区），放弃二级索引与即时一致性，适合写多读少的日志/消息流。图库：放弃「把关系降级为连接操作」的关系模型，邻接表物理内联，三度好友、路径查找这类多跳查询从 O(连接爆炸) 变为图遍历。NewSQL 的配方 = kp-024 Range 分区 + 每分区 Raft 组（kp-026）+ 全局时钟/混合逻辑时钟的分布式 MVCC + 完整 SQL 栈。

实例或案例

电商多引擎分工：Redis（KV）扛会话与购物车热点读；MongoDB（文档）存商品详情（属性异构、整体读）；Cassandra（宽列）接用户行为日志流；Neo4j（图）做「买了又买」多跳推荐；MySQL（关系库）守住订单与资金的主干事务；TiDB（NewSQL）承接拆分后仍要跨库 JOIN 的中台分析。一套业务、六种引擎——每种的选型理由都能回溯到本篇的机制差异。

常见误区

「Schema 灵活 = 不用设计」：文档结构仍是隐式契约，无约束的灵活让数据质量随时间崩塌。
用 KV 库做复杂查询：只有主键访问是甜点区，扫描/过滤/聚合都是它放弃的能力。
图库万能化：两跳以内的关系查询用关系库自连接或预计算往往更便宜，图库的优势在未知深度遍历。

自测题

文档库「内嵌 vs 引用」的判据是什么？答：读模式整体性（总是一起读 → 内嵌）与增长无界性（子文档可能无限增长 → 引用，防止大文档搬家与 16MB 上限）。
NewSQL 如何同时做到 SQL 与水平扩展？答：Range 分区把数据打散，每个分区用 Raft 保证高可用与强一致，全局时钟支撑分布式 MVCC，上层保留完整 SQL 与优化器。

公式或模型

本节不适用：本知识点是家族图谱与机制对照，定量模型分散在各引擎前置知识点（kp-021/kp-024/kp-026）。

图示

NoSQL 四家族各为一类访问模式而生；NewSQL 向「SQL + 扩展 + 强一致」合流

直观类比

把数据库家族比作厨房：KV 是刀（简单锋利，只做一件事）；文档库是深锅（一锅端整道菜）；宽列库是流水线烤炉（大批量同款生产）；图库是神经网络般的全景地图（找关系最快）；关系库是主灶（复杂烹饪的核心）；NewSQL 是把主灶复制到每个分店还能同步菜谱的新模式。

与其他知识点的关系

kp-001 的三层模式在非关系引擎中的对应物是「访问 API + 存储格式」；kp-021/kp-024/kp-026 是它们的公共底盘；kp-030 把本图谱变成选型决策树；kp-028 提供各家族兴起的历史语境。

前置知识点

相关知识点