问答题

【参考答案】

域约束、基本表约束和断言