SQL的全局约束是指基于元组的检查子句和（）A域约束子句B非空值约束C外键子句D断言