1、元组演算的概念
在元组演算中,元组演算表达式简称为元组表达式,其一般形式为{t|p(t)}。
t:元组变量,表示一个元数固定的元组;
p:公式,在数理逻辑中也称为谓词,也就是计算机语言中的条件表达式。
{t|p(t)}表示满足公式p的所有元组t的集合。
2、原子公式
★R(s),其中R是关系名,s是元组变量。
★s[i]θu[j],其中s和u是元组变量,θ是算术比较运算符,s[i]和u[j]分别是s的第i个分量和u的第j个分量。
★s[i]θa 或 aθu[j],其中的a为常量。
3、公式
(1)每个原子是一个公式。其中的元组变量是自由变量。
(2)如果P1和P2是公式,那么┓P1、P1∨P2、P1∧P2和P1→P2也是公式。
(3)如果P1是公式,那么(∃s)(P1)和(∀s)(P1)也都是公式。
(4)公式中各种运算符的优先级从高到低: θ、∃、∀、┓、∧、∨和
4、等价的转换规则
(1)P1∧P2等价┓(┓P1∨┓P2)
(2)P1∨P2等价于┓(┓P1∧┓P2)
(3)(∀s)(P1(s))等价于┓(∃s)(┓P1(s)).
(∃s)(P1(s))等价于┓(∀s)(┓P1(s))
(4)P1→P2等价于┓P1∨P2。
5、关系代数表达式转换为元组表达式