A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
Integrity maintenance methods have been defined for preventing updates from violating
integrity constraints. Depending on the update, the full check for constraint satisfaction is
reduced to checking certain instances of some relevant constraints only. In the first part of
the paper new ideas are proposed for enhancing the efficiency of such a method. The
second part is devoted to checking constraint satisfiability, ie, whether a database exists in
which all constraints are simultaneously satisfied. A satisfiability checking method is …
integrity constraints. Depending on the update, the full check for constraint satisfaction is
reduced to checking certain instances of some relevant constraints only. In the first part of
the paper new ideas are proposed for enhancing the efficiency of such a method. The
second part is devoted to checking constraint satisfiability, ie, whether a database exists in
which all constraints are simultaneously satisfied. A satisfiability checking method is …
Abstract
Integrity maintenance methods have been defined for preventing updates from violating integrity constraints. Depending on the update, the full check for constraint satisfaction is reduced to checking certain instances of some relevant constraints only. In the first part of the paper new ideas are proposed for enhancing the efficiency of such a method. The second part is devoted to checking constraint satisfiability, i.e., whether a database exists in which all constraints are simultaneously satisfied. A satisfiability checking method is presented that employs integrity maintenance techniques. Simple Prolog programs are given that serve both as specifications as well as a basis for an efficient implementation.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果