Towards a Schema Design Methodology for Deductive Databases.

Joachim Biskup, Bernhard Convent: Towards a Schema Design Methodology for Deductive Databases. MFDBS 1989: 37-52
  author    = {Joachim Biskup and
               Bernhard Convent},
  editor    = {J{\'a}nos Demetrovics and
               Bernhard Thalheim},
  title     = {Towards a Schema Design Methodology for Deductive Databases},
  booktitle = {MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database
               Systems, Visegr{\'a}d, Hungary, June 26-30, 1989},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {364},
  year      = {1989},
  isbn      = {3-540-51251-9},
  pages     = {37-52},
  ee        = {db/conf/mfdbs/BiskupC89.html},
  crossref  = {DBLP:conf/mfdbs/89},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


Michel E. Adiba, Bruce G. Lindsay: Database Snapshots. VLDB 1980: 86-91 BibTeX
Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX
Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) BibTeX
Joachim Biskup, Bernhard Convent: A Formal View Integration Method. SIGMOD Conference 1986: 398-407 BibTeX
Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. PODS 1983: 317-331 BibTeX
Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977) BibTeX
Antonio L. Furtado, Marco A. Casanova: Updating Relational Views. Query Processing in Database Systems 1985: 127-142 BibTeX
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
Paul Helman, Robert Veroff: Designing Deductive Databases. J. Autom. Reasoning 4(1): 29-68(1988) BibTeX
Y. Edmund Lien: On the Equivalence of Database Models. J. ACM 29(2): 333-362(1982) BibTeX
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
Jack Minker: Perspectives in Deductive Databases. J. Log. Program. 5(1): 33-60(1988) BibTeX
Jean-Marie Nicolas, Hervé Gallaire: Data Base: Theory vs. Interpretation. Logic and Data Bases 1977: 33-54 BibTeX
Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX
John C. Shepherdson: Negation in Logic Programming. Foundations of Deductive Databases and Logic Programming. 1988: 19-88 BibTeX
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX

Referenced by

  1. Beat Wüthrich: On Updates and Inconsistency Repairing in Knowledge Bases. ICDE 1993: 608-615
  2. Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991)
  3. Beat Wüthrich: Semantic Improvement of Deductive Databases. MFDBS 1991: 216-229
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:29:37 2009