Extending a tuple-based XPath algebra to enhance evaluation flexibility

Abstract

Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. One laudable exception is the Natix Algebra (NAL) which defines the translation of XPath queries into algebraic expressions in a concise way, thereby enabling algebraic optimizations. However, NAL does not capture various promising core XML query evaluation algorithms like, for example, the Holistic Twig Join. By integrating a logical structural join operator, we enable NAL to be compiled into a physical algebra containing exactly those missing physical operators. We will provide several important query unnesting rules and demonstrate the effectivity of our approach by an implementation in the XML Transaction Coordinator (XTC) – our prototype of a native XML database system.

Zusammenfassung

In der Literatur der vergangenen Jahre wurde der algebraischen Behandlung der XML-Anfragesprache XPath wenig Bedeutung zugemessen. Eine löbliche Ausnahme bildet die Natix-Algebra (NAL), welche auf präzise Weise die Übersetzung einer XPath-Anfrage in einen algebraischen Ausdruck definiert, und somit die Tür zur algebraischen Optimierung dieser Anfragesprache öffnet. Bei genauerer Betrachtung verpasst es NAL jedoch, bekannte und vielversprechende Auswertungsalgorithmen, wie zum Beispiel den „Holistic Twig Join“, in den Übersetzungsprozess einzubeziehen. Die in diesem Artikel vorgeschlagene Einführung eines logischen strukturellen Verbundes („Structural Join“) behebt diese Schwachstelle und erlaubt es, einen NAL-Ausdruck in eine physische Algebra zu übersetzen, die genau diese fehlenden Auswertungsalgorithmen enthält. Zusätzlich werden wichtige Regeln zur Entschachtelung von XPath-Anfragen eingeführt. Mit Hilfe des „XML Transaction Coodinator“ (XTC) – unserem Protoyp eines nativen XML-Datenbanksystems – werden die zu erwartenden Effizienzsteigerungen nachgewiesen.