在验证公式时需对无穷多个元组进行验证就是无穷验证。
在SQL中,把传统的关系模型中的存储模式称为存储文件。每个存储文件与外部存储器上一个物理文件对应。
候选键是对具有关系键特性的一个或多个属性(组)的统称