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

XML 查询的形式化基础知识，特别考虑 XQuery

• 批准号: 5448185
• 负责人: Professor Dr. Thomas Schwentick
• 金额: --
• 依托单位: Informatik I - Lehrstuhl Logik in der Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5448185?language=en
• 关键词: Formale; Grundlagen; von; XML; Anfragen

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.

das projektbeschäftigtsich mit den forman und算法算法grundlagen von anfragesprachenfürxml-daten。在文学文学作品中，Insbesondere DieAusdrucksstärkevon anfrageformalismen sowie sowie ihrekomplexitätstheoretischeneigenschaften eingehend eingehend eingeiert，vielfach met aus methoden aus der logik der logik und der der automatententheyorie。 diese unteruchungen konzentrierten sich jedoch weitgehend auf anfragen，死于einem dokument eine menge eine menge von positionenauswählenoder feststellen，ob ein dokument eine dokument eine gewisse eigensse eigenschaft帽子。 sie lassen sich meist在einer schema-beschreibungssprache formulache formulieren中的der navigationssprache xpath oder中。 Ziel des Laufenden projektes ist eine iNESPrechende grundlegung der erheblich umfassenderen anfragesprache xquery。 Im rahmen des projekts ist bereits die semantik von xquery在einem logik-basierten datenmodel beschrieben Word中。麻省理工学院的柴油建模具有严格的状态，并且迄今为止已经整合。 Die Entwicklung geeigneter Auswertungs-Modelle Mit gueigneter eigenschaften，Auch Hinsichtlich der Statistics Analyze，Steht Jetzt Im Mittelpunkt des Projektes。 Auch Hier Sind在denersten bereits einige中“我们正在谈论如何使用“我们正在谈论”和“我们正在谈论如何将其用于对世界的失败方法”。我们正在谈论如何使用它很长时间。我们正在谈论如何使用它很长时间。我们正在谈论如何使用它很长时间。我们正在谈论如何使用它很长时间。我们正在谈论如何将其用于对世界的失败方法。