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.


Permanent Members

Serge Abiteboul
Senior researcher, INRIA Saclay-Île de France
Sylvain Schmitz
Assistant professor, ENS Cachan
Luc Segoufin
Senior researcher, INRIA Saclay-Île de France

Associated and Temporary Members

Matthias Niewerth
Post-doctoral researcher, INRIA
Karima Rafes
PhD student, BorderCloud
Victor Vianu
Researcher, chaire INRIA (professor, UC San Diego)

Ph.D. Students

Nadime Francis
PhD student, ENS Cachan
Nathan Grosshans
PhD student, Digiteo (joint with U. Montreal, Canada)
David Montoya
PhD student, INRIA & Cofely INEO


About LSV

About Dahu

A joint team with

Logo INRIA Saclay

Recent Publications

All the Dahu publications

R. Lazic and S. SchmitzThe Ideal View on Rackoff's Coverability TechniqueIn RP'15, LNCS 9328, pages 76-88. Springer, September 2015. PDF | BibTeX )
K. Rafes and C. GermainA platform for scientific data sharingIn BDA'15. September 2015. To appear. PDF | BibTeX )
M. Jurdziński, R. Lazic and S. SchmitzFixed-Dimensional Energy Games are in Pseudo Polynomial TimeIn ICALP'15, LNCS 9135, pages 260-272. Springer, July 2015. Web page | PDF | BibTeX )
K. Rafes, J. Nauroy and C. GermainCertifying the interoperability of RDF database systemsIn LDQ'15, CEUR Workshop Proceedings 1376. RWTH Aachen, Germany, June 2015. PDF | BibTeX )
S. SchmitzImplicational Relevance Logic is 2-ExpTime-CompleteJournal of Symbolic Logic, 2015. To appear. Web page | PDF | BibTeX )

All the Dahu publications