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

推荐订阅源

S
Schneier on Security
V
Visual Studio Blog
M
MIT News - Artificial intelligence
云风的 BLOG
云风的 BLOG
Y
Y Combinator Blog
N
Netflix TechBlog - Medium
Recent Announcements
Recent Announcements
U
Unit 42
D
Docker
Recorded Future
Recorded Future
GbyAI
GbyAI
C
Check Point Blog
博客园 - 叶小钗
大猫的无限游戏
大猫的无限游戏
博客园 - 司徒正美
月光博客
月光博客
A
About on SuperTechFans
Last Week in AI
Last Week in AI
T
Tailwind CSS Blog
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
F
Fortinet All Blogs
宝玉的分享
宝玉的分享
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
Jina AI
Jina AI
G
GRAHAM CLULEY
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
I
InfoQ
AWS News Blog
AWS News Blog
The Hacker News
The Hacker News
Cyberwarzone
Cyberwarzone
博客园 - 三生石上(FineUI控件)
P
Palo Alto Networks Blog
C
CERT Recently Published Vulnerability Notes
aimingoo的专栏
aimingoo的专栏
S
Securelist
F
Full Disclosure
T
The Exploit Database - CXSecurity.com
Cisco Talos Blog
Cisco Talos Blog
Know Your Adversary
Know Your Adversary
T
Tor Project blog
Scott Helme
Scott Helme
T
Threat Research - Cisco Blogs
NISL@THU
NISL@THU
A
Arctic Wolf
美团技术团队
G
Google Developers Blog
D
Darknet – Hacking Tools, Hacker News & Cyber Security
L
LangChain Blog
Simon Willison's Weblog
Simon Willison's Weblog
Apple Machine Learning Research
Apple Machine Learning Research

姓王者的博客

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博客主题自荐 | 姓王者的博客 把Hexo永久链接迁移到Astro | 姓王者的博客 再见👋 LeanCloud | 姓王者的博客 2025年终总结 | 姓王者的博客 许可合规-fancybox | 姓王者的博客 博客主题的软著下来了 | 姓王者的博客 友链图谱 - 汇聚千丝万缕的联系 | 姓王者的博客 chen-er 专为Chen式ER图打造的npm包 | 姓王者的博客 为什么我推荐你使用GPG来加密你的邮件 | 姓王者的博客 2025第三方客户端登录东北大学邮箱 | 姓王者的博客 好久没更新了,过去与未来 | 姓王者的博客 1024 重要的日子 | 姓王者的博客 再也不见Windows10 | 姓王者的博客 偷梁换柱,解决Ubuntu24.04安装Packet Tracer缺失依赖问题 | 姓王者的博客 中秋-来试试Moonbit吧 | 姓王者的博客 Obsidian使用体验 | 姓王者的博客 猪猪侠·一只老猪的逆袭 | 姓王者的博客 国庆日纪念 | 姓王者的博客 GNU 42周年,AI时代的自由精神 | 姓王者的博客 解决Linux上启动游戏总是默认English的情况 | 姓王者的博客 7x24:运维使命 | 姓王者的博客 Tauri2.x实现系统菜单导航Vue路由 | 姓王者的博客 计算机图形学-基本图形生成算法 | 姓王者的博客 数据库原理-设计技巧 | 姓王者的博客 数据库原理E-R模型 | 姓王者的博客 旧忆 - 我曾玩过的游戏 | 姓王者的博客 再谈自由软件 | 姓王者的博客 可能解决Tauri多窗口应用阻塞问题 | 姓王者的博客 Xingwangzhe! Z-Library We miss you and we need your help | 姓王者的博客 计算机组成原理第二章 - 定点数与浮点数 | 姓王者的博客 计算机组成原理第一章 | 姓王者的博客 不小心写死循环窗口弹出了 | 姓王者的博客 美化Grub界面 | 姓王者的博客 计算机图形学-图形的表示与数据结构 | 姓王者的博客 计算机图形学绪论 | 姓王者的博客 为什么说,大学教育与社会脱节 | 姓王者的博客 VSCode Remote 远程连接服务器记录 | 姓王者的博客 解决Tauri2.x拖拽事件问题 | 姓王者的博客 新学期第一课《计算机图形学》报告 | 姓王者的博客 Tauri在GNOME46+上通知无效的临时解决方法 | 姓王者的博客 窃文者:未经授权转载我文章 | 姓王者的博客 GPG公钥分享文化 | 姓王者的博客 解决在ubuntu上,打包vscode插件问题 | 姓王者的博客 伪造squaremap的玩家显示 | 姓王者的博客 爆,沉浸式翻译泄露敏感信息 | 姓王者的博客 读书:《Free as in Freedom》——若为自由故 | 姓王者的博客 首页文章列表懒加载优化 | 姓王者的博客 Ubuntu 24.04 安装 Vivado 2018.3 | 姓王者的博客 腾讯Edgeone免费版体验 | 姓王者的博客 在 Ubuntu 上实现 Thetis FIDO U2F 密钥登录 | 姓王者的博客 Thetis物理密钥,为什么我们应该使用物理密钥 | 姓王者的博客 高考生过来看!教你精准转换录取位次! | 姓王者的博客 ubuntu无法访问windows磁盘问题 | 姓王者的博客 收信有感,防范钓鱼邮件 | 姓王者的博客 自由不止软件-记录一次zlib上传书籍 | 姓王者的博客 时隔两年,通关夺命邮差2 | 姓王者的博客 博客一周年了,竟然坚持了下来 | 姓王者的博客 Minecraft大电影:不建不散! | 姓王者的博客 是时候了解docker了! | 姓王者的博客 编译原理:LL(1)文法 | 姓王者的博客 编译原理:文法转换 | 姓王者的博客 离散数学:子群的陪集及拉格朗日定理 | 姓王者的博客 离散数学:半群,独异点 | 姓王者的博客 《人工智能生成合成内容标识办法》与个人博客--我们应该做什么? | 姓王者的博客 通识学习:形式语言与自动机,布尔代数与数进制 | 姓王者的博客 离散数学:代数系统(一) | 姓王者的博客 Webmapview:一个我的世界内置网页地图浏览Fabric模组 | 姓王者的博客 海岛机器人农场试玩 | 姓王者的博客 正则表达式学习 | 姓王者的博客 抓取个人博客文章目录到github主页 | 姓王者的博客 制作github贪吃蛇贡献图 | 姓王者的博客
数据库原理-关系数据 | 姓王者的博客
作者: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。