第3章关系数据库系统模型.pptVIP

1. 原子公式(Atoms) 自由变量 在一个公式中，如果没有对元组变量使用存在量词或全称量词，那么这些元组变量称为自由元组变量。上述原子公式中所出现的元组变量，在自身关系的范围内均为自由变量。 约束变量 若在一个公式中对元组变量使用了存在量词或全称量词，则称这些元组变量为约束变量。 2．公式(Formulas) (1)每个原子公式是一个公式。其中的元组变量是自由变量。 (2)设P1和P2是公式，那么下列4项也是公式。 P1 表示命题：“若P1为真，则﹁P1为假；若P1为假，则﹁P1为真”。 P1∧P2 表示命题：“若P1，P2同时为真，则P1∧P2亦为真；否则，P1∧P2为假”。 P1∨ P2 表示命题：“若P1，P2之中有一个为真或两个均为真，则P1∨ P2为真；否则，P1∨P2为假”。 P1= P2 表示命题：“若P1为真同时P2为假，则P1= P2为假；否则P1= P2为真”。公式中的元组变量性质（指自由性或约束性）将与P1和P2保持一致。 2．公式(Formulas) (3)设P1是公式，t是P1中的元组变量，那么下列两项也是公式。 (?t)(P1) 表示命题：“若有一个t使P1为真，则(?t)(P1)为真；否则,(? t)(P1)为假”。 (?t)是一个量词，其含义为“存在这样的t”或“至少有这样一个t”。元组变量t在P1中是自