【笔记】数据库--形式化关系查询语言

版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/Aprilxdy/article/details/70183529

关系代数

基本运算

• 选择运算：选出满足给定谓词的元组。
  例：选择instructor关系中属于physics系的元组
  

• 投影运算：
  
  

• 关系运算的组合
  
  

  • 并运算
  • 差运算
  • 笛卡尔积运算
  • 更名运算

关系代数的形式化定义

附加的关系代数运算

• 集合交运算
• 自然连接运算
• 赋值运算
• 外连接运算

扩展的关系代数运算

• 广义投影
• 聚集

元组关系运算

查询实例

形式化定义

表达式的安全性

语言的表达能力

域关系演算

形式化定义

查询的例子

表达式的安全性

语言的表达能力

术语