原子命题函数是公式，简称为原子公式。它有下面三种形式：
(1) R(f)，R是关系名，f是元组变量，我(。表示这样一个命题％是关系R的一个元组
(2) t［i］0C或3审］。中］表示元组变量，的第，个分量，C是常量，。为算术比较运算符。
审］OC或cet［i］表示这样一个命题“元组变量t的第i个分量与c之间满足0运算”。
例如，表示t的第二个分量小于8。42］ =，数据库，表示t的第二个分量等于“数
据库”。
(3) o f、”是两个元组变量，购如［J］表示这样一个命题“元组变量，的第，个
分量与元组变量”的第了个分量之间满足。运算"。
例如，担］3”［4］表示t的第二个分量大于等于"的第四个分量。