Sync from obsidian

Author: virtualguard101

.cursor/rules/learning-agent.mdc

@@ -79,4 +79,6 @@ The minimum depth level is 1, and the maximum is 10. Lower depth levels cover fo
 10. Level 10: Cutting-Edge Research: Explore the latest research and discoveries, providing profound understanding of current progress and future directions.
 This standard can also represent the depth of content students expect to learn.
 
-- If document formatting issues are found, they should be promptly raised using the `📝 A minor formatting suggestion` tag and appended at the end of the response
+- If document formatting issues are found, they should be promptly raised using the `📝 A minor formatting suggestion` tag and appended at the end of the response.
+
+- When user requests an instruction similar to "completing notes based on the tag directory / the structure / the exists content of the note," please fill it in using concise, simple, and easy-to-understand language suitable for beginners, preferably supplemented with practical examples to aid comprehension.

docs/obsidian/Database/assets/concept-model/rela.jpg

@@ -1,5 +1,5 @@
 ---
-date: 2026-03-16 14:29:38
+date: 2026-03-22 15:08:38
 title: 信息的三种世界及描述
 permalink: info-description
 publish: true
@@ -8,3 +8,21 @@ tags:
 ---
 
 # 信息的三种世界及描述
+
+将现实世界以计算机能理解和表现的形式反映到数据库中，通常分为分为三个阶段，称之为三种世界：
+
+- 现实世界
+
+- 信息世界
+
+- 计算机世界（数据世界）
+
+![](assets/info-description/db-descr_example.jpg)
+
+- 现实世界的事物及联系，通过需求分析转换成为信息世界的概念模型（数据库设计人员）
+
+- 然后再把概念模型转换为计算机上某个DBMS所支持的逻辑模型（数据库设计人员和数据库设计工具DBMS）
+
+- 最后逻辑模型再转换为最底层的物理模型，从而进行最终实现（DBMS）
+
+![](assets/info-description/db-descr.jpg)

docs/obsidian/Database/assets/info-description/db-descr.jpg

@@ -1,5 +1,5 @@
 ---
-date: 2026-03-16 15:23:00
+date: 2026-03-23 01:01:00
 title: 关系模型
 permalink: rela-model
 publish: true
@@ -8,3 +8,247 @@ tags:
 ---
 
 # 关系模型
+
+- 关系模型是数据库使用的一种典型数据模型
+
+- 在关系模型中，其数据结构为具有一定特征的二维表
+
+- 在关系数据库中，数据是以关系表形式存储实体数据
+
+- 关系是一个由行和列组成的二维表
+
+## 关系数据结构
+
+### 关系
+
+关系是单一的数据结构。无论是实体集，还是实体集之间的联系均由单一的关系表示。其逻辑结构为二维表，从用户的角度来说关系模型的逻辑结构就是一张二维表。
+
+- 关系建立在集合代数的基础上。
+
+- 元数据: 关于数据库结构的数据。如：表名，列名，表列的属性等。
+
+### 关系中的基本术语
+
+#### 元组
+
+- **元组**（*Tuple*）是关系中的一**行**，对应表中的一条**记录**。
+
+- 一个 $n$ 元关系中的每个元组有 $n$ 个**分量**，分别来自各属性所在域；同一关系中任意两个元组不能完全相同（见下文[「关系的性质」](#关系的性质)）。
+
+#### 属性
+
+- **属性**（*Attribute*）是关系中的一**列**，常称为**字段**；列头即**属性名**。
+
+- 同一关系中属性名互不相同；不同列可以来自同一域，但仍需不同属性名以区分语义。
+
+- 属性有**类型**（及长度等），由该属性所来自的域及向域的映像决定。
+
+#### 候选码
+
+- **候选码**（*Candidate Key*）是能**唯一标识**关系中任意元组的**属性或属性组**，且具有**最小性**：从中再删去任一属性就不再能唯一标识。
+
+- 一个关系可以有一个或多个候选码；多个候选码时除选作主码的一个外，其余常称为**备用码**。
+
+#### 主码
+
+- **主码**（*Primary Key*）是从若干候选码中**选定**、在实现与约束上作为**主要唯一标识**使用的那一个（或那一组属性）。
+
+- 主码用于实体完整性：主码属性不得为空（多属性主码时，组成主码的每个属性都不得为空）。
+
+##### 主码选择的注意事项
+
+- **稳定性**：优先选择现实世界中**不易改变**的业务标识（如学号），避免频繁变更主码及外码引用。
+
+- **最小与明确**：在能唯一标识的前提下尽量**属性少**；语义上要能代表「这一行是谁」。
+
+- **自然键与代理键**：若业务键过长、易变、或存在隐私/复合度过高，可另设**代理键**（见下）作主码，业务键仍可建唯一约束。
+
+- **空值与组合**：主码属性不能为 `NULL`；多属性主码时需整体考虑唯一性，不能只保证其中一部分。
+
+#### 代理键
+
+- **代理键**（*Surrogate Key*）是系统生成的、**无业务含义**的唯一标识（如自增整数、UUID），仅用于在库内稳定区分行。
+
+- 典型用法：表增加 `id` 作主码，自然业务键（如身份证号）另存并可加 `UNIQUE`；便于连接、迁移，且减少对业务规则变化的敏感度。
+
+#### 全码
+
+- **全码**：关系的**全部属性**合在一起才构成候选码（即不存在真子集能唯一标识元组）。多见于多对多联系单独成表且仅当所有列组合唯一时的情形。
+
+#### 主属性
+
+- **主属性**：出现在**任一候选码**中的属性。
+
+- **非主属性**：不出现在任何候选码中的属性。
+- 规范化、函数依赖分析中常区分主属性与非主属性（例如求候选码、判断范式时）。
+
+### 数据库中关系的类型
+
+- 基本表（基本关系或者基表）：实际存在的表，它是实际存储数据的逻辑表示。
+
+- 查询表：查询结果表或查询中生成的临时表。
+
+- 视图表：由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据。
+
+### 关系的性质
+
+- 列是同质的，即每列中的分量是同一类型的数据，来自同一个域。
+
+- 不同的列可出自同一个域，其中的一列称为一个属性，不同的属性要给予不同的属性名在同一关系中，属性名不能相同。
+
+- 列的顺序无所谓，即列的次序可以任意交换。
+
+- 任意两个元组不能完全相同，即关系中不能有完全相同的两条记录。
+
+- 行的顺序无所谓，即行的顺序可以任意交换。
+
+- 行与列的交集称为分量，每个分量的取值必须是原子值，即每个分量都必须是不可分的数据项，每个属性不能再分割。
+
+### 其他概念
+
+- 关系模式（Relation Schema）是型
+
+- 关系是值
+
+- 关系模式是对关系的描述
+
+    - 元组集合的结构
+
+    - 属性构成
+
+    - 属性来自的域
+
+    - 属性与域之间的映象关系
+
+    - 元组语义以及完整性约束条件
+
+    - 属性间的数据依赖关系集合
+
+- 关系模式形式化定义：$R(U, D, DOM, F)$
+
+    - $R$：关系名
+
+    - $U$：组成该关系的属性名的集合
+
+    - $D$：属性组$U$中属性所来自的域
+
+    - $DOM$：属性向域的映象集合
+
+    - $F$  ：属性间的数据依赖关系集合
+
+- 关系模式通常可以简记为 $R(U)$ 或 $R(A_1, A_2, \ldots, A_n)$。其中 $R$ 为关系名，$A_1, A_2, \ldots, A_n$ 为字段名
+
+- 域名及属性向域的映像常直接称为属性的类型及长度
+
+- 关系和关系模式的联系与区别
+
+    - 关系模式是关系的框架或结构，是静态的、稳定的。
+
+    - 关系是按关系模式组合的表格，关系既包括结构也包括其数据，关系的数据是动态的、随时间不断变化的。
+
+    - 关系是关系模式在某一时刻的状态或内容。
+
+    - 实际应用中，人们通常把关系模式和关系都称为关系
+
+- 关系数据库中关于表的三组术语对应的关系:
+
+    | 关系 | 元组 | 属性 |
+    |:-:|:-:|:-:|
+    | 表 | 行 | 列 |
+    | 文件 | 记录 | 字段 |
+
+## 关系操作
+
+关系操作的三大功能:
+
+- **数据查询**: 数据检索、统计、排序、分组以及用户对信息的需求等功能
+
+- **数据维护**: 数据添加、删除、修改等数据自身更新的功能
+
+- **数据控制**: 为了保证数据的安全性和完整性而采用的数据存取控制及并发控制等功能
+
+关系操作的数据查询和数据维护功能使用关系代数中的8种操作来表示，即**并**（*Union*）、**差**（*Difference*）、**交**（*Intersection*）、**广义的笛卡儿积**（*Extended Cartesian Product*）、**选择**（*Select*）、**投影**（*Project*）、**连接**（*Join*）和**除**（*Divide*）。
+
+其中**选择**、**投影**、**并**、**差**、**笛卡尔积**是5种基本操作。其他操作可以由基本操作导出。
+
+在关系模型中，关系数据库操作通常是用代数方法或逻辑方法实现，分别称为*关系代数*和*关系演算*。
+
+关系操作语言可以分为3类:
+
+- **关系代数语言**: 用对关系的运算来表达查询要求
+
+- **关系演算语言**: 用谓词演算表达查询要求
+
+- **具有关系代数和关系演算双重特点的语言**: 如SQL
+
+## 关系的完整性
+
+- 关系模型的完整性规则是对关系的某种约束条件
+
+- 关系模型允许定义3类完整性约束
+
+    - **实体完整性**
+
+    - **参照完整性**
+
+    - **用户自定义的完整性**
+
+    前两个完整性是关系模型必须满足的完整性约束，称为两个不变性；由关系系统自动支持。
+
+### 实体完整性规则
+
+- **实体完整性规则**: 若属性A是基本关系R的主属性，则属性A不能取空值
+
+    例如，学生关系“学生(学号，姓名，性别，专业号，年龄)”中，“学号”为主码，则“学号”不能取空值。
+
+- 实体完整性规则规定基本关系的主码不能取空值，若主码由多个属性组成，则所有这些属性都不可以取空值
+
+    例如，学生选课关系“选修(学号，课程号，成绩)”中，“学号、课程号”为主码，则“学号”和“课程号”两个属性都不能取空值。
+
+- 实体完整性规则是针对基本关系而言的。一个基本表通常对应信息世界的一个实体集
+
+- 信息世界中的实体是可区分的，即它们具有某种唯一性标识
+
+- 关系模型中以主码作为唯一性标识
+
+- 主码中的属性即主属性不能取空值
+
+### 参照完整性规则
+
+-  **参照完整性规则**: 若属性（或属性组）$F$ 是基本关系 $R$ 的外码，它与基本关系 $S$ 的主码 $K_s$ 相对应（基本关系 $R$ 和 $S$ 有可能是同一关系），则对于 $R$ 中每个元组在 $F$ 上的值必须为以下值之一:
+
+    - 取空值: $F$ 的每个属性值均为空值
+
+    - 等于 $S$ 中某个元组的主码值
+
+- 主码（主键）与外码（外键）的列名不一定相同，唯一的要求是它们的值的域必须相同
+
+!!! example
+    学生关系和专业关系表示如下，其中主码用斜体标识:
+
+    学生(*学号*，姓名，性别，专业号，年龄)
+    专业(*专业号*，专业名)
+
+    则“学生”关系中的“专业号”属性只能取下面两类值:
+
+    - 空值，表示尚未给该学生分配专业。
+
+    - 非空值，这时该值必须是专业关系中某个元组的“专业号”值。
+
+### 用户自定义的完整性
+
+针对某一具体关系数据库的约束条件的，它反映某一具体应用所涉及的数据必须满足的语义要求。
+
+DBMS可以为用户实现如下自定义完整性约束:
+
+- 定义域的数据类型和取值范围。
+
+- 定义属性的数据类型和取值范围。
+
+- 定义属性的缺省值。
+
+- 定义属性是否允许空值。
+
+- 定义属性取值唯一性。
+
+- 定义属性间的数据依赖性。