ACM SIGMOD Anthology TODS dblp.uni-trier.de

Functional Dependencies in Horn Clause Queries.

Alberto O. Mendelzon, Peter T. Wood: Functional Dependencies in Horn Clause Queries. ACM Trans. Database Syst. 16(1): 31-55(1991)
@article{DBLP:journals/tods/MendelzonW91,
  author    = {Alberto O. Mendelzon and
               Peter T. Wood},
  title     = {Functional Dependencies in Horn Clause Queries},
  journal   = {ACM Trans. Database Syst.},
  volume    = {16},
  number    = {1},
  year      = {1991},
  pages     = {31-55},
  ee        = {http://doi.acm.org/10.1145/103140.103142, db/journals/tods/MendelzonW91.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

When a database query is expressed as a set of Horn clauses whose execution is by top-down resolution of goals, there is a need to improve the backtracking behavior of the interpreter. Rather than putting on the programmer the onus of using extra-logical operators such as cut to improve performance, we show that some uses of the cut can be automated by inferring them from functional dependencies. This requires some knowledge of which variables are guaranteed to be bound at query execution time; we give a method for deriving such information using data flow analysis.

Copyright © 1991 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.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition: ACM Digital Library

[Abstract, Index Terms and Review]
[Full Text in PDF Format, 1598 KB]

Conference Version

Alberto O. Mendelzon: Functional Dependencies in Logic Programs. VLDB 1985: 324-330 BibTeX

References

[1]
Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop: On the Safe Termination of PROLOG Programs. ICLP 1989: 353-368 BibTeX
[2]
...
[3]
...
[4]
Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985) BibTeX
[5]
...
[6]
...
[7]
David Scott Warren, Saumya K. Debray: Detection and Optimization of Functional Computations in Prolog. ICLP 1986: 490-504 BibTeX
[8]
Madhur Kohli, Jack Minker: Intelligent Control Using Integrity Constraints. AAAI 1983: 202-205 BibTeX
[9]
John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
BibTeX
[10]
...
[11]
Alberto O. Mendelzon: Functional Dependencies in Logic Programs. VLDB 1985: 324-330 BibTeX
[12]
...
[13]
...
[14]
Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy: Optimizing Existential Datalog Queries. PODS 1988: 89-102 BibTeX
[15]
Uday S. Reddy: Transformation of Logic Programs into Functional Programs. SLP 1984: 187-196 BibTeX
[16]
Edward Sciore, David Scott Warren: Towards an Integrated Database-Prolog System. Expert Database Workshop 1984: 293-305 BibTeX
[17]
Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985) BibTeX
[18]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
[19]
David H. D. Warren: Efficient Processing of Interactive Relational Data Base Queries expressed in Logic. VLDB 1981: 272-281 BibTeX

Referenced by

  1. Martin F. van Bommel, Grant E. Weddell: Reasoning About Equations and Functional Dependencies on Complex Objects. IEEE Trans. Knowl. Data Eng. 6(3): 455-469(1994)
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
TODS, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Tue Jun 24 18:39:09 2008