数据库系统--元组演算

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、关系代数表达式转换为元组表达式