运算符次序
存在 全称
约束变量
自由变量
QBE语言 P. D. I. U. 元例元素与投影
关系运算的安全性
任何公式都在一个集合范围内操作
关系运算有三种:关系代数、元组演算、域演算
集合思维 关系代数
逻辑思维 关系演算 ——元组演算、域演算
运算符次序
存在 全称
约束变量
自由变量
QBE语言 P. D. I. U. 元例元素与投影
关系运算的安全性
任何公式都在一个集合范围内操作
关系运算有三种:关系代数、元组演算、域演算
集合思维 关系代数
逻辑思维 关系演算 ——元组演算、域演算