'S 3.3Tuple and Domain Relation Calculus 元组和域关系演算 D 71 。，。。 71 §3.3Tuple and Domain Relation Calculus 元组和域关系演算