Logic and databases: a deductive approach (1984)

Cached

Download Links

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

Active Bibliography

7 The Complexity Of Querying Indefinite Information: Defined Relations, Recursion And Linear Order – Ronald van der Meyden, L. T. Mccarty - 1992
39 Querying Nested Collections – Limsoon Wong - 1994
86 The expressive powers of logic programming semantics – John S. Schlipf - 1995
55 Logic and Databases: a 20 Year Retrospective – Jack Minker - 1996
207 Query optimization in database systems – Matthias Jarke, Jürgen Koch - 1984
208 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
3 Skeptical Reasoning and Disjunctive Programs – Arcot Rajasekar, Jorge Lobo, Jack Minker - 1989
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
57 Disjunctive Deductive Databases – José Alberto Fernández, Jack Minker - 1994
2 Circumscribing Embedded Implications (Without Stratifications) – L. Thorne Mccarty - 1992
15 Knowledgebase Transformations – Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz - 1992
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
1 On Problems Of Databases Over A Fixed Infinite Universe – Oleg V. Belegradek, Alexei P. Stolboushkin, Michael, Michael A. Taitslin - 1998
269 Relational Queries Computable in Polynomial Time – Neil Immerman - 1986
3 Foundations Of Temporal Query Languages – David Toman, Dr. Jan Chomicki - 1995
5 Equational theories and database constraints – Stavros Stylianos Cosmadakis - 1985
6 Databases and Finite-Model Theory – Victor Vianu - 1997
1 First-order Logic Characterization of Program Properties – Ke Wang, Li Yan Yuan - 1994