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

Semantics and Efficient Compilation for Quantitative Deductive Databases.

Nikolaus Steger, Helmut Schmidt, Ulrich Güntzer, Werner Kießling: Semantics and Efficient Compilation for Quantitative Deductive Databases. ICDE 1989: 660-669
@inproceedings{DBLP:conf/icde/StegerSGK89,
  author    = {Nikolaus Steger and
               Helmut Schmidt and
               Ulrich G{\"u}ntzer and
               Werner Kie{\ss}ling},
  title     = {Semantics and Efficient Compilation for Quantitative Deductive
               Databases},
  booktitle = {Proceedings of the Fifth International Conference on Data Engineering,
               February 6-10, 1989, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1989},
  isbn      = {0-8186-1915-5},
  pages     = {660-669},
  ee        = {db/conf/icde/StegerSGK89.html},
  crossref  = {DBLP:conf/icde/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1989 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 6, ICDE 1984-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Proceedings of the Fifth International Conference on Data Engineering, February 6-10, 1989, Los Angeles, California, USA. IEEE Computer Society 1989, ISBN 0-8186-1915-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[AhU79]
Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ban86]
François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BeR87]
Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BMSU86]
François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BoD86]
...
[Dad86]
Peter Dadam, Klaus Küspert, F. Andersen, Henk M. Blanken, R. Erbe, Jürgen Günauer, Vincent Y. Lum, Peter Pistor, Georg Walch: A DBMS Prototype to Support Extended NF2 Relations: An Integrated View on Flat Tables and Hierarchies. SIGMOD Conference 1986: 356-367 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gar87]
Georges Gardarin: Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs. VLDB 1987: 21-30 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GKB87]
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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[IoW88]
Yannis E. Ioannidis, Eugene Wong: Transforming Nonlinear Recursion into Linear Recursion. Expert Database Conf. 1988: 401-421 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KiL88]
Michael Kifer, Ai Li: On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988: 102-117 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Llo87]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MAD88]
...
[Min88]
Jack Minker: Perspectives in Deductive Databases. J. Log. Program. 5(1): 33-60(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MUvG86]
Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Rei78]
Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SaZ86]
Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. ICDT 1986: 31-53 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SKGB87]
Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer: Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration. SLP 1987: 234-243 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sel88]
Timos K. Sellis: Multiple-Query Optimization. ACM Trans. Database Syst. 13(1): 23-52(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ste88]
...
[StR86]
Michael Stonebraker, Lawrence A. Rowe: The Design of Postgres. SIGMOD Conference 1986: 340-355 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sub87]
V. S. Subrahmanian: On the Semantics of Quantitative Logic Programs. SLP 1987: 173-182 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Tar55]
...
[TsZ86]
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[vEK76]
Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[vEM86]
Maarten H. van Emden: Quantitative Deduction and its Fixpoint Theory. J. Log. Program. 3(1): 37-53(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Vie88]
Laurent Vieille: From QSQ towards QoSaQ: Global Optimization of Recursive Queries. Expert Database Conf. 1988: 743-778 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Zad65]
Lotfi A. Zadeh: Fuzzy Sets. Information and Control 8(3): 338-353(1965) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Zan85]
Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Referenced by

  1. S. Sudarshan, Raghu Ramakrishnan: Aggregation and Relevance in Deductive Databases. VLDB 1991: 501-511

Copyright © Mon Nov 2 20:43:06 2009 by Michael Ley (ley@uni-trier.de)