Functional Dependencies in Logic Programs.
Alberto O. Mendelzon:
Functional Dependencies in Logic Programs.
VLDB 1985: 324-330@inproceedings{DBLP:conf/vldb/Mendelzon85,
author = {Alberto O. Mendelzon},
editor = {Alain Pirotte and
Yannis Vassiliou},
title = {Functional Dependencies in Logic Programs},
booktitle = {VLDB'85, Proceedings of 11th International Conference on Very
Large Data Bases, August 21-23, 1985, Stockholm, Sweden},
publisher = {Morgan Kaufmann},
year = {1985},
pages = {324-330},
ee = {db/conf/vldb/Mendelzon85.html},
crossref = {DBLP:conf/vldb/85},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
When logic programming is used for database
access, there is a need to improve the backtracking
behaviour 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 © 1985 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.
Online Paper
CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Alain Pirotte, Yannis Vassiliou (Eds.):
VLDB'85, Proceedings of 11th International Conference on Very Large Data Bases, August 21-23, 1985, Stockholm, Sweden.
Morgan Kaufmann 1985
Contents BibTeX
Journal Version
Alberto O. Mendelzon, Peter T. Wood:
Functional Dependencies in Horn Clause Queries.
ACM Trans. Database Syst. 16(1): 31-55(1991) BibTeX
References
- [BJ]
- Michael L. Brodie, Matthias Jarke:
On Integrating Logic Programming and Databases.
Expert Database Workshop 1984: 191-207 BibTeX
- [BP]
- ...
- [CM]
- ...
- [D]
- Verónica Dahl:
On Database Systems Development Through Logic.
ACM Trans. Database Syst. 7(1): 102-123(1982) BibTeX
- [JCV]
- Matthias Jarke, James Clifford, Yannis Vassiliou:
An Optimizing Prolog Front-End to a Relational Query System.
SIGMOD Conference 1984: 296-306 BibTeX
- [L]
- John W. Lloyd:
Foundations of Logic Programming, 1st Edition.
Springer 1984, ISBN 3-540-13299-6
BibTeX
- [KM]
- Madhur Kohli, Jack Minker:
Intelligent Control Using Integrity Constraints.
AAAI 1983: 202-205 BibTeX
- [PP]
- ...
- [SW]
- Edward Sciore, David Scott Warren:
Towards an Integrated Database-Prolog System.
Expert Database Workshop 1984: 293-305 BibTeX
- [U]
- Jeffrey D. Ullman:
Implementation of Logical Query Languages for Databases (Abstract).
SIGMOD Conference 1985: 444 BibTeX
- [W]
- David H. D. Warren:
Efficient Processing of Interactive Relational Data Base Queries expressed in Logic.
VLDB 1981: 272-281 BibTeX
Referenced by
- 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)
- Grant E. Weddell:
Reasoning about Functional Dependencies Generalized for Semantic Data Models.
ACM Trans. Database Syst. 17(1): 32-64(1992)
- Alberto O. Mendelzon, Peter T. Wood:
Functional Dependencies in Horn Clause Queries.
ACM Trans. Database Syst. 16(1): 31-55(1991)
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume II.
Computer Science Press 1989, ISBN 0-7167-8162-X
Contents - Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy:
Optimizing Existential Datalog Queries.
PODS 1988: 89-102
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
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:45:27 2009