The need to access and exchange data on the Web has led to database management systems (DBMS) that are increasingly distributed and autonomous. Data extraction and querying on the Web is harder than in classical DBMS, because such data is heterogeneous, redundant, inconsistent and subject to frequent modifications. DBMS thus need to be able to detect errors, to analyze them and to correct them. Moreover, increasingly complex Web applications and services rely on DBMS, and their reliability is crucial. This creates a need for tools for specifying DBMS in a high-level manner that is easier to understand, while also facilitating verification of critical properties.
The study of such specification and verification techniques is the main goal of Dahu.
Permanent Members | ||
| Serge Abiteboul Senior researcher, INRIA Saclay-Île de France | Florent Jacquemard Researcher, INRIA | Cristina Sirangelo Assistant professor, ENS Cachan |
| Stéphane Demri Senior researcher, CNRS | Luc Segoufin Senior researcher, INRIA | |
Associated and Temporary Members | ||
| Yannis Katsis Researcher, INRIA Saclay-Île de France | ||
Ph.D. Students | ||
| Pierre Bourhis PhD student | Alban Galland PhD student, INRIA | Thomas Place PhD student, ENS Cachan |
| Diego Figueira PhD student, INRIA | Wojciech Kazana PhD student, INRIA | Camille Vacher PhD student, France Telecom & ENS Cachan |
A joint team with
| • | . Relating timed and register automata. In EXPRESS'10. 2010. To appear. ( PDF | BibTeX ) |
| • | . On Selective Unboundedness of VASS. In INFINITY'10, Electronic Proceedings in Theoretical Computer Science. 2010. To appear. ( PDF | BibTeX ) |
| • | . Ackermann and Primitive-Recursive Bounds with Dickson's Lemma. Research Report cs.LO/1007.2989, Computing Research Repository, 2010. ( Web page | PDF | BibTeX ) |
| • | . Classes of trees definable in the μ-calculus. In MFCS'10, LNCS 6281, pages 381-392. Springer, 2010. ( BibTeX ) |
| • | . Addition-invariant FO and regularity. In LICS'10. IEEE Computer Society Press, 2010. To appear. ( PDF | BibTeX ) |