关系代数Relational Algebra中五种基本运算的精要总结并Union、差Difference、广义笛卡儿积Extended Cartesian Product、投影Projection、选择Selection。这些运算是关系数据库理论的核心构成了SQL查询如SELECT,WHERE,UNION,JOIN等的数学基础。以下是对各运算的简明归纳与补充说明并∪要求R 和 S同质union-compatible——即属性个数相同、对应属性域兼容通常要求同名同类型。结果去重是集合运算自动消除重复元组注意关系这是一个非常关键的理论与工程结合的问题。一、为什么“并”和“差”要求关系同质union-compatible而笛卡儿积不需要根本原因在于运算语义所依赖的元组可比性不同。✅并∪与差−是集合级的“横向合并”或“元素筛选”操作其定义基于元组的相等性判断如t ∈ R ∨ t ∈ S或t ∈ R ∧ t ∉ S。要判定两个元组t₁和t₂是否相等从而决定是否去重、是否属于差集必须满足元组长度相同即属性个数 n m对应位置的属性具有可比的域domain——例如第 i 个分量都为整数、或都为字符串且语义一致如都是“学号”而非一个为学号、另一个为课程名。→ 否则“t₁ t₂”无定义集合运算失去数学基础。因此同质性相同元数 对应属性域兼容是逻辑前提。✅笛卡儿积×是构造性组合操作不涉及元组间比较。它仅要求将 R 的每个元组r ⟨a₁,…,aₙ⟩与 S 的每个元组s ⟨b₁,…,bₘ⟩拼接成新元组⟨a₁,…,aₙ,b₁,…,bₘ⟩。这一过程不要求 aᵢ 与 bⱼ 可比也不要求 R 和 S 的属性语义相关——即使 R 是学生表学号、姓名S 是课程表课号、学分拼接后得到的是“所有学生-课程对”逻辑自洽。→ 因此元数无关、域无关唯一要求是属性名冲突时能通过限定如 R.A, S.B消歧。 类比理解并/差 ≈ “把两堆同规格零件混在一起挑出重复/剔除某类” → 零件必须型号一致才能识别是否相同笛卡儿积 ≈ “把每颗螺丝配到每块电路板上生成所有可能装配方案” → 螺丝和电路板本就不同类无需可比只需能“绑在一起”。二、在物理执行层面带来的影响运算同质性要求物理执行关键影响并 / 差✅ 强制同质•需预校验模式兼容性列数、类型、隐式转换规则否则编译期报错•去重/筛选依赖哈希或排序常需构建哈希表对元组整体哈希或全局排序按所有属性字典序时间复杂度 O(笛卡儿积❌ 无同质要求•无模式校验开销仅需处理同名属性重命名•纯嵌套循环NLJ即可实现外层遍历 R内层遍历 S逐对拼接 → 计算复杂度 O( 补充现代数据库如PostgreSQL、Oracle在优化器中会自动规避裸笛卡儿积——若发现FROM R, S WHERE ...中缺少连接条件会报警告或拒绝执行而对UNION则严格检查列数与类型兼容性如INT与VARCHAR直接 UNION 会报错除非显式CAST。型中元组无序且不重复故结果仍为合法关系。**差−**同样要求 R 和 S 同质。非交换R − S ≠ S − R不满足结合律(R − S) − T ≠ R − (S − T)。广义笛卡儿积×是连接Join运算的基础若 R 和 S 有同名属性必须显式限定如R.A S.A否则产生歧义。结果元数 n m元组数 |R| × |S|当 |R| 或 |S| 为0时结果为空关系。投影π垂直操作改变关系的“宽度”列数可重命名属性如 π_{A→X, B→Y}®但标准定义中需配合重命名运算 ρ 实现。自动去重 → 可能改变元组数量即使原关系无重复。选择σ水平操作改变关系的“高度”行数条件 F 是一阶逻辑谓词作用于单个元组。选择具有级联性和交换性σ_{F1∧F2}® σ_{F1}(σ_{F2}®)σ_F(R × S) 等价于 σ_F(R ⨝ S)若F仅涉及R或S的属性可下推优化。✅ 这五个运算构成完备的运算集任何关系代数表达式均可由它们组合而成例如自然连接、θ-连接、交集等均可派生。-- 示例用基本运算表达交集 R ∩ S-- R ∩ S R − (R − S) 需 R,S 同质