Towards on Open Architecture for LDL.
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy:
Towards on Open Architecture for LDL.
VLDB 1989: 195-203@inproceedings{DBLP:conf/vldb/ChimentiGK89,
author = {Danette Chimenti and
Ruben Gamboa and
Ravi Krishnamurthy},
editor = {Peter M. G. Apers and
Gio Wiederhold},
title = {Towards on Open Architecture for LDL},
booktitle = {Proceedings of the Fifteenth International Conference on Very
Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands},
publisher = {Morgan Kaufmann},
year = {1989},
isbn = {1-55860-101-5},
pages = {195-203},
ee = {db/conf/vldb/ChimentiGK89.html},
crossref = {DBLP:conf/vldb/89},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
We extend LDL to allow programs to call external procedures and vice versa.
This extension allows the modularization of LDL, since external predicates are equivalent to external procedures written in LDL.
External predicates are viewed as infinite relations so that the traditional semantics of logic programs remain applicable.
To avoid computing infinite relations, well-formedness conditions for programs in extended LDL are given.
The traditional optimization framework can still be used; it is only necessary to define a new set of cost functions capable of handling the infinite relations.
The problem of interfacing LDL programs with external procedures-exchanging complex objects and returning multiple solutions-is discussed.
Thus, we provide a general framework to allow logic programs to interact with external procedures without sacrificing amenities such as optimization, safety, etc.
This approach forms the basis for the implementation of externals and modules in the LDL compiler and optimizer at MCC.
Copyright © 1989 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 5, VLDB '89-'97" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Peter M. G. Apers, Gio Wiederhold (Eds.):
Proceedings of the Fifteenth International Conference on Very Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands.
Morgan Kaufmann 1989, ISBN 1-55860-101-5
BibTeX
References
- [CGK89a]
- ...
- [CGK89b]
- ...
- [CP84]
- Stefano Ceri, Giuseppe Pelagatti:
Distributed Databases: Principles and Systems.
McGraw-Hill Book Company 1984, ISBN 0-07-010829-3
BibTeX
- [KBZ86]
- Ravi Krishnamurthy, Haran Boral, Carlo Zaniolo:
Optimization of Nonrecursive Queries.
VLDB 1986: 128-137 BibTeX
- [KN88a]
- Ravi Krishnamurthy, Shamim A. Naqvi:
Non-Deterministic Choice in Datalog.
JCDKB 1988: 416-424 BibTeX
- [KRS88]
- Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli:
A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract).
SIGMOD Conference 1988: 154-163 BibTeX
- [KZ88]
- Ravi Krishnamurthy, Carlo Zaniolo:
Optimization in a Logic Based Language for Knowledge and Data Intensive Applications.
EDBT 1988: 16-33 BibTeX
- [Ll84]
- John W. Lloyd:
Foundations of Logic Programming, 2nd Edition.
Springer 1987, ISBN 3-540-18199-7
BibTeX
- [MW81]
- David Maier, David Scott Warren:
Incorporating Computed Relations in Relational Databases.
SIGMOD Conference 1981: 176-187 BibTeX
- [NK88]
- Shamim A. Naqvi, Ravi Krishnamurthy:
Database Updates in Logic Programming.
PODS 1988: 251-262 BibTeX
- [NT89]
- Shamim A. Naqvi, Shalom Tsur:
A Logical Language for Data and Knowledge Bases.
Computer Science Press 1989, ISBN 0-7167-8200-6
BibTeX
- [RBK88]
- Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy:
Optimizing Existential Datalog Queries.
PODS 1988: 89-102 BibTeX
- [Sell79]
- Patricia G. Selinger, Morton M. Astrahan, Donald D. Chamberlin, Raymond A. Lorie, Thomas G. Price:
Access Path Selection in a Relational Database Management System.
SIGMOD Conference 1979: 23-34 BibTeX
- [Ull85]
- Jeffrey D. Ullman:
Implementation of Logical Query Languages for Databases.
ACM Trans. Database Syst. 10(3): 289-321(1985) BibTeX
Referenced by
- Roy Goldman, Jennifer Widom:
WSQ/DSQ: A Practical Approach for Combined Querying of Databases and the Web.
SIGMOD Conference 2000: 285-296
- Surajit Chaudhuri, Kyuseok Shim:
Optimization of Queries with User-Defined Predicates.
ACM Trans. Database Syst. 24(2): 177-228(1999)
- Tobias Mayr, Praveen Seshadri:
Client-Site Query Extensions.
SIGMOD Conference 1999: 347-358
- Joseph M. Hellerstein:
Optimization Techniques for Queries with Expensive Methods.
ACM Trans. Database Syst. 23(2): 113-157(1998)
- Narayanan Shivakumar, Hector Garcia-Molina, Chandra Chekuri:
Filtering with Approximate Predicates.
VLDB 1998: 263-274
- Surajit Chaudhuri:
An Overview of Query Optimization in Relational Systems.
PODS 1998: 34-43
- Wolfgang Scheufele, Guido Moerkotte:
Efficient Dynamic Programming Algorithms for Ordering Expensive Joins and Selections.
EDBT 1998: 201-215
- Surajit Chaudhuri, Kyuseok Shim:
Optimization of Queries with User-defined Predicates.
VLDB 1996: 87-98
- Joseph M. Hellerstein, Jeffrey F. Naughton:
Query Execution Techniques for Caching Expensive Methods.
SIGMOD Conference 1996: 423-434
- Sibel Adali, K. Selçuk Candan, Yannis Papakonstantinou, V. S. Subrahmanian:
Query Caching and Optimization in Distributed Mediator Systems.
SIGMOD Conference 1996: 137-148
- Surajit Chaudhuri, Umeshwar Dayal, Tak W. Yan:
Join Queries with External Text Sources: Execution and Optimization Techniques.
SIGMOD Conference 1995: 410-422
- Joseph M. Hellerstein:
Practical Predicate Placement.
SIGMOD Conference 1994: 325-335
- Surajit Chaudhuri, Kyuseok Shim:
Query Optimization in the Presence of Foreign Functions.
VLDB 1993: 529-542
- Joseph M. Hellerstein, Michael Stonebraker:
Predicate Migration: Optimizing Queries with Expensive Predicates.
SIGMOD Conference 1993: 267-276
- Witold Litwin, Tore Risch:
Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates.
IEEE Trans. Knowl. Data Eng. 4(6): 517-528(1992)
- Gerald Kiernan, Christophe de Maindreville:
Compiling a Rule Database Program into a C/SQL Application.
ICDE 1991: 388-395
- Steve Rozen, Dennis Shasha:
Rationale and Design of BULK.
DBPL 1991: 71-85
- Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo:
The LDL System Prototype.
IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990)
- Gerald Kiernan, Christophe de Maindreville, Eric Simon:
Making Deductive Databases a Practical Technology: A Step Forward.
SIGMOD Conference 1990: 237-246
- Carlo Zaniolo:
Deductive Databases - Theory Meets Practice.
EDBT 1990: 1-15
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:41 2009