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

Das Projekt beschäftigt sich mit den formalen und algorithmischen Grundlagen von Anfragesprachen fgr XML-Daten。在《文学的世界》中，inbesondere die Ausdrucksstärke von frageformalismen sowie are komplexitätstheoretischen Eigenschaften bereits eengeend studiert, vielfach mit Methoden der Logik and der automatenttheory。Diese Untersuchungen konzentrierten sich jedoch weitgehend auf Anfragen, die in einem document ege von position auswählen oder feststeen, ob in document eine gewise Eigenschaft hat。这个分类包含在导航路径和XPath顺序中，包含在schema - beschreibungssprach公式中。Ziel des laufenden projects list eine entsprechende Grundlegung derheblich unfassenderen anfragesprachhe XQuery。在Rahmen des projects列表中，在einem基于逻辑的数据模型（datenmodel）中定义了XQuery的语义。Mit diesem models als Grundlage werden die Möglichkeiten eines integrgrierten datenmodels fr relationale and bauartige Daten untersucht werden。Die Entwicklung geeigneter auswertts - modelle mit gstigen algorithmischen Eigenschaften, auch hinsichtlich der statisschen analysis, steht jetzt im Mittelpunkt des Projektes。在以色列的西部，每一个更大的城市都有自己的独特之处。[4] [footnoteref: 1] [footnoteref: 1] [footnoteref: 1] [footnoteref: 1] [footnoteref: 1] [footnoteref: 1]。Mit den erarbeiteten Methoden werden den XQuery和seintitisten Fragmente danter hinsichtlich irer Ausdrucksstärke和algorithmischen Eigenschaften untersuht。

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.