Abstract
LILOG-DB is a deductive database system for the support of knowledge-based systems, and many aspects of its theory([7,13]), architecture([15,11]), conceptual backgronnd([14]) and implementation([6,10]) have already been discussed.
However, one of our goals when we started was to work out principles, algorithms, and an architecture for deductive query processing with heterogeneously structured complex objects, and to show their practical relevance and feasibility by implementing a full-scale (“non-toy”) query-processor that relies on them.
This paper briefly reviews the data model and query languages we started from, in order to then discuss the basic design rationales of the LILOG-DB query processor.
Most importantly, we evaluate our experiences. Our results suggest some major revisions and extensions of the concepts we started from; these are are discussed at the end of the paper.
We will keep our presentation on a rather high level, partially because we do not want to bargain structural coherence for algorithmic detail, partially because a systematic evaluation and benchmarking of our system is still on its way.
Nevertheless, the experiences discussed here are justified by observations and preliminary measurements on our first prototype, which has been completed in late 1989.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Ait-Kaci, R. Nasr: LOGIN: A Logic Programming Language with Built-in Inheritance. Journal of Logic Programming, 3/1986, pp. 185–215
F. Bancilhon: Naive Evaluation of Recursively Defined Relations. In: On Knowledge Base Management Systems, Eds. M. Brodie, J. Mylopoulos, Springer, 1986, pp.165–178
F. Bancilhon, R. Ramakrishnan: An Amateur’s Introduction to Recursive Query Processing Strategies. Proceedings ACM SIGMOD Conference, 1986, pp. 16–52
C. Beeri, R. Nasr, Sh. Tsur: Embedding ψ-terms in a Horn-Clause Logic Language. Proc. 3rd Int. Conf. on Data and Knowledge Bases, Jerusalem, 1988
E. Gehlen: EFTA Query Processing in LILOG-DB. IBM Germany, IWBS-Report 98, 1989
M. Ley: Der LILOG-DB Fact Manager: Ein Datenhankkern zur Speicherung variabel strukturierter komplexer Objekte. Informatik Forschung und Entwicklung, 5/1990, Springer, in German
T. Ludwig: FLL: A First-Order Language for Deductive Retrieval of Feature Terms. IBM Germany, IWBS-Report 57, 1988
T. Ludwig: EFTA: An Algebra for Deductive Retrieval of Feature Terms. IBM Germany, IWBS-Report 58, 1988
T. Ludwig: Algebraic Optimization of EFTA-Expressions. IBM Germany, IWBS-Report 59, 1988
T. Ludwig: Compilation of Complex Datalog with Stratified Negation. Proceedings-BNCOD ’90, York
T. Ludwig: A Brief Survey of LILOG-DB. Proceedings Data Engineering Conf. 1990, Los Angeles
T. Ludwig, A. Pott: Rule Rewriting Methoden zur effizienten Abarbeitung von FLL-Programmen. IBM Germany, IWBS Report Nr. 105, 1989, in German
T. Ludwig, B.Walter: EFTA: An Algebra for Deductive Retrieval of Feature Terms. Journal of Data and Knowledge Engineering, 5/1990
T. Ludwig, B. Walter: Database Concepts for the Support of Knowledge Based Systems. to appear in: Proc. GI Workshop on Artificial Intelligence and Databases, 1990, Springer
T. Ludwig, B. Walter, M. Ley, A. Maier, E. Gehlen: LILOG-DB: Database-Support for Knowledge-Based Systems. Proceedings BTW ’89, LNCS 204, 1989, Springer
J. Peckham, F. Maryanski: Semantic Data Models. ACM Computing Surveys, Vol.20, No.3, Sept. 1988
T. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. In: Foundations of Deductive Databases and Logic Programming, Ed.: J. Minker, Morgan Kaufmann, 1988, 193–216
J. C. Shepherdson: Negation in Logic Programming. In: Foundations of Deductive Databases and Logic Programming, Ed.: J. Minker, Morgan Kaufmann, 1988, 19–88
O. Shmueli, S. Naqvi: Set Grouping and Layering in Horn-Clause Programs. 4th International Conference on Logic Programming, Melbourne, 1987, 152–177
S. Tsur, C. Zaniolo: LDL: A Logic-Based Data Language. 12th VLDB, Kyoto, 1986, 33–41
C. Zaniolo, D. Sacca: Rule Rewriting Methods for Efficient Implementations of Horn Logic. MCC Technical Report DB-084–87, 1987
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ludwig, T. (1991). Query Processing in LILOG-DB: What It Is and Where It Goes. In: Appelrath, HJ. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik-Fachberichte, vol 270. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76530-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-76530-8_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53861-5
Online ISBN: 978-3-642-76530-8
eBook Packages: Springer Book Archive