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

Associated and Temporary Members

Ph.D. Students


About LSV

About Dahu

A joint team with

Logo INRIA Saclay

Recent Publications

All the Dahu publications

A. DoumaneÉtudes des automates en ludique.  Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, September 2014. BibTeX )
N. Grosshans, P. McKenzie and L. SegoufinThe power of programs over monoids in DAIn MFCS'17, Leibniz International Proceedings in Informatics 83, pages 2:1-2:20. Leibniz-Zentrum für Informatik, August 2017. Web page | PDF | BibTeX )
L. Segoufin and A. VignyConstant Delay Enumeration for FO Queries over Databases with Local Bounded ExpansionIn ICDT'17, Leibniz International Proceedings in Informatics 68, pages 20:1-20:16. Leibniz-Zentrum für Informatik, March 2017. Web page | PDF | BibTeX )
Th. Colcombet, M. Jurdziński, R. Lazić and S. SchmitzPerfect Half Space GamesIn LICS'17, pages 1-11. IEEE Press, June 2017. Web page | 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, December 2016. BibTeX )

All the Dahu publications