判断题 检验约束是除了键码约束和外键码约束之外的第3种主要的约束。检验约束既可用于属性，也可用于元组。（ ）