Integrity constraint checking in stratified databases

Apt, 1987, Towards a Theory of Declarative Knowledge Chandra, 1985, Horn Clause Queries and Generalisations, J. Logic Programming, 2, 1, 10.1016/0743-1066(85)90002-0 Decker, 1986, Integrity Enforcement on Deductive Databases, 1st International Conference on Expert Database Systems, 271 Henschen, 1984, Compiling Constraint-Checking Programs from First-Order Formulas, Vol. 2, 145 Lloyd, 1984, Foundations of Logic Programming, 10.1007/978-3-642-96826-6 Lloyd, 1984, Making PROLOG More Expressive, J. Logic Programming, 1, 225, 10.1016/0743-1066(84)90011-6 Lloyd, 1985, A Basis for Deductive Database Systems, J. Logic Programming, 2, 93, 10.1016/0743-1066(85)90013-5 Lloyd, 1986, A Basis for Deductive Database Systems II, J. Logic Programming, 3, 55, 10.1016/0743-1066(86)90004-X Manna, 1974 Nicolas, 1982, Logic for Improving Integrity Checking in Relational Data Bases, Acta Inform, 18, 227, 10.1007/BF00263192 Sadri, 1987, A Theorem-Proving Approach to Database Integrity Topor, 1985, Deductive Database Tools, 17, 163