记录级有效性规则用于检查()之间的逻辑关系
出自:计算机科学