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 Projekt beschäftigt sich mit den formalen und algorithmischen Grundlagen von Anfragesprachen für XML-Daten.在文学作品中，由于形式主义的结构形式使其复杂的特征理论需要一种理解的研究，因此可以采用逻辑和自动化理论的方法。这种理解可以理解为在一个位置上的一个文档管理器中，或者在一个文档中的一个特征。她在导航系统中的排序主要是用一个图表描述的公式。Laufenden Projektes的Ziel是一个非常简单的非碎片化XQuery的基础。在项目的框架中，XQuery的语义被定义为一个基于逻辑的数据模型沃登。Mit diesem Modell als Grundlage韦尔登die Möglichkeiten eines integrierten Datenmodels für relationale and baumartige Daten untersucht韦尔登.该开发模型采用特征值算法，也可用于统计分析，适用于项目的中间点。在第一个年头，也有一个令人难以置信的沃登。这一工作需要韦尔登，需要建立自动化模型和设计安全系统，z.B.安弗拉根，下韦尔登。这是一个非常复杂的韦尔登方法，它可以让你的数据库和算法的特性得到更好的理解。