| 原子命题函数是公式，简称为原子公式。它有下面三种形式：
|
|
|
| （1）R（t）。R是关系名，t是元组变量，R（t）表示这样一个命题“t是关系R的一个元组”。
|
|
|
| （2）t［i］θC或Cθt［i］。t［i］表示元组变量t的第i个分量，C是常量，θ为算术比较运算符。t［i］θC或Cθt［i］表示这样一个命题“元组变量t的第i个分量与C之间满足θ运算”。
|
|
|
| 例如，t［3］<'8'表示t的第三个分量小于8。t［2］='数据库'表示t的第二个分量等于“数据库”。
|
|
|
| （3）t［i］θu［j］。t、u是两个元组变量，t［i］θu［j］表示这样一个命题“元组变量t的第i个分量与元组变量u的第j个分量之间满足θ运算”。
|
|
|
| 例如，t［2］≥u［4］表示t的第二个分量大于等于u的第四个分量。
|
|
|
京公网安备 11010502032051号 | 营业执照