BibTeX
@MISC{_foxfet-open,
author = {},
title = {FoX FET-Open grant FP7-ICT-233599 Deliverable D3.1},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Objectives of the Work Package. The key objectives of this work package are to develop a theory for describing and verifying properties of an XML document (or several XML documents) that change in time. The objectives are split into three tasks T3.1 Schemas and reasoning tasks for dynamic distributed XML T3.2 Compile time analysis T3.3 Run time analysis Task T3.2 and T3.3 will start only at M19. Task T3.1 started at M6, and therefore only last for six months. Main results. There were two main results. The first main result is the work of Serge Abiteboul, Pierre Bourhis and Victor Vianu, described in more detail in Section 2.1. This work lays the groundwork for task T3.1, by comparing the expressive power of various mechanisms that model dynamically changing XML documents. The focus is on the computational complexity of reasoning tasks, thus advancing the stated goal of task T3.1, which was to carry out a “systematic study ” of “decidable reasoning tasks ” in Active XML. The second main result is the work Florent Jacquemard and Michael Rusinowitch, described in more detail in Section 2.2 These achievements are on the boundary between tasks T3.1 and T3.2. The contribution of this work is an application of techniques from the term-rewriting community to finding decidable reasoning tasks. 1 Dissemination. This work package has only been functioning for half a year, so the work is new and there has been little to disseminate. There are some exceptions: the work of Jacquemard and Rusinowitch was started earlier, and therefore the completed paper will be presented at the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP) conference this year. Also, initial reports on the work of Segoufin and Toruńczyk, a result of Toruńczyk’s visit to Paris, and concerning Task 3.2, was already presented at a workshop on infinite and timed systems. An important venue for dissemination was the training event for WP3, which was scheduled for April 2010. This event was popular, also with several researchers from outside the project registering. Due to the Iceland volcano, this event has been rescheduled to
Keyphrases
task t3 work package toru czyk xml document main result active xml various mechanism decidable reasoning task systematic study dynamic distributed xml t3 first main result victor vianu run time analysis task t3 second main result stated goal term-rewriting community serge abiteboul several researcher expressive power declarative programming compile time analysis t3 initial report pierre bourhis michael rusinowitch important venue key objective several xml document work florent jacquemard international acm sigplan symposium training event iceland volcano computational complexity
