A两条语句都是合法的B前者定义了属性上的约束条件，后者定义了元组上的约束条件C两条语句的约束效果不一样D当sum属性改变时检查，上述两种CHECK约束都要被检查