约束近似真实

数据库无法判断用户声明是否真的符合现实，只能检查它是否满足约束。约束是谓词的可执行近似；约束越完整，数据库越接近可信的现实模型。