rule-of-law:健全性检查器，以验证有关数据一致性的假设

法律规定 法治是一种逻辑谓语，也是一种工具，它使您可以验证数据库中有关数据和关系的假设，否则这些假设很难检查或执行。 将法治视为最后一道防线，为普通数据库无法涵盖的情况提供一个安全网。 例子 这是一个例子： rule "All completed orders must have a completion date" forall orders o: o.status = "COMPLETE" => o.date_completed != NULL 看了上面的是“在DB每一个订单应该认为如果其状态为完成，那么它必须也有一个完成日期”。 请注意，此表达式对不完整的订单一无所获。 也可以说相反的意思：“对于数据库中的每个订单，它都应该认为，如果它具有完成日期，那么它也必须处于COMPLETE状态”： rule "All orders with a completion date