Logic and databases: a deductive approach (1984)

Cached

Download Links

by Hervi Gallaire , Jack Minker
Venue:ACM Computing Surveys
Citations:143 - 2 self

Documents Related by Co-Citation

615 Towards a theory of declarative knowledge – Krzysztof Apt, Howard Blair, Adrian Walker - 1988
1061 Principles of Database and KnowledgeBase Systems. Volume I: Classical Database Systems – J D Ullman - 1988
708 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
966 Negation as failure – K Clark - 1978
73 clauses queries and generalizations – Horn - 1985
1858 Foundation of Logic Programming – J W Lloyd - 1987
298 Magic sets and other strange ways to implement logic programs – F Bancilhon, D Maier, Y Sagiv, J Ullman - 1985
216 Towards a Logical Reconstruction of Relational Database Theory – R Reiter - 1982
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
113 Logic for Improving Integrity Checking in Relational Data Bases – Jean-Marie Nicolas - 1982
817 Circumscription—a form of nonmonotonic reasoning – J McCarthy - 1980
112 On closed world databases – R Reiter - 1978
196 An amateur's introduction to recursive query processing strategies – F Bancilhon, R Ramakrishnan - 1986
530 The complexity of relational query languages – M Y Vardi - 1982
93 On the Relationship Between Circumscription and Negation as Failure – M Gelfond, H Przymusinska, T Przymusinski - 1989
129 Negation as failure using tight derivations for general logic programs – A Van Gelder - 1988
171 Logicbased approach to semantic query optimization – U Chakravarthy, J Grant, J Minker - 1990
136 On indefinite databases and the closed world assumption – J Minker - 1982
82 Decomposition - a strategy for query processing – Eugene Wong, Karel Youssefi - 1976