关系代数/元组演算/域演算的等价性与SQL为何成为主流实现

关系模型的数据操作有两条不同的描述路径：关系代数是过程化的——用一系列 运算符（选择/投影/连接等）一步步组合出结果，描述”怎么算”；关系演算是 声明式的——用谓词逻辑描述”结果应该满足什么条件”，不关心具体计算步骤， 分为元组关系演算（变量是元组）和域关系演算（变量是属性/域）两种。三者 表达能力完全等价，任何一个能表达的查询另外两个也都能表达，只是描述 问题的思维方式不同：关系代数像是写一段处理流程，关系演算像是描述一个 结果集合应满足的性质。但这三种都只是抽象的数学语言，不能直接被数据库 系统执行，因此还需要一层”可实现的语言”把它们落地——历史上出现过多种 尝试：ALPHA语言（用字符串表达谓词，未真正实现但启发了QUEL）、QBE （基于域关系演算、以填表方式输入查询条件的表格式语言，后来主流数据库 的图形化查询界面大多借鉴了这个思路），而SQL最终成为事实标准，因为它 基于关系代数、语法贴近自然语言表达、又完整覆盖了数据定义、数据操作、 安全性和完整性控制的全部需求——不是因为SQL在理论表达能力上比另外两种 演算更强（三者本就等价），而是它在”描述能力”和”工程可实现性、易用性” 之间取得了最好的平衡。