# 数据库系统·知识综述 识别卡 2.0

- **层级**: L4 · 系统性前沿层（课标骨架填充，待终裁）
- **状态**: pending（骨架填充 · 待设计者终裁）
- **领域**: 计算机科学
- **教育层级**: E4（大学）· 分布：骨架 15 知识点 / 内容 15 条

## 核心主张

数据库系统（课标骨架 15 知识点填充）：现象+规律，简单词汇，规律性出现即知识……

## 条件空间

- **观测位置**: 数据库系统（大学层）外部观测位
- **观测工具**: 课标骨架 + 现象规律性判定
- **时间窗口**: (0.0, 9999999999.0)
- **存在约束**: 大学学段知识按课标骨架定位；通用现象/规律不受版权保护，开源非盈利知识库提取知识点而非复制教材表达

## 出招

- **触发**: 涉及数据库系统议题
- **行动**: 以数据库系统知识点（大学层）回应
- **克制**: 越级使用高于大学层级的未学概念

## 知识点内容（按骨架填充）

### NoSQL

NoSQL：非关系数据库。键值（Redis）、文档（MongoDB）、列族（HBase）、图（Neo4j）。NoSQL特点：灵活模式、水平扩展。适用场景（缓存、日志、社交图）。

### 事务ACID

事务：数据库操作的原子单元。ACID：原子性（Atomicity）、一致性（Consistency）、隔离性（Isolation）、持久性（Durability）。事务保证数据正确。

### 云数据库

云数据库：数据库即服务（DBaaS）。云上部署、弹性伸缩、托管运维。云原生数据库（TiDB、Aurora）。多云数据架构。

### 关系代数与SQL

SQL：数据定义（DDL：CREATE）、数据操作（DML：SELECT/INSERT/UPDATE/DELETE）、数据控制（DCL）。关系代数：选择、投影、连接、并交差。SQL是关系数据库标准语言。

### 分布式数据库

分布式数据库：数据分片、复制。分布式事务（两阶段提交）。CAP定理（一致性、可用性、分区容错性三选二）。一致性协议（Raft、Paxos）。

### 大数据技术

大数据：海量数据存储处理。Hadoop（HDFS+MapReduce）、Spark（内存计算）。数据湖。流处理（Kafka、Flink）。大数据技术处理PB级数据。

### 存储引擎

存储引擎：数据存储与索引的实现。InnoDB（事务、行锁）、MyISAM（表锁）。存储引擎差异影响功能与性能。日志与数据文件。

### 并发控制

并发控制：隔离并发事务。锁（共享锁、排他锁、两阶段锁）、时间戳排序、多版本并发控制（MVCC）。隔离级别（读未提交、读已提交、可重复读、串行化）。

### 故障恢复

故障恢复：数据库崩溃后的恢复。日志（redo/undo日志）、检查点、WAL（预写日志）。恢复过程：重做已提交、回滚未提交。故障恢复保证持久性。

### 数据仓库

数据仓库：面向分析的数据库。ETL（抽取、转换、加载）。星型/雪花模型。OLAP（联机分析）。数据仓库支撑商业智能（BI）。

### 数据库安全

数据库安全：用户权限管理（GRANT/REVOKE）、视图限制、加密（传输、存储）、审计日志、SQL注入防护（参数化查询）。

### 数据库设计范式

范式：第一范式（原子性）、第二范式（消除部分依赖）、第三范式（消除传递依赖）、BCNF。反范式（冗余换性能）。ER图→关系模式设计。

### 数据模型

数据模型：关系模型（表）、ER模型（实体联系）、层次网状模型。关系：元组、属性、键（主键外键）。数据模型是数据库的基础。

### 查询优化

查询优化：执行计划选择。代价估算（统计信息）。等价变换（连接顺序、谓词下推）。优化器（基于规则、基于代价）。查询优化显著提升性能。

### 索引

索引：加速查询的数据结构。B+树索引（范围查询）、哈希索引（等值查询）、全文索引。聚簇索引与非聚簇索引。索引代价（存储、更新）。

## 识别卡明细

- **observation_position**: 从数据库系统（大学层）结构端透视
- **existence_preset**: 默认存在预设：大学学段知识按课标骨架存在
- **irreducible_start**: 不可约起点：数据库系统的核心概念
- **observation_method**: 有效观测方式：课标骨架知识点 + 现象规律性格式
- **time_causality**: 时间与因果结构：按课标学段递进（大学）
- **condition_boundary**: 边界：数据库系统知识点按课标骨架定位学段；具体数值/例题以教材为准
- **consistency**: 自洽性评估：知识点内容为现象+规律格式，待人工审校
- **protocol_mapping**: 可映射协议概念：数据库系统与条件论知识图谱的接口
- **silent_preset**: 沉默预设：知识点内容为通用现象/规律，不声称终极解释

## 关系

- 课标骨架（similar）：数据库系统与 knowledge_skeleton.json 的 大学 学段对应