惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

雷峰网
雷峰网
宝玉的分享
宝玉的分享
量子位
博客园 - Franky
The Cloudflare Blog
博客园 - 【当耐特】
Jina AI
Jina AI
Google DeepMind News
Google DeepMind News
WordPress大学
WordPress大学
Microsoft Security Blog
Microsoft Security Blog
博客园 - 叶小钗
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
罗磊的独立博客
V
V2EX
MongoDB | Blog
MongoDB | Blog
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
H
Help Net Security
博客园 - 聂微东
F
Fortinet All Blogs
GbyAI
GbyAI
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
Stack Overflow Blog
Stack Overflow Blog
博客园_首页
人人都是产品经理
人人都是产品经理

姓王者的博客

Linux用户Secure Boot自主维护指南 | 姓王者的博客 MAD Bugs 已经开始——关于信息安全的军备竞赛 | 姓王者的博客 解决钉钉Dingtalk无法在Linux新版内核上启动问题-修复可执行栈错误 | 姓王者的博客 突发:GitHub 正遭受大规模 Issue 赌博广告轰炸 | 姓王者的博客 Ubuntu26.04-beta体验:坚毅浣熊! | 姓王者的博客 fakeclaw装作龙虾发贴吧 | 姓王者的博客 找回12年前的QQ记忆 | 姓王者的博客 在Linux上玩Flash网页游戏-洛克王国 | 姓王者的博客 Copilot将使用交互数据来训练 | 姓王者的博客 重要通知-请更新我的GPG公钥 | 姓王者的博客 为了自由Android | 姓王者的博客 GPL"2,3"事 | 姓王者的博客 短文-对VitePlus的一点🤏小贡献 | 姓王者的博客 Bing收录没了?亲测有效的快速恢复指南 | 姓王者的博客 解决桌面设备二维码快速识别的工具-ClipQR | 姓王者的博客 解决 Nautilus 自定义终端插件安装依赖问题 | 姓王者的博客 OpenClaw 该熄火了 | 姓王者的博客 Vite8 - 统一的基建开始 | 姓王者的博客 Astro 6 推出啦 | 姓王者的博客 ubuntu的openvpn异常暂停推送更新 | 姓王者的博客 Ubuntu 24.04 安装 Win10 虚拟机 | 姓王者的博客 ESA-后记:热爱阿里云 | 姓王者的博客 Moonbit 0.8.0 重大发布,我也要改一下我的包 | 姓王者的博客 ESA Pages 边缘开发大赛获奖 | 姓王者的博客 Astro: 优化katex,mermaid和灯箱使用 | 姓王者的博客 从edgeone迁移到esa | 姓王者的博客 出租人类:AI时代的荒诞与真实 | 姓王者的博客 Astro 5.17构建性能优化实践:从18s到13s | 姓王者的博客 Moonbit License Checker 开发使用 | 姓王者的博客 Stalux Astro博客主题自荐 | 姓王者的博客
数据库原理-关系数据 | 姓王者的博客
作者:xingwangzhe · 2025-09-20 · via 姓王者的博客

数据库原理-关系数据

🕒 阅读时间:3 分钟 📝 字数:806 👀 阅读量: Loading...

:::tip

含有ai生成内容

AI整理文本

:::

关系数据模型的形式化定义

关系数据模型(Relational Data Model)是基于集合论和关系代数的数据库模型,由 E.F. Codd 于 1970 年提出。它将数据组织为关系(Relation),每个关系是一个二维表,行称为元组(Tuple),列称为属性(Attribute)。

基本概念

  • 域(Domain):域 D 是一个值的集合,所有值具有相同的数据类型。例如,整数域 D_int = {…, -1, 0, 1, …},字符串域 D_string = {所有字符串}。
  • 属性(Attribute):属性 A 是关系中的一列,对应一个域 D。属性名唯一标识列。
  • 元组(Tuple):元组 t 是关系中的一行,由 n 个值组成,每个值来自对应属性的域。形式化表示为 t = <v1, v2, …, vn>,其中 vi ∈ D_i。
  • 关系(Relation):关系 R 是元组的集合,定义为 R ⊆ D1 × D2 × … × Dn,其中 n 是关系的度(Degree)。关系可以表示为二维表:
    • 行:元组。
    • 列:属性。 关系模式(Relation Schema):关系模式 R(A1:D1,A2:D2,…,An:Dn)R(A_1:D_1, A_2:D_2, \dots, A_n:D_n) 定义关系的结构,包括属性名和对应域。
  • 关系实例(Relation Instance):关系在某一时刻的具体元组集合。

示例关系

考虑学生关系 Student(SID: int, Name: string, Age: int):

SIDNameAge
1Alice20
2Bob22
3Carol21
  • 度:3(三个属性)。
  • 基数:3(三个元组)。

关系的运算

关系运算基于关系代数(Relational Algebra),包括集合运算和专门运算。运算结果仍是关系,可以用表格表示。

集合关系运算

假设有两个关系 R 和 S,具有相同的属性(兼容)。

  1. 并(Union):R ∪ S = {t | t ∈ R ∨ t ∈ S}。合并两个关系的元组,去除重复。

    • 示例:学生表 A 和 B。
      • A:

        SIDName
        1Alice
        2Bob
      • B:

        SIDName
        2Bob
        3Carol
      • A ∪ B:

        SIDName
        1Alice
        2Bob
        3Carol
  2. 交(Intersection):R ∩ S = {t | t ∈ R ∧ t ∈ S}。取共同元组。

    • 示例:A ∩ B:
      SIDName
      2Bob
  3. 差(Difference):R - S = {t | t ∈ R ∧ t ∉ S}。取 R 中不在 S 中的元组。

    • 示例:A - B:
      SIDName
      1Alice

选择运算(Selection)

选择 σ_条件(R)\sigma\_{\text{条件}}(R) 从关系 R 中选择满足条件的元组。

  • 形式化:σF(R)={t∣t∈R∧F(t)=true}\sigma_F(R) = \{ t \mid t \in R \land F(t) = \text{true} \},其中 F 是条件(如 Age > 20)。
  • 示例:σ_Age>20(Student)
    • 原表:
      SIDNameAge
      1Alice20
      2Bob22
      3Carol21
    • 结果:
      SIDNameAge
      2Bob22
      3Carol21

投影运算(Projection)

投影 π_属性列表(R)\pi\_{\text{属性列表}}(R) 从关系 R 中选择指定属性,去除重复。

  • 形式化:π_A1,A2,…,Ak(R)={t[A1,A2,…,Ak]∣t∈R}\pi\_{A_1, A_2, \dots, A_k}(R) = \{ t[A_1, A_2, \dots, A_k] \mid t \in R \}
  • 示例:π_Name,Age(Student)
    • 原表:
      SIDNameAge
      1Alice20
      2Bob22
      3Carol21
    • 结果:
      NameAge
      Alice20
      Bob22
      Carol21

连接运算(Join)

连接将两个关系基于条件组合。

  • 自然连接(Natural Join)R⋈S={t[r]∪t[s]∣t[r]∈R,t[s]∈S,t[r][A]=t[s][A] for common attributes A}R \bowtie S = \{ t[r] \cup t[s] \mid t[r] \in R, t[s] \in S, t[r][A] = t[s][A] \text{ for common attributes } A \}

  • 示例:学生表 Student(SID, Name) 和成绩表 Grade(SID, Course, Score)。

    • Student:
      SIDName
      1Alice
      2Bob
    • Grade:
      SIDCourseScore
      1Math90
      2Math85
    • Student ⋈ Grade:
      SIDNameCourseScore
      1AliceMath90
      2BobMath85
  • θ-连接R⋈_θS={t[r]∪t[s]∣t[r]∈R,t[s]∈S,θ(t[r],t[s])}R \bowtie\_\theta S = \{ t[r] \cup t[s] \mid t[r] \in R, t[s] \in S, \theta(t[r], t[s]) \},θ 是比较条件。

  • 外连接:左外连接 (R⋉S)(R \ltimes S)、右外连接 (R⋊S)(R \rtimes S)、全外连接 (R⋈LS)(R \bowtie_L S),保留不匹配的元组,用 null 填充。

除运算(Division)

R÷SR \div S 基于 S 的属性划分 R。

  • 形式化:R÷S={t∣∀u∈S,t∪u∈R}R \div S = \{ t \mid \forall u \in S, t \cup u \in R \},其中 S 的属性是 R 的子集。
  • 示例:供应商表 Supplier(SID, Part) 和零件表 Part(PID)。
    • Supplier:
      SIDPart
      1A
      1B
      2A
    • Part:
      Part
      A
      B
    • Supplier ÷ Part:
      SID
      1

换名操作(Rename)

换名 ρ∗NewName(R)\rho*{\text{NewName}}(R)ρ∗A→B(R)\rho*{A \to B}(R) 重命名关系或属性。

  • 示例:ρ_StudentTable(Student) 将 Student 重命名为 StudentTable。
  • 属性换名:ρ_SID→StudentID(Student) 将 SID 改为 StudentID。

关系的完整性约束

完整性约束确保数据库数据的正确性和一致性。

实体完整性(Entity Integrity)

  • 定义:关系的主键不能为 null。每个元组的主键值必须唯一且非空。
  • 原因:主键唯一标识元组,null 值会破坏唯一性。
  • 示例:在 Student 表中,SID 为主键,不能有 null 或重复值。

参照完整性(Referential Integrity)

  • 定义:外键的值必须匹配参照关系的主键,或为 null(如果允许)。
  • 原因:维护关系间的引用一致性,避免悬空引用。
  • 示例:Grade 表的 SID 外键必须存在于 Student 表的 SID 中。

用户定义完整性(User-Defined Integrity)

  • 定义:根据应用需求定义的约束,如域约束、检查约束。
  • 类型
    • 域约束:属性值必须在域内(如 Age > 0)。
    • 检查约束:元组级条件(如 Score BETWEEN 0 AND 100)。
    • 断言:跨关系约束。
  • 示例:Age 属性必须 >= 18。