第5讲 关系模型之关系演算 （基于逻辑）
500-本讲学习什么（1分47秒）及第5讲教学课件PDF
501-什么是关系元组演算（6分44秒）
其中 是比较运算符
502-简单运用元组演算公式（9分17秒）
（1）元组演算公式之原子公式
（2）元组演算公式之与、或、非运算符
（3）注意运算符之次序及语义正确性
503-存在量词与全称量词（17分17秒）
元组变量t前有存在量词或全称量词，则该变量被称为“约束变量”，否则被称为“自由变量”。
战老师认为这两个公式含义有所不同。
504-等价变换（8分40秒）
注意：判断未学过某门课程需要遍历所有相关的课程
505-四个典型示例（12分39秒）
506-用元组演算实现关系代数操作（4分35秒）
507-什么是域演算（7分58秒）
508-什么是按示例查询-QBE（12分54秒）
QBE：Query By Example
509-QBE应用训练（10分52秒）
510-关系演算的安全性（7分06秒）
511-三种关系运算之比较（6分21秒）
数据库语言可以基于这三种抽象运算来设计
- 用“键盘符号”来替换抽象的数学符号
- 用易于理解的符号组合来表达抽象的数学符号
第5讲模拟练习题
安全的元组演算公式和安全的域演算公式可以等价变换。