关系的元组演算

元组演算的基本公式

---

 

{t｜P(t)}，P是公式

上面的表示的是一个集合，这个集合由t(t是变量)构成的，并且这个必须使P(t)为真

原子公式:

• s∈R，表示元组s属于关系R
• s[A] ⊙ c,，⊙是运算符
• s[A] ⊙ u[B]

下面是关于原子公式的例子

存在量词与全称量词的运用

---

 

全称和存在量词在涉及到多个表的操作时需要用到

存在量词是对部分元组(不能少于一个)进行验证使得公式为真，而全称量词是对所有的元组进行验证使得公式为真

上例中如果把存在改成全称就错了，因为如果是全称的话意味者t[Sage]比所有的u[Sage]都要大，但是t和u是来自同一个元组的，这显然不可能

等价变化

典型的例子

---