ACM SIGMOD Anthology VLDB dblp.uni-trier.de

DECLARE and SDS: Early Efforts to Commercialize Deductive Database Technology.

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)
@article{DBLP:journals/vldb/KieslingSSD94,
  author    = {Werner Kie{\ss}ling and
               Helmut Schmidt and
               Werner Strau{\ss} and
               Gerhard D{\"u}nzinger},
  title     = {DECLARE and SDS: Early Efforts to Commercialize Deductive Database
               Technology},
  journal   = {VLDB J.},
  volume    = {3},
  number    = {2},
  year      = {1994},
  pages     = {211-243},
  ee        = {db/journals/vldb/KieslingSSD94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

The Smart Data System (SDS) and its declarative query language, Declarative Reasoning, represent the first large-scale effort to commercialize deductive database technology. SDS offers the functionality of deductive reasoning in a distributed, heterogeneous database environment. In this article we discuss several interesting aspects of the query compilation and optimization process. The emphasis is on the query execution plan data structure and its transformations by the optimizing rule compiler. Through detailed case studies we demonstrate that efficient and very compact runtime code can be generated. We also discuss our experiences gained from a large pilot application (MVV-expert) and report on several issues of practical interest in engineering such a complex system, including the migration from Lisp to C. We argue that heuristic knowledge and control should be made an integral part of deductive databases.

Copyright © 1994 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Key Words

Declarative reasoning, query optimizer, multi-databases, distributed query processing, heuristic control, productization.

Online Paper

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

References

[Apt et al. 1987]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX
[Balbin & Ramamohanarao 1987]
Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987) BibTeX
[Bancilhon 1986]
...
[Bancilhon et al. 1986]
François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 BibTeX
[Bayer 1985]
...
[Bayer et al. 1987]
Rudolf Bayer, Ulrich Güntzer, Werner Kießling, Werner Strauß: Deduktions- und Datenbankunterstützung für Expertensysteme. BTW 1987: 1-16 BibTeX
[Beeri & Ramakrishnan 1987]
Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 BibTeX
[Ceri et al. 1989]
Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX
[Freitag & Biernath 1988]
Burkhard Freitag, Olaf Biernath: An Airtravel Expert Database. JCDKB 1988: 32-46 BibTeX
[Freitag et al. 1991]
Burkhard Freitag, Heribert Schütz, Günther Specht: LOLA - A Logic Language for Deductive Databases and its Implementation. DASFAA 1991: 216-225 BibTeX
[Gallaire et al. 1978]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: An Overview and Intoduction to Logic and Data Bases. Logic and Data Bases 1977: 3-30 BibTeX
[Gallaire et al. 1984]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
[Güntzer et al. 1987]
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 BibTeX
[Hillman 1988]
...
[Kießling 1986]
...
[Kießling et al. 1987]
...
[Kießling & Güntzer 1990]
Werner Kießling, Ulrich Güntzer: Deduktive Datenbanksysteme auf dem Weg zur Praxis. Inform., Forsch. Entwickl. 5(4): 177-187(1990) BibTeX
[Kießling 1992]
Werner Kießling: A Complex Benchmark for Logic Programming and Deductive Databases, or Who Can Beat the N-Queens ? SIGMOD Record 21(4): 28-34(1992) BibTeX
[Köstler et al. 1993]
Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer: The Differential Fixpoint Operator with Subsumption. DOOD 1993: 35-48 BibTeX
[McCarthy 1987]
John L. McCarthy: Generality in Artificial Intelligence. Commun. ACM 30(12): 1029-1035(1987) BibTeX
[Morris et al. 1986]
Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568 BibTeX
[Mumick et al. 1990]
Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan: Magic is Relevant. SIGMOD Conference 1990: 247-258 BibTeX
[Naqvi & Tsur 1989]
Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
BibTeX
[Phipps et al. 1991]
Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317 BibTeX
[Przymusinski 1987]
Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 BibTeX
[Ramakrishnan et al. 1988]
Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy: Optimizing Existential Datalog Queries. PODS 1988: 89-102 BibTeX
[Ramakrishnan et al. 1992]
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250 BibTeX
[Sacca & Zaniolo 1987]
Domenico Saccà, Carlo Zaniolo: Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. ICLP 1987: 104-135 BibTeX
[Schmidt 1986]
...
[Schmidt et l. 1987]
Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer: Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration. SLP 1987: 234-243 BibTeX
[Schmidt et al. 1989]
Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer: DBA*: Solving Combinatorial Problems with Deductive Databases. BTW 1989: 196-215 BibTeX
[Schmidt 1992]
...
[Strauß 1986]
...
[Tsur & Zaniolo 1986]
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 BibTeX
[Ullman 1985]
Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985) BibTeX
[Ullman 1989]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX
[Vaghani 1991]
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247 BibTeX
[Van Emden & 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
[Van Gelder 1986]
Allen Van Gelder: A Message Passing Framework for Logical Query Evaluation. SIGMOD Conference 1986: 155-165 BibTeX
[Vieille et al. 1990]
...
[Zaniolo 1985]
Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469 BibTeX

Referenced by

  1. David B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi: Database Transactions in a Purely Declarative Logic Programming Language. DASFAA 1997: 283-292
  2. Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri: Implementation of the CORAL Deductive Database System. SIGMOD Conference 1993: 167-176
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Journal: 1992-1995 Copyright © by VLDB Endowment / 1996-... Copyright © by Springer Verlag,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:31:21 2009