DAHU: Databases and Verification

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.

Members

Permanent Members

Serge Abiteboul
Senior researcher, INRIA Saclay-Île de France
Luc Segoufin
Senior researcher, INRIA
 
Sylvain Schmitz
Researcher, délégation INRIA (Assistant professor, ENS Cachan)
Cristina Sirangelo
Assistant professor, ENS Cachan

Associated and Temporary Members

Johann Brault-Baron
Post-doctoral researcher
Arnaud Durand
Researcher, délégation CNRS (professor, U. Paris Diderot)
Victor Vianu
Researcher, chaire INRIA (professor, UC San Diego)

Ph.D. Students

Nadime Francis
PhD student, ENS Cachan
David Montoya
PhD student
 

More

Contracts

Dahu participates in the ERC advance grant Webdam: Webdam.

About LSV

About Dahu

A joint team with

Logo INRIA Saclay

Presentation of DAHU (2013)

Presentation
							       of Dahu at l

Recent Publications

All the Dahu publications

S. SchmitzImplicational Relevance Logic is 2-ExpTime-CompleteIn RTA/TLCA'14, LNCS. Springer, July 2014. To appear. Web page | PDF | BibTeX )
R. Lazic and S. SchmitzNon-Elementary Complexities for Branching VASS, MELL, and ExtensionsIn CSL/LICS'14. ACM Press, July 2014. To appear. Web page | PDF | BibTeX )
N. Francis, L. Segoufin and C. SirangeloDatalog Rewritings of Regular Path Queries using ViewsIn ICDT'14, pages 107-118. March 2014. PDF | BibTeX )
J. Brault-BaronHypergraph Acyclicity Revisited.  Research Report 1403.7076, Computing Research Repository, February 2014. 32 pages. Web page | PDF | BibTeX )
J.-B. Courtois and S. SchmitzAlternating Vector Addition Systems with States.  Manuscript. April 2014. Web page | PDF | BibTeX )

All the Dahu publications