关系元组演算 概述 关系元组演算公式的形式 关系元组演算公式的完整定义 原子公式及与与或非之理解与运用 存在量词与全称量词之理解与运用 存在量词与全称量词公式 语义正确性与等价性变换训练 四个复杂例子 元组演算公式与关系代数的等价性