A basis for deductive database systems II

Clark, K. L., Negation as Failure, in [3], pp. 293–322 Dahl, 1982, On Database Systems Development Through Logic, ACM Trans. Database Systems, 7, 102, 10.1145/319682.319700 1978 1981, Vol. 1 1984, Vol. 2 Gallaire, 1984, Logic and Databases: A Deductive Approach, Comput. Surveys, 16, 153, 10.1145/356924.356929 Lloyd, 1983, An Introduction to Deductive Database Systems, Austral. Comput. J., 15, 52 Lloyd, 1984, Foundations of Logic Programming 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 Naish, 1983, The MU-PROLOG Deductive Database Nicolas, 1982, Logic for Improving Integrity Checking in Relational Data Bases, Acta Inform., 18, 227, 10.1007/BF00263192 Reiter, 1984, Towards a Logical Reconstruction of Relational Database Theory, 191 Shepherdson, 1984, Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption, J. Logic Programming, 1, 51, 10.1016/0743-1066(84)90023-2 Topor, 1984, Deductive Database Tools Warren, 1981, An Efficient Easily Adaptable System for Interpreting Natural Language Queries