ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Logic and Databases: A Deductive Approach.

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
@article{DBLP:journals/csur/GallaireMN84,
  author    = {Herv{\'e} Gallaire and
               Jack Minker and
               Jean-Marie Nicolas},
  title     = {Logic and Databases: A Deductive Approach},
  journal   = {ACM Comput. Surv.},
  volume    = {16},
  number    = {2},
  year      = {1984},
  pages     = {153-185},
  ee        = {db/journals/csur/GallaireMN84.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

The purpose of this paper is to show that logic provides a convenient formalism for studying classical database problems. There are two main parts to the paper, devoted respectively to conventional databases and deductive databases. In the first part, we focus on query languages, integrity modeling and maintenance, query optimization, and data dependencies. The second part deals mainly with the representation and manipulation of deduced facts and incomplete information.

Copyright © 1984 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition: ACM Digital Library

References

[Adiba et al. 1982]
...
[Aho and Ullman 1979]
Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX
[Aho et al. 1979]
Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalences Among Relational Expressions. SIAM J. Comput. 8(2): 218-246(1979) BibTeX
[ANSI/X3/SPARC 1975]
...
[Armstrong 1974]
William Ward Armstrong: Dependency Structures of Data Base Relationships. IFIP Congress 1974: 580-583 BibTeX
[Artificial Intelligence Journal 1980]
...
[Artraud and Nicolas 1974]
...
[Bancilhon 1978]
François Bancilhon: On the Completeness of Query Languages for Relational Data Bases. MFCS 1978: 112-123 BibTeX
[Beeri and Vardi 1980]
Catriel Beeri, Moshe Y. Vardi: A Proof Procedure for Data Dependencies. J. ACM 31(4): 718-741(1984) BibTeX
[Beeri and Vardi 1981]
Catriel Beeri, Moshe Y. Vardi: The Implication Problem for Data Dependencies. ICALP 1981: 73-85 BibTeX
[Biskup 1981]
Joachim Biskup: A Formal Approach to Null Values in Database Relations. Advances in Data Base Theory 1979: 299-341 BibTeX
[Biskup 1982]
Joachim Biskup: A Foundation of Codd's Relational Maybe-Operations. ACM Trans. Database Syst. 8(4): 608-636(1983) BibTeX
[Blaustein 1981]
...
[Borgida and Wong 1981]
Alexander Borgida, Harry K. T. Wong: Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. VLDB 1981: 260-271 BibTeX
[Bossu and Siegel 1981]
...
[Bowen and Kowalski 1982]
...
[Brodie and Zilles 1980]
Michael L. Brodie, Stephen N. Zilles (Eds.): Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980. SIGMOD Record 11(2) ACM Press 1981, ISBN 0-89791-031-1
Contents BibTeX
[Casanova and Bernstein 1979]
Marco A. Casanova, Philip A. Bernstein: The Logic of a Relational Data Manipulation Language. POPL 1979: 101-109 BibTeX
[Casanova and Bernstein 1980]
Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2(3): 386-414(1980) BibTeX
[Chakravarthy et al. 1982]
Upen S. Chakravarthy, Jack Minker, Duc Tran: Interfacing Predicate Logic Languages and Relational Databases. ICLP 1982: 91-98 BibTeX
[Chamberlin et al. 1981]
Donald D. Chamberlin, Morton M. Astrahan, Mike W. Blasgen, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Patricia G. Selinger, Mario Schkolnick, Donald R. Slutz, Irving L. Traiger, Bradford W. Wade, Robert A. Yost: A History and Evaluation of System R. Commun. ACM 24(10): 632-646(1981) BibTeX
[Chandra and Harel 1979]
Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases (Preliminary Report). STOC 1979: 309-318 BibTeX
[Chandra and Harel 1980]
Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. FOCS 1980: 333-347 BibTeX
[Chandra and Merlin 1976]
Ashok K. Chandra, Philip M. Merlin: Optimal Implementation of Conjunctive Queries in Relational Data Bases. STOC 1977: 77-90 BibTeX
[Chandra et al. 1981]
Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky: Embedded Implicational Dependencies and their Inference Problem. STOC 1981: 342-354 BibTeX
[Chang 1970]
Chin-Liang Chang: The Unit Proof and the Input Proof in Theorem Proving. J. ACM 17(4): 698-707(1970) BibTeX
[Chang 1978]
Chin-Liang Chang: DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. Logic and Data Bases 1977: 201-236 BibTeX
[Chang 1981]
Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260 BibTeX
[Chang and Lee 1973]
...
[Clark 1978]
Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX
[Codd 1970]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX
[Codd 1972]
E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972) BibTeX
[Codd 1979]
E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX
[Codd 1980]
E. F. Codd: Data Models in Database Management. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 112-114 BibTeX
[Codd 1982]
E. F. Codd: Relational Database: A Practical Foundation for Productivity. Commun. ACM 25(2): 109-117(1982) BibTeX
[Colmerauer 1973]
...
[Colmerauer and Pique 1981]
Alain Colmerauer, Jean François Pique: About Natural Logic. Advances in Data Base Theory 1979: 343-365 BibTeX
[Cooper 1980]
Eric C. Cooper: On the Expressive Power of Query Languages for Relational Databases. POPL 1982: 361-365 BibTeX
[Dahl 1982]
Verónica Dahl: On Database Systems Development Through Logic. ACM Trans. Database Syst. 7(1): 102-123(1982) BibTeX
[Date 1977]
C. J. Date: An Introduction to Database Systems, 2nd Edition. Addison-Wesley 1977
BibTeX
[Date 1981]
C. J. Date: An Introduction to Database Systems, 3rd Edition. Addison-Wesley 1981
BibTeX
[Deliyanni and Kowalski 1979]
Amaryllis Deliyanni, Robert A. Kowalski: Logic and Semantic Networks. Commun. ACM 22(3): 184-192(1979) BibTeX
[Delobel 1978]
Claude Delobel: Normalization and Hierarchical Dependencies in the Relational Data Model. ACM Trans. Database Syst. 3(3): 201-222(1978) BibTeX
[Delobel 1980]
Claude Delobel: An Overview of the Relational Data Theory. IFIP Congress 1980: 413-426 BibTeX
[Delobel and Casey 1973]
Claude Delobel, Richard G. Casey: Decomposition of a Data Base and the Theory of Boolean Switching Functions. IBM Journal of Research and Development 17(5): 374-386(1973) BibTeX
[Delobel and Parker 1978]
...
[Demolombe 1980]
Robert Demolombe: Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language. VLDB 1980: 55-63 BibTeX
[Demolombe 1981]
Robert Demolombe: Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. Advances in Data Base Theory 1979: 367-395 BibTeX
[Demolombe 1982]
...
[DiPaola 1969]
Robert A. Di Paola: The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas. J. ACM 16(2): 324-327(1969) BibTeX
[DosSantos et al. 1981]
...
[Enderton 1972]
...
[Fagin 1977a]
Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977) BibTeX
[Fagin 1977b]
Ronald Fagin: Functional Dependencies in a Relational Data Base and Propositional Logic. IBM Journal of Research and Development 21(6): 543-544(1977) BibTeX
[Fagin 1980]
Ronald Fagin: Horn Clauses and Database Dependencies (Extended Abstract). STOC 1980: 123-134 BibTeX
[Fagin 1982]
Ronald Fagin: Horn clauses and database dependencies. J. ACM 29(4): 952-985(1982) BibTeX
[Fagin et al. 1983]
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX
[Florentin 1974]
J. J. Florentin: Consistency Auditing of Databases. Comput. J. 17(1): 52-58(1974) BibTeX
[Furukawa 1977]
...
[Galil 1982]
Zvi Galil: An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database. J. ACM 29(1): 96-102(1982) BibTeX
[Gallaire 1981]
Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259 BibTeX
[Gallaire 1983]
...
[Gallaire and Minker 1978]
Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory Plemum Press 1978, ISBN 0-306-40060-X
Contents BibTeX
[Gallaire et al. 1981a]
Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): Advances in Data Base Theory, Vol. 1, Based on the Proceedings of the Workshop on Formal Bases for Data Bases, December 12-14, 1979, Centre d'Etudes et de Recherches de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace de Toulouse (CERT), France. Advances in Data Base Theory Plemum Press 1981, ISBN 0-306-40629-2
Contents BibTeX
[Gallaire et al. 1981b]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Background for Advances in Data Base Theory. Advances in Data Base Theory 1979: 3-21 BibTeX
[Gallaire et al. 1984]
Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France. Advances in Data Base Theory Plemum Press 1984, ISBN 0-306-41636-0
Contents BibTeX
[Gardarin and Melkanoff 1979]
Georges Gardarin, Michel A. Melkanoff: Proving Consistency of Database Transactions. VLDB 1979: 291-298 BibTeX
[Grant 1977]
John Grant: Null Values in a Relational Data Base. Inf. Process. Lett. 6(5): 156-157(1977) BibTeX
[Grant and Jacobs 1982]
John Grant, Barry E. Jacobs: On the family of generalized dependency constraints. J. ACM 29(4): 986-997(1982) BibTeX
[Grant and Minker 1981]
John Grant, Jack Minker: Optimization in Deductive and Conventional Relational Database Systems. Advances in Data Base Theory 1979: 195-234 BibTeX
[Grant and Minker 1983]
John Grant, Jack Minker: Answering Queries in Indefinite Databases and the Null Value Problem. Advances in Computing Research 3: 247-267(1986) BibTeX
[Green 1969]
...
[Hammer and Zdonik 1980]
Michael Hammer, Stanley B. Zdonik: Knowledge-Based Query Processing. VLDB 1980: 137-147 BibTeX
[Harel 1979]
David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4
BibTeX
[Harel 1980]
...
[Henschen et al. 1984]
Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169 BibTeX
[Hewitt 1972]
...
[Hill 1974]
...
[Homeier 1981]
...
[Imielinski and Lipski 1981]
Tomasz Imielinski, Witold Lipski Jr.: On Representing Incomplete Information in a Relational Data Base. VLDB 1981: 388-397 BibTeX
[International Joint Conference on Artificial Intelligence 1983]
...
[International Symposium on Logic Programming]
...
[Jacobs 1982]
Barry E. Jacobs: On Database Logic. J. ACM 29(2): 310-332(1982) BibTeX
[Jacobs et al. 1982]
Barry E. Jacobs, Alan R. Aronson, Anthony C. Klug: On Interpretations of Relational Languages and Solutions to the Implied Constraint Problem. ACM Trans. Database Syst. 7(2): 291-315(1982) BibTeX
[Jaffar et al. 1983]
Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd: Completeness of the Negation as Failure Rule. IJCAI 1983: 500-506 BibTeX
[Janas 1979]
Jürgen M. Janas: Towards more Informative User Interfaces. VLDB 1979: 17-23 BibTeX
[Janas 1981]
Jürgen M. Janas: On the Feasibility of Informative Answers. Advances in Data Base Theory 1979: 397-414 BibTeX
[Kellogg and Travis 1981]
Charles Kellogg, Larry Travis: Reasoning with Data in a Deductively Augmented Data Management System. Advances in Data Base Theory 1979: 261-295 BibTeX
[Kellogg et al. 1978]
Charles Kellogg, Philip Klahr, Larry Travis: Deductive Planning and Pathfinding for Relational Data Bases. Logic and Data Bases 1977: 179-200 BibTeX
[King 1981]
Jonathan J. King: QUIST: A System for Semantic Query Optimization in Relational Databases. VLDB 1981: 510-517 BibTeX
[Konolige 1981]
...
[Kowalski 1978]
Robert A. Kowalski: Logic for Data Description. Logic and Data Bases 1977: 77-103 BibTeX
[Kowalski 1979]
...
[Kowalski 1981a]
...
[Kowalski 1981b]
...
[Kowalski and Kuehner 1971]
Robert A. Kowalski, Donald Kuehner: Linear Resolution with Selection Function. Artif. Intell. 2(3/4): 227-260(1971) BibTeX
[Kuhns 1967]
...
[Kuhns 1970]
...
[Kunifuji and Yokota 1982]
...
[Lacroix and Pirotte]
Michel Lacroix, Alain Pirotte: Associating Types with Domains of Relational Data Bases. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 144-146 BibTeX
[Levesque 1981]
...
[Lipski 1979]
Witold Lipski Jr.: On Semantic Issues Connected with Incomplete Information Databases. ACM Trans. Database Syst. 4(3): 262-296(1979) BibTeX
[Logic Programming Workshop Proceedings 1983]
...
[Loveland 1969]
...
[Loveland 1970]
...
[Loveland 1978]
...
[Maier 1983]
David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX
[Maier et al. 1979]
David Maier, Alberto O. Mendelzon, Yehoshua Sagiv: Testing Implications of Data Dependencies. ACM Trans. Database Syst. 4(4): 455-469(1979) BibTeX
[McCarthy 1980]
John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980) BibTeX
[McSkimin 1976]
...
[McSkimin and Minker 1977]
...
[Mendelson 1978]
...
[Minker 1975a]
Jack Minker: Performing Inferences over Relation Data Bases. SIGMOD Conference 1975: 79-91 BibTeX
[Minker 1975b]
...
[Minker 1978a]
Jack Minker: Search Strategy and Selection Function for an Inferential Relational System. ACM Trans. Database Syst. 3(1): 1-31(1978) BibTeX
[Minker 1978b]
Jack Minker: An Experimental Relational Data Base System Based on Logic. Logic and Data Bases 1977: 107-147 BibTeX
[Minker 1982]
Jack Minker: On Indefinite Databases and the Closed World Assumption. CADE 1982: 292-308 BibTeX
[Minker 1983]
...
[Minker and Nicolas 1982]
Jack Minker, Jean-Marie Nicolas: On recursive axioms in deductive databases. Inf. Syst. 8(1): 1-13(1983) BibTeX
[Minker and Perlis 1983]
...
[Minker and Perlis 1984]
Jack Minker, Donald Perlis: Applications of Protected Circumscription. CADE 1984: 414-425 BibTeX
[Minker and Zanon 1982]
Jack Minker, Guy Zanon: An Extension to Linear Resolution with Selection Function. Inf. Process. Lett. 14(4): 191-194(1982) BibTeX
[Moore 1981]
...
[Mylopoulos 1980]
John Mylopoulos: An Overview of Knowledge Representation. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 5-12 BibTeX
[Naqvi and Henschen 1980]
Shamim A. Naqvi, Lawrence J. Henschen: Performing Inferences over Recursive Data Bases. AAAI 1980: 263-265 BibTeX
[Naqvi and Henschen 1984]
Lawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85(1984) BibTeX
[Nicolas 1978]
Jean-Marie Nicolas: First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. SIGMOD Conference 1978: 40-46 BibTeX
[Nicolas 1979a]
...
[Nicolas 1979b]
Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX
[Nicolas and Gallaire 1978]
Jean-Marie Nicolas, Hervé Gallaire: Data Base: Theory vs. Interpretation. Logic and Data Bases 1977: 33-54 BibTeX
[Nicolas and Syre 1974]
Jean-Marie Nicolas, Jean-Claude Syre: Natural Language Question Answering and Automatic Deduction in the System Syntex. IFIP Congress 1974: 595-599 BibTeX
[Nicolas and Yazdanian 1978]
Jean-Marie Nicolas, Kioumars Yazdanian: Integrity Checking in Deductive Data Bases. Logic and Data Bases 1977: 325-344 BibTeX
[Nicolas and Yazdanian 1982]
Jean-Marie Nicolas, Kioumars Yazdanian: An Outline of BDGEN: A Deductive DBMS. IFIP Congress 1983: 711-717 BibTeX
[Paredaens 1978]
Jan Paredaens: On the Expressive Power of the Relational Algebra. Inf. Process. Lett. 7(2): 107-111(1978) BibTeX
[Parker and Delobel 1979]
Douglas Stott Parker Jr., Claude Delobel: Algorithmic Applications for a new Result on Multivalued Dependencies. VLDB 1979: 67-74 BibTeX
[Pirotte 1976]
...
[Pirotte 1978]
Alain Pirotte: High Level Data Base Query Languages. Logic and Data Bases 1977: 409-436 BibTeX
[Pratt 1976]
Vaughan R. Pratt: Semantical Considerations on Floyd-Hoare Logic. FOCS 1976: 109-121 BibTeX
[Proceedings of the First conference on Logic Programming 1982]
...
[Reiter 1971]
Raymond Reiter: Two Results on Ordering for Resolution with Merging and Linear Format. J. ACM 18(4): 630-646(1971) BibTeX
[Reiter 1978a]
Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX
[Reiter 1978b]
Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177 BibTeX
[Reiter 1978c]
...
[Reiter 1980]
Raymond Reiter: Equality and Domain Closure in First-Order Databases. J. ACM 27(2): 235-249(1980) BibTeX
[Reiter 1981]
Raymond Reiter: On the Integrity of Typed First Order Data Bases. Advances in Data Base Theory 1979: 137-157 BibTeX
[Reiter 1982]
Raymond Reiter: Circumscription Implies Predicate Completion (Sometimes). AAAI 1982: 418-420 BibTeX
[Reiter 1983]
Raymond Reiter: A sound and sometimes complete query evaluation algorithm for relational databases with null values. J. ACM 33(2): 349-370(1986) BibTeX
[Reiter 1984]
Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX
[Robinson 1965]
John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX
[Roussel 1975]
...
[Sadri and Ullman 1980]
Fereidoon Sadri, Jeffrey D. Ullman: A Complete Axiomatization for a Large Class of Dependencies in Relational Databases. STOC 1980: 117-122 BibTeX
[Sadri and Ullman 1982]
Fereidoon Sadri, Jeffrey D. Ullman: Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization. J. ACM 29(2): 363-372(1982) BibTeX
[Sagiv 1980]
Yehoshua Sagiv: An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic. J. ACM 27(2): 250-262(1980) BibTeX
[Sagiv and Fagin 1979]
...
[Sagiv et al. 1981]
Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin: An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. J. ACM 28(3): 435-453(1981) BibTeX
[Selinger et al. 1979]
Patricia G. Selinger, Morton M. Astrahan, Donald D. Chamberlin, Raymond A. Lorie, Thomas G. Price: Access Path Selection in a Relational Database Management System. SIGMOD Conference 1979: 23-34 BibTeX
[Shapiro and McKay 1980]
Stuart C. Shapiro, Donald P. McKay: Inference with Recursive Rules. AAAI 1980: 151-153 BibTeX
[Siklossy and Lauriere 1982]
Laurent Siklóssy, Jean-Louis Laurière: Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving Techniques. AAAI 1982: 310-313 BibTeX
[Stonebraker et al. 1976]
Michael Stonebraker, Eugene Wong, Peter Kreps, Gerald Held: The Design and Implementation of INGRES. ACM Trans. Database Syst. 1(3): 189-222(1976) BibTeX
[Ullman 1980]
Jeffrey D. Ullman: Principles of Database Systems, 1st Edition. Computer Science Press 1980
BibTeX
[Ullman 1982]
Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX
[van Emden 1978]
...
[van Emden and Kowalski 1976]
Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX
[Vardi 1981]
Moshe Y. Vardi: The Decision Problem for Database Dependencies. Inf. Process. Lett. 12(5): 251-254(1981) BibTeX
[Vassiliou 1979]
Yannis Vassiliou: Null Values in Data Base Management: A Denotational Semantics Approach. SIGMOD Conference 1979: 162-169 BibTeX
[Vassiliou 1980]
Yannis Vassiliou: Functional Dependencies and Incomplete Information. VLDB 1980: 260-269 BibTeX
[Veloso et al. 1981]
Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421 BibTeX
[Warren 1981]
David H. D. Warren: Efficient Processing of Interactive Relational Data Base Queries expressed in Logic. VLDB 1981: 272-281 BibTeX
[Woods 1967]
...
[Yannakakis and Papadimitriou 1982]
Mihalis Yannakakis, Christos H. Papadimitriou: Algebraic Dependencies. J. Comput. Syst. Sci. 25(1): 2-41(1982) BibTeX
[Yokota et al. 1983]
Haruo Yokota, Susumu Kunifuji, Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Kunio Murakami: An Enhanced Inference Mechanism for Generating Relational Algebra Queries. PODS 1984: 229-238 BibTeX
[Zaniolo 1976]
...
[Zaniolo 1981]
...
[Zloof 1977]
Moshé M. Zloof: Query-by-Example: A Data Base Language. IBM Systems Journal 16(4): 324-343(1977) BibTeX

Referenced by

  1. Levent V. Orman: Differential Relational Calculus for Integrity Maintenance. IEEE Trans. Knowl. Data Eng. 10(2): 328-341(1998)
  2. Danilo Montesi, Elisa Bertino, Maurizio Martelli: Transactions and Updates in Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(5): 784-797(1997)
  3. Sha Guo, Wei Sun, Mark Allen Weiss: Solving Satisfiability and Implication Problems in Database Systems. ACM Trans. Database Syst. 21(2): 270-293(1996)
  4. Hendrik Decker, Ernest Teniente, Toni Urpí: How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549
  5. Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995)
  6. Jan Chomicki: Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Trans. Database Syst. 20(2): 149-186(1995)
  7. Jan Chomicki, David Toman: Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Trans. Knowl. Data Eng. 7(4): 566-582(1995)
  8. Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182
  9. Joonyeoub Sung, Lawrence J. Henschen: A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. ICDE 1995: 475-484
  10. Sang-goo Lee: On Foundations of Constraint Optimization. DASFAA 1995: 372-379
  11. Suk-Chung Yoon, Il-Yeol Song, E. K. Park: Semantic Query Processing in Object-Oriented Databases Using Deductive Approach. CIKM 1995: 150-157
  12. Johann Eder: View Definitions with Parameters. ADBIS 1995: 170-184
  13. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  14. Werner Kießling, Helmut Schmidt, Werner Strauß, Gerhard Dünzinger: DECLARE and SDS: Early Efforts to Commercialize Deductive Database Technology. VLDB J. 3(2): 211-243(1994)
  15. Won S. Lee, Phillip C.-Y. Sheu: An Object-Oriented Query Evaluation Scheme for Logical Databases in Massively Parallel Environment. IEEE Trans. Knowl. Data Eng. 6(1): 181-187(1994)
  16. Cyril S. Ku, Heung D. Kim, Lawrence J. Henschen: An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases. IEEE Trans. Knowl. Data Eng. 6(5): 713-722(1994)
  17. Keh-Chang Guh, Clement T. Yu: Efficient Query Processing for a Subset of Linear Recursive Binary Rules. IEEE Trans. Knowl. Data Eng. 6(5): 842-849(1994)
  18. Paul Johannesson: A Method for Transforming Relational Schemas Into Conceptual Schemas. ICDE 1994: 190-201
  19. Matilde Celma, Carlos Garcia, Laura Mota-Herranz, Hendrik Decker: Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. ICDE 1994: 214-222
  20. Ilias Petrounias, Pericles Loucopoulos: A Rule-Based Approach for the Design and Implementation of Information Systems. EDBT 1994: 159-172
  21. Song Bong Yoo, Phillip C.-Y. Sheu: Evaluation and Optimization of Query Programs in an Object-Oriented and Symbolic Information System. IEEE Trans. Knowl. Data Eng. 5(3): 479-495(1993)
  22. Jiawei Han, Yandong Cai, Nick Cercone: Data-Driven Discovery of Quantitative Rules in Relational Databases. IEEE Trans. Knowl. Data Eng. 5(1): 29-40(1993)
  23. Rafiul Ahad, Bing Yao: RQL: A Recursive Query Language. IEEE Trans. Knowl. Data Eng. 5(3): 451-461(1993)
  24. Goetz Graefe: Query Evaluation Techniques for Large Databases. ACM Comput. Surv. 25(2): 73-170(1993)
  25. Paul Johannesson: Using Conceptual Graph Theory to Support Schema Integration. ER 1993: 283-296
  26. Subhasish Mazumdar: Optimizing Distributed Integrity Constraints. DASFAA 1993: 327-334
  27. Cheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han: Classification and Compilation of Linear Recursive Queries in Deductive Databases. IEEE Trans. Knowl. Data Eng. 4(1): 52-67(1992)
  28. Keh-Chang Guh, Clement T. Yu: Efficient Management of Materialized Generalized Transitive Closure in Centralized and Parallel Environments. IEEE Trans. Knowl. Data Eng. 4(4): 371-381(1992)
  29. Elisa Bertino, Mauro Negri, Giuseppe Pelagatti, Licia Sbattella: Object-Oriented Query Languages: The Notion and the Issues. IEEE Trans. Knowl. Data Eng. 4(3): 223-237(1992)
  30. Amit Basu, Rafiul Ahad: Using a Relational Database System to Support Explanation in a Knowledge-Based System. IEEE Trans. Knowl. Data Eng. 4(6): 572-581(1992)
  31. Jiawei Han, Yandong Cai, Nick Cercone: Knowledge Discovery in Databases: An Attribute-Oriented Approach. VLDB 1992: 547-559
  32. José Alberto Fernández, Jack Minker: Semantics of Disjunctive Deductive Databases. ICDT 1992: 21-50
  33. Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564
  34. Zahir Tari: A Design Methodology for Object Oriented Databases. ER 1992: 389-405
  35. Norbert Kehrer, Gustaf Neumann: An EER Prototyping Environment and its Implemetation in a Datalog Language. ER 1992: 243-261
  36. Alain Pirotte, Dominique Roelants, Esteban Zimányi: Controlled Generation of Intensional Answers. IEEE Trans. Knowl. Data Eng. 3(2): 221-236(1991)
  37. Ken-Chih Liu, Rajshekhar Sunderraman: A Generalized Relational Model for Indefinite and Maybe Information. IEEE Trans. Knowl. Data Eng. 3(1): 65-77(1991)
  38. Alexandra Poulovassilis, Carol Small: A Functional Programming Approach to Deductive Databases. VLDB 1991: 491-500
  39. Qiming Chen, Yahiko Kambayashi: Nested Relation Based Database Knowledge Representation. SIGMOD Conference 1991: 328-337
  40. Shalom Tsur: Deductive Databases in Action. PODS 1991: 142-153
  41. Stephen J. Hegner: Pairwise-Definable Subdirect Decompositions of General Database Schemata. MFDBS 1991: 243-257
  42. A. Y. Lu, Phillip C.-Y. Sheu: Processing of Multiple Queries in Distributed Databases. ICDE 1991: 42-49
  43. Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah: Semantic Query Reformulation in Deductive Databases. ICDE 1991: 232-239
  44. Keh-Chang Guh, Chengyu Sun, Clement T. Yu: Real Time Retrieval and Update of Materialized Transitive Closure. ICDE 1991: 690-697
  45. Lois M. L. Delcambre, Billy B. L. Lim, Susan Darling Urban: Object-Centered Constraints. ICDE 1991: 368-377
  46. Carol Small, Alexandra Poulovassilis: An Overview of PFL. DBPL 1991: 96-110
  47. Kam-Fai Wong, M. Howard Williams: A Superimposed Codeword Indexing Scheme for Handling Sets in Prolog Databases. DASFAA 1991: 468-476
  48. Ken-Chih Liu, Rajshekhar Sunderraman: Indefinite and Maybe Information in Relational Databases. ACM Trans. Database Syst. 15(1): 1-39(1990)
  49. Michael Kifer, Eliezer L. Lozinskii: On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. ACM Trans. Database Syst. 15(3): 385-426(1990)
  50. Upen S. Chakravarthy, John Grant, Jack Minker: Logic-Based Approach to Semantic Query Optimization. ACM Trans. Database Syst. 15(2): 162-207(1990)
  51. Gruia-Catalin Roman: Formal Specification of Geographic Data Processing Requirements. IEEE Trans. Knowl. Data Eng. 2(4): 370-380(1990)
  52. Johann Eder: Extending SQL with General Transitive Closure and Extreme Value Selections. IEEE Trans. Knowl. Data Eng. 2(4): 381-390(1990)
  53. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990)
  54. Thane E. Plambeck: Semigroup Techniques in Recursive Query Optimization. PODS 1990: 145-153
  55. Hervé Gallaire, Jean-Marie Nicolas: Logic and Databases: An Assessment. ICDT 1990: 177-186
  56. Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451
  57. Ken-Chih Liu, Rajshekhar Sunderraman: On Representing Indefinite and Maybe Information in Relational Databases: A Generalization. ICDE 1990: 495-502
  58. Kyuchul Lee, Sukho Lee: An Object-Oriented Approach to Data/Knowledge Modeling Based on Logic. ICDE 1990: 289-294
  59. Yandong Cai, Nick Cercone, Jiawei Han: An Attribute-Oriented Approach for Learning Classification Rules from Relational Databases. ICDE 1990: 281-288
  60. A. M. Alashqur, Stanley Y. W. Su, Herman Lam: A Rule-based Language for Deductive Object-Oriented Databases. ICDE 1990: 58-67
  61. C. Wieland: Two Explanation Facilities for the Deductive Database Management System DeDEx. ER 1990: 189-203
  62. Paul Johannesson: MOLOC: Using Prolog for Conceptual Modelling. ER 1990: 301-314
  63. Carlo Zaniolo: Deductive Databases - Theory Meets Practice. EDBT 1990: 1-15
  64. Stefano Ceri, Georg Gottlob, Letizia Tanca: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1): 146-166(1989)
  65. Rakesh Agrawal, Premkumar T. Devanbu: Moving Selections into Linear Least Fixpoint Queries. IEEE Trans. Knowl. Data Eng. 1(4): 424-432(1989)
  66. Antoni Olivé: On the design and implementation of information systems from deductive conceptual models. VLDB 1989: 3-11
  67. Jan Chomicki, Tomasz Imielinski: Relational Specifications of Infinite Query Answers. SIGMOD Conference 1989: 174-183
  68. Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67
  69. Li-Yan Yuan, Ding-An Chiang: A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. PODS 1989: 66-74
  70. W. Yan, Nelson Mendonça Mattos: Transitive Closure and the LOGA+-Strategy for its Efficient Evaluation. MFDBS 1989: 415-428
  71. Margareta Dina Draghici: An Extended View on Data Base Conceptual Design. MFDBS 1989: 148-171
  72. Stefan Brass, Udo W. Lipeck: Specifying Closed World Assumptions for Logic Databases. MFDBS 1989: 68-84
  73. Joachim Biskup, Bernhard Convent: Towards a Schema Design Methodology for Deductive Databases. MFDBS 1989: 37-52
  74. Alain Pirotte, Dominique Roelants: Constraints for Improving the Generation of Intensional Answers in a Deductive Database. ICDE 1989: 652-659
  75. I-En Liao, Ming T. Liu: Incremental Protocol Verfication Using Deductive Database Systems. ICDE 1989: 216-223
  76. Won S. Lee, Phillip C.-Y. Sheu: An Object-based Query Evaluation Scheme for Deductive Databases in Massively Parallel Computing Environment. ICDE 1989: 497-504
  77. Howard W. Beck, Sunit K. Gala, Shamkant B. Navathe: Classification as a Query Processing Technique in the CANDIDE Semantic Data Model. ICDE 1989: 572-581
  78. Nelson Mendonça Mattos, M. Michels: Modeling with KRISYS: the Design Process of DB Applications Reviewed. ER 1989: 239-253
  79. Serge Abiteboul, Stéphane Grumbach, Agnès Voisard, Emmanuel Waller: An Extensible Rule-Based Language with Complex Objects and data-Functions. DBPL 1989: 298-314
  80. Wo-Shun Luk, Simon Mok: A Comparison of I/O Performance of Some Linear Recursive Query Processing Methods. DASFAA 1989: 293-300
  81. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
    Contents
  82. Suryanarayana M. Sripada: A logical framework for temporal deductive databases. VLDB 1988: 171-182
  83. Eliezer L. Lozinskii: Computing Facts in Non-Horn Deductive Systems. VLDB 1988: 273-279
  84. Li-Yan Yuan, Ding-An Chiang: A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values. SIGMOD Conference 1988: 74-81
  85. Cheong Youn, Lawrence J. Henschen, Jiawei Han: Classification of Recursive Formulas in Deductive Databases. SIGMOD Conference 1988: 320-328
  86. Qiming Chen, Georges Gardarin: An Implementation Model for Reasoning with Complex Objects. SIGMOD Conference 1988: 164-172
  87. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
  88. Ken-Chih Liu, Rajshekhar Sunderraman: On Representing Indefinite and Maybe Information in Relational Databases. ICDE 1988: 250-257
  89. Sanggoo Lee, Jiawei Han: Semantic Query Optimization in Recursive Databases. ICDE 1988: 444-451
  90. Rakesh Agrawal, Premkumar T. Devanbu: Moving Selections into Linear Least Fixpoint Queries. ICDE 1988: 452-461
  91. Yannis Vassiliou, Valeria De Antonellis, Klaus R. Dittrich, Michael V. Mannino, Shamkant B. Navathe: Data Bases and Knowledge Bases: Which Approach is Good for What? - Panel. ER 1988: 47-55
  92. Peter M. D. Gray, David S. Moffat, Norman W. Paton: A Prolog Interface to a Functional Data Model Database. EDBT 1988: 34-48
  93. Henryk Rybinski: On First-Order-Logic Databases. ACM Trans. Database Syst. 12(3): 325-349(1987)
  94. Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987)
  95. Arno Siebes, Martin L. Kersten: Using Design Axioms and Topology to Model Database Semantics. VLDB 1987: 51-59
  96. N. G. Martin, Shamkant B. Navathe, Rafi Ahmed: Dealing with Temporal Schema Anomalies in History Databases. VLDB 1987: 177-184
  97. Georges Gardarin: Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs. VLDB 1987: 21-30
  98. H. V. Jagadish, Rakesh Agrawal, Linda Ness: A Study of Transitive Closure As a Recursion Mechanism. SIGMOD Conference 1987: 331-344
  99. Yannis E. Ioannidis, Eugene Wong: Query Optimization by Simulated Annealing. SIGMOD Conference 1987: 9-22
  100. Tomasz Imielinski: Relative Knowledge in a Distributed Database. PODS 1987: 197-209
  101. Stephen J. Hegner: Specification and Implementation of Programs for Updating Incomplete Information Databases. PODS 1987: 146-158
  102. Krzysztof R. Apt, Jean-Marc Pugin: Maintenance of Stratified Databases Viewed as a Belief Revision System. PODS 1987: 136-145
  103. Joachim Biskup, Uwe Räsch: The Equivalence Problem For Relational Database Schemes. MFDBS 1987: 42-70
  104. C. V. Ramamoorthy, Phillip C.-Y. Sheu: Logic-oriented Object Bases. ICDE 1987: 218-225
  105. Volker Linnemann: Non First Normal Form Relations and Recursive Queries: An SQL-Based Approach. ICDE 1987: 591-598
  106. Ulrich Güntzer, Werner Kießling, Rudolf Bayer: On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration. ICDE 1987: 120-129
  107. Rakesh Agrawal: Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries. ICDE 1987: 580-590
  108. Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41
  109. Ravi Krishnamurthy, Haran Boral, Carlo Zaniolo: Optimization of Nonrecursive Queries. VLDB 1986: 128-137
  110. Charles Kellogg, Anthony B. O'Hare, Larry Travis: Optimizing the Rule-Data Interface in a KMS. VLDB 1986: 42-51
  111. Hidenori Itoh: Research and Development on Knowledge Bases Systems at ICOT. VLDB 1986: 437-445
  112. Yannis E. Ioannidis: On the Computation of the Transitive Closure of Relational Operators. VLDB 1986: 403-411
  113. François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20
  114. Tomasz Imielinski: Query Processing in Deductive Databases with Incomplete Information. SIGMOD Conference 1986: 268-280
  115. Georges Gardarin, Christophe de Maindreville: Evaluation of Database Recursive Logic Programs as Recurrent Function Series. SIGMOD Conference 1986: 177-186
  116. Qiming Chen: A Rule-Based Object/Task Modelling Approach. SIGMOD Conference 1986: 281-292
  117. Stavros S. Cosmadakis, Paris C. Kanellakis: Parallel Evaluation of Recursive Rule Queries. PODS 1986: 280-293
  118. Nicole Bidoit, Richard Hull: Positivism vs. Minimalism in Deductive Databases. PODS 1986: 123-132
  119. Michael Kifer, Eliezer L. Lozinskii: Filtering Data Flow in Deductive Databases. ICDT 1986: 186-202
  120. Paris C. Kanellakis: Logic Programming and Parallel Complexity. ICDT 1986: 1-30
  121. Laurence Cholvy: Update Semantics under the Domain Closure Assumption. ICDT 1986: 123-140
  122. Haruo Yokota, Sko Sakai, Hidenori Itoh: Deductive Database System based on Unit Resolution. ICDE 1986: 228-235
  123. Motomichi Toyama: Parameterized View Definition and Recursive Relations. ICDE 1986: 707-712
  124. Amihai Motro: Assuring Retrievability from Unstructured Databases by Contexts. ICDE 1986: 426-433
  125. Volker Linnemann: Constructorset's Database Support for Knowledge Based Systems. ICDE 1986: 244-251
  126. Jiawei Han, Hongjun Lu: Some Performance Results on Recursive Query Processing in Relational Database Systems. ICDE 1986: 533-541
  127. Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469
  128. Matthias Jarke, Volker Linnemann, Joachim W. Schmidt: Data Constructors: On the Integration of Rules and Relations. VLDB 1985: 227-240
  129. Yannis E. Ioannidis: A Time Bound on the Materialization of some Recursively Defined Views. VLDB 1985: 219-226
  130. Shridhar Acharya, Gael N. Buckley: Transaction Restarts in Prolog Database Systems. SIGMOD Conference 1985: 364-373
  131. Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Topics in Information Systems Springer 1988, ISBN 3-540-18785-5
    Contents
  132. Sangki Han, Jung Wan Cho: KPSP: A Knowledge Programming System based on Prolog. ER 1985: 2-9
  133. Jacques Cazin, René Jacquart, P. Michel: The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic. ER 1985: 216-223
  134. Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information and Dependencies in Relational Databases. SIGMOD Conference 1983: 178-184
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:54:43 2009