TABLE An arrangement of words, numbers, or signs, or .pptVIP

元组关系演算 原子公式 s∈R s是关系R中的一个元组 s[x] ? u[y] s[x]与u[y]为元组分量，他们之间满足比较关系? s[x] ? c 分量s[x]与常量c之间满足比较关系? 元组关系演算 公式的递归定义 原子公式是公式 如果P是公式，那么┑P也是公式 如果P1 , P2是公式，则P1 ? P2 , P1 ? P2 , P1 ? P2也是公式 如果P(t)是公式，R是关系，则?t?R (P(t))和?t?R (P(t)) 也是公式 元组关系演算 公式的等价性 P1 ?P2 ? ┑(┑P1 ? ┑P2) ? t?R (P(t)) ? ┑?t ?R (┑P(t)) P1 ? P2 ? ┑P1 ?P2 p q ┑p p ?q ┑p ? q T T F T T T F F F F F T T T T F F T T T 元组关系演算 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S A B C 3 4 6 5 6 9 { t | t ? S ? t[A] 2} A B C 4 5 6 7 8 9 { t | t ? R ? ┑t?S } 元组关系演算 A B C 1 2 3 3 4 6 { t | t?S ? ?u?R(t[C] u[B])} A B C 4 5 6 7 8 9 { t | t?R ?