知识卡片

不一致推出任意

专业/工作

内容

在不一致的逻辑系统中,可以从矛盾推出任意命题,因此数据库一旦违反约束,查询结果就失去可信基础。[[黄金法则]]不是洁癖,而是防止整个推理系统坍塌。

参考来源

《SQL与关系数据库理论——如何编写健壮的SQL代码(原书第2版)》第10章 SQL与逻辑