Abstract
Datalog ist eine logikbasierte Sprache für deduktive Datenbanksysteme. Gegenüber relationalen Datenbanksprachen, wie SQL oder QUEL, besteht in Datalog die Möglichkeit zur Formulierung von rekursiven Anfragen. Die Lösung solcher Anfragen erfordert bei einer bottom-up-orientierten Vorgehensweise meist die Durchführung mehrerer Joins. Die Auswertung auf einem Prozessor kann deshalb sehr lange dauern. Um das Problem zu überwinden, wird in diesem Artikel ein paralleles Evaluierungsverfahren untersucht. Das Verfahren verallgemeinert eine für Sirups (single rule programs) vorgestellte Technik [WS88] auf Datalog Programme mit beliebig vielen Regeln. Es wird die Klasse der zerlegbaren Programme definiert und eine Strategie beschrieben, wie ein zerlegbares Programm von n Prozessoren parallel berechnet werden kann, ohne daß eine Kommunikation unter den Prozessoren notwendig ist. Hierzu wird die Pivot-Menge eines Programms definiert und gezeigt, daß pivotierende Programme zerlegbar sind. Die Strategie wurde in einem lokalen Netz miteinander verbundener SUN3–60 Workstations implementiert. Nach einer Beschreibung der Implementation werden einige experimentelle Simulationsergebnisse diskutiert.
Die Arbeit des Autors wurde durch die Deutsche Forschungsgemeinschaft unter dem Aktenzeichen La 598/2–1 finaziell gefördert.
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.
Literaturliste
F. Afrati and C.H. Papadimitriou. The Parallel Complexity of Simple Chain Queries. In Proc. of the 6th ACM Symposium on Principles of Database Systems, pages 210–213, 1987.
H. Boral and W. Alexander. Prototyping Bubba, A Highly Parallel Database System. ACM Transactions on Knowledge and Data Engineering, Vol.2(No.l):4–24, 1990.
F. Bancilhon and R. Ramakrishnan. An Amateur’s Introduction to Recursive Query Processing Strategies. In Proc. of ACM SIGMOD Int. Conference on Management of Data, pages 16–52, 1986.
S.S. Cosmadakis and P.C. Kanellakis. Parallel Evaluation of Recursive Rule Queries. In Proc. of the 5th ACM Symposium on Principles of Database Systems, pages 280–293, 1986.
S. Cohen and O. Wolfson. Why a Single Parallelization Strategie is not enough in Knowledge Bases. In Proc. of the 8th ACM Symposium on Principles of Database Systems, 1989.
W. Effelsberg. Systempufferverwaltung in Datenbanksystemen. PhD thesis, Technische Hochschule Darmstadt, 1981.
S. Ganguly, A. Silberschatz, and S. Tsur. A Framework for the Parallel Processing of Datalog Queries. In Proc. of the ACM SIGMOD Int. Conference on Management of Data, pages 143–152, 1990.
S. Ischner. Analyse einer parallelen Auswertungsstrategie für Datalog-Programme, 1990. Diplomarbeit an der Universität Mannheim.
P.C. Kanellakis. Logic Programming and Parallel Complexity. In Proc. of the ICDT Int. Conference on Database Theory, pages 1–30. Springer Verlag, 1986. Lecture Notes in Computer Science, 243.
K. Morris, J. Ullman, and A. Van Gelder. Design Overview of the NAIL System. In Proc. of the 3rd Int. Conference on Logic Programming, pages 554–568, 1986. Lecture Notes in Computer Science, 225.
S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.
M. Stonebraker, E. Wong, and G. Held. The Design and Implementation of INGRES. ACM Transactions on Database Systems, Vol.1 (No.3):189–222, 1976.
J.D. Ullman. Principles of Database and Knowledgebase Systems. Computer Science Press, 1988.
J.D. Ullman and A. Van Gelder. Parallel Complexity of Logical Query Programs. Algorithmica, Vol.3:5–42, 1988.
O. Wolfson and A. Ozeri. A New Paradigm for Parallel and Distributed Rule-Processing. In Proc. of the ACM SIGMOD Int. Conference on Management of Data, pages 133–142, 1990.
O. Wolfson. Sharing the Load of Logic Program Evaluation. In Proc. of the Int. Symposium on Databases in Parallel and Distributed Systems, pages 46–55, 1988.
O. Wolfson and A. Silberschatz. Distributed Processing of Logic Programs. In Proc. of the ACM SIGMOD Int. Conference on Management of Data, pages 329–336, 1988.
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
Seib, J., Lausen, G. (1991). Parallele Evaluierung von Datalog-Programmen. 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_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-76530-8_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53861-5
Online ISBN: 978-3-642-76530-8
eBook Packages: Springer Book Archive