Formale Grundlagen von XML-Anfragen unter besonderer Berücksichtigung von XQuery

点击翻译按钮获取中文摘要

Das Projekt beschäftigt sich mit den formalen und algorithmischen Grundlagen von Anfragesprachen für XML-Daten. In der Literatur wurden, insbesondere die Ausdrucksstärke von Anfrageformalismen sowie ihre komplexitätstheoretischen Eigenschaften bereits eingehend studiert, vielfach mit Methoden aus der Logik und der Automatentheorie. Diese Untersuchungen konzentrierten sich jedoch weitgehend auf Anfragen, die in einem Dokument eine Menge von Positionen auswählen oder feststellen, ob ein Dokument eine gewisse Eigenschaft hat. Sie lassen sich meist in der Navigationssprache XPath oder in einer Schema-Beschreibungssprache formulieren. Ziel des laufenden Projektes ist eine entsprechende Grundlegung der erheblich umfassenderen Anfragesprache XQuery. Im Rahmen des Projekts ist bereits die Semantik von XQuery in einem Logik-basierten Datenmodell beschrieben worden. Mit diesem Modell als Grundlage werden die Möglichkeiten eines integrierten Datenmodells für relationale und baumartige Daten untersucht werden. Die Entwicklung geeigneter Auswertungs-Modelle mit günstigen algorithmischen Eigenschaften, auch hinsichtlich der statischen Analyse, steht jetzt im Mittelpunkt des Projektes. Auch hier sind in den ersten beiden Jahren bereits einige wichtige Ergebnisse erzielt worden. Diese Arbeit soll fortgesetzt werden, indem weitere erweiterte Automatenmodelle und beschränkte Anfragen, z.B. Und-Anfragen, untersucht werden. Mit den erarbeiteten Methoden werden dann XQuery und seine wichtigsten Fragmente dann weiter hinsichtlich ihrer Ausdrucksstärke und algorithmischen Eigenschaften untersucht.