|
知识路径: > 数据库技术 > 关系数据库 > 关系运算 > 域演算 >
|
相关知识点:2个
|
|
|
|
原子命题函数是公式,简称为原子公式。它有下面三种形式:
|
|
|
(1)R(t1,…,ti,…,tk)。R是k元关系,ti是元组变量t的第i个分量,R(t1,…,ti,…,tk)表示这样一个命题“以t1,…,ti,…,tk为分量的元组在关系R中”。
|
|
|
(2)tiθC或Cθti。ti表示元组变量t的第i个分量,C是常量,θ为算术比较运算符。
|
|
|
(3)tiθuj。ti与uj是两个域变量,ti是元组变量t的第i个分量,uj是元组变量u的第j个分量,它们之间应满足θ运算。
|
|
|
例如,t1≥u4表示t的第一个分量值大于等于u的第四个分量值。
|
|
|