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

611 Towards a theory of declarative knowledge – K R Apt, H A Blair, A Walker - 1988
1060 Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies – J D Ullman - 1990
707 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
960 Negation as failure – K L Clark - 1977
73 clause queries and generalizations – Horn - 1985
1852 Foundations 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 - 1984
1490 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
811 Circumscription – a form of nonmonotonic reasoning – J McCarthy
109 On Closed World databases – R Reiter - 1978
196 An amateur’s introduction to recursive query processing strategies – F Bancilhon, R Ramakrishnan - 1986
527 The complexity of relational query languages – M Vardi - 1982
129 Negation as failure using tight derivations for general logic programs – A Van Gelder - 1988
91 On the relationship between circumscription and negation as failure – M Gelfond, H Przymusinska, T Przymusinski - 1989
171 Logicbased approach to semantic query optimization – U Chakravarthy, J Grant, J Minker - 1990
134 On indefinite databases and the closed world assumption – J Minker - 1982
82 Decomposition - a strategy for query processing – Eugene Wong, Karel Youssefi - 1976