DAHU : Bases de données et vérification

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.


Membres permanents

Sylvain Schmitz
Maître de conférences, ENS Cachan
Luc Segoufin
Directeur de recherche, INRIA Saclay-Île de France

Membres détachés, associés ou temporaires

Victor Vianu
Chercheur, chaire INRIA (professeur, UC San Diego)
Alexandre Vigny
Doctorant (co-encadrement à Paris 7)


Nathan Grosshans
Doctorant, Digiteo (en co-tutelle avec l'U. Montréal, Canada)
Anthony Lick
Doctorant, ANR Prodaq


À propos du LSV

À propos de Dahu

Une équipe commune avec

Logo INRIA Saclay

Présentation de DAHU (2013)

		       de Dahu à l

Publications récentes

Toutes les publications de l'axe Dahu

Th. Colcombet, M. Jurdziński, R. Lazić and S. SchmitzPerfect Half Space GamesIn LICS'17. IEEE Press, June 2017. To appear. BibTeX )
P. Beame, N. Grosshans, P. McKenzie and L. SegoufinNondeterminism and An Abstract Formulation of Neciporuk's Lower Bound MethodACM Transactions on Computation Theory 9(1), pages 5:1-5:34, 2016. BibTeX )
M. LehautPDL on infinite alphabet.  Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, August 2016. 19 pages. PDF | BibTeX )
P. Beame, N. Grosshans, P. McKenzie and L. SegoufinNondeterminism and an abstract formulation of Neciporuk's lower bound method.  Research Report 1608.01932, Computing Research Repository, August 2016. 34 pages. PDF | BibTeX )
D. Montoya, T. Pellissier Tanon, S. Abiteboul and F. SuchanekThymeflow, A Personal Knowledge Base with Spatio-temporal DataIn CIKM'16, pages 2477-2480. ACM, October 2016. Web page | PDF | BibTeX )

Toutes les publications de l'axe Dahu