什么叫完整约束