数据库学习的一天（3）
第五讲
1.关系演算：区分元组演算和域演算->元祖演算：关系谓词是元组 域演算：关系谓词是域（）画圈部分则是关系谓词
2.基本公式：元组演算，t是变量
θ为逻辑比较符 第四点注释：即属于关系R的所有元组存在满足P(t）或者所有均满足 运算符优先级为重点
量词:分为存在量词和全称量词，被量词所约束的是约束变量，否则则是*变量，第一个括号内放比较范围，第二个括号里放比较条件
3.等价性
4.域演算：根据域来进行遍历
5.QBE：由四个部分构成
操作命令分为：
6.示例元素：用于站位，来打印该属性（底下有下划线，并没有实际意义）
当示例元素不一样则是表达或操作，当示例元素一样时则是与运算
用操作区来表达一个元祖内部的条件关系
用相同示例元素来进行外连接
7.关系演算的安全性：①关系代数是一种集合运算，安全 ②关系演算则不安全（何为安全：即不产生无限关系和无穷验证）
8.安全约束有限集合：
要求每个被查询的对象都必须在DOM里
9.三种关系运算的关系：等价，均为非过程性，但是域演算>元组演算>关系代数