关系代数 关系代数表达式 附加的关系代数运算 不增强表达式能力 集合交自然连接赋值运算外连接 扩展的关系代数运算 增强表达式能力 广义投影聚集 元组关系演算 域关系演算 以上三种能力等价 第一种为过程性,后两种为非过程性 SQL基于关系代数,QBE,Datalog基于后两种