Tuple relation Calculus 元组关系演算 以元组为变量的关系演算 元组关系演算。为得到元组 关系演算的数学描述，人们将谓词演算推广到元组 元算中来。 ·元组演算的公式定义法则： 1、原子命题函数是公式，称为原子公式(atom formulas). 在关系演算中，它有如下三种形式： 8080 二、Tuple Relation Calculus 元组关系演算 以元组为变量的关系演算叫 元组关系演算。为得到元组 关系演算的数学描述，人们将谓词演算推广到元组 元算中来。 • 元组演算的公式定义法则： 1、原子命题函数是公式，称为原子公式（atom formulas）。 在关系演算中，它有如下三种形式：