Core Concepts
Die Arbeit präsentiert den Rekursiven Logischen Abfrage-DAG (RLQDAG), eine Erweiterung des Volcano-Frameworks, um die Aufzählung rekursiver Abfragepläne effizienter zu gestalten. Der RLQDAG ermöglicht es, Mengen von rekursiven algebraischen Termen kompakt darzustellen und Transformationen auf diesen Mengen anstelle von Einzeltermen durchzuführen, was zu deutlichen Leistungssteigerungen führt.
Abstract
Die Arbeit präsentiert den Rekursiven Logischen Abfrage-DAG (RLQDAG), eine Erweiterung des Volcano-Frameworks zur effizienten Aufzählung rekursiver Abfragepläne. Der RLQDAG erweitert den Logical Query DAG (LQDAG) um die Fähigkeit, Rekursion zu erfassen und zu transformieren.
Zentrale Beiträge sind:
Einführung des RLQDAG, der rekursive Terme kompakt darstellt und Transformationen auf Mengen von Termen anstelle von Einzeltermen ermöglicht
Formalisierung der Syntax und Semantik des RLQDAG mit Fokus auf Teilterm-Sharing und Rekursion
RLQDAG-Transformationsregeln, die Mengen von Untertermen gruppiert transformieren und Annotationen inkrementell aktualisieren
Implementierung des Ansatzes, die signifikante Leistungsverbesserungen gegenüber dem Stand der Technik zeigt
Der RLQDAG erweitert den LQDAG um die Fähigkeit, Rekursion zu erfassen und zu transformieren. Dazu führt er annotierte Äquivalenzknoten ein, die Informationen darüber enthalten, wie Rekursionsvariablen verwendet werden. Dies ermöglicht es, Transformationen auf Mengen von rekursiven Termen anstelle von Einzeltermen durchzuführen und die Teilterm-Sharing zu maximieren. Die RLQDAG-Transformationsregeln aktualisieren die Annotationen inkrementell, was die Effizienz der Transformation weiter steigert.
Stats
Keine relevanten Kennzahlen oder Metriken identifiziert.
Quotes
Keine markanten Zitate identifiziert.