Abstract
Eine der wichtigsten Optimierungen bottom-up auswertender Logikprogrammiersysteme ist die Magic Set Transformation. Die Güte dieser Transformation wird durch die SIP-Auswahl (sideways information passing) entscheidend beeinflußt. In bisherigen Systemen wird vor allem ein regellokaler reiner links-rechts SIP verwendet. In diesem Papier wird eine Datenstruktur, der AND/OR-SIP Graph, und ein kombinierter Such- und Generierungsalgorithmus darauf, der HSB-SIP Algorithmus, vorgestellt, der über eine Kostenfunktion eine optimale SIP-Auswahl trifft. Dadurch werden beliebige, auch regelglobale SIP-Strategien unterstützt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Argenton H.: Stratifikationsbehandlung innerhalb der Magic-Set Transformation, Diplomarbeit, Institut für Informatik, TU-München 1990
Balbin I., Port G.S., Ramamohanarao K.: Magic Set Computation for Stratified Databases, Technical Report 87/3, Department of Computer Science, University of Melbourne
Balbin I., Meenakshi K., Ramamohanarao K.: An Effizient Labelling Algorithm for Magic Set Computation on Stratified Databases, Technical Report 88/1, Department of Computer Science, University of Melbourne
Bancilhon F., Ramakrishnan R.: An Amateurs Introduction to Recursive Query Processing Strategies, Proceedings ACM SIGMOD, 1986
Beeri C., Ramamohanarao K.: On the Power of Magic, ACM SIGMOD-SIGART, Symp. on Principles of Database Systems, 1987
Freitag B . , Schütz H. , Specht G.: LOLA A Logic Language for Deductive Databases and its Implementation, Proc. of 2nd Int. Symposium on Database Systems for Advanced Applications (DASFAA), Tokyo 1991
Holzner J.: Optimierung rekursiver Logik-Programme durch die Magic-Set Methode, Diplomarbeit, Institut für Informatik, TU-München 1989
Kemp D. B. , Meenakshi K., Ramamohanarao K., Balbin I.: Propagating Constraints in Recursive Deductive Databases, Technical Report 89/6, Department of Computer Science, University of Melbourne
Krone O.: Optimierende SIP-Auswahl innerhalb der Magic-Set Transformation für die Logiksprache LOLA, Diplomarbeit, Institut für Informatik, TU-München 1991
Lenz T.: Index Optimierung für einen Übersetzer für die Logisprache LOLA, Diplomarbeit, Institut für Informatik, TU-München 1990
Lloyd J.W.: Foundations of Logic Programming Springer Verlag 1987
Specht G.: Die Logiksprache LOLA und ihre interne Darstellung durch Relationen, Technischer Report TUM-I8910, TU-München 1989
Ullman J.D.: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press, Rockville, 1989
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
Specht, G., Krone, O. (1991). Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformation. In: Christaller, T. (eds) GWAI-91 15. Fachtagung für Künstliche Intelligenz. Informatik-Fachberichte, vol 285. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02711-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-02711-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54558-3
Online ISBN: 978-3-662-02711-0
eBook Packages: Springer Book Archive