Sites Inria

Version française

DAHU Research team

Verification in databases

  • Leader : Luc Segoufin
  • Research center(s) : CRI Saclay - Île-de-France
  • Field : Perception, Cognition and Interaction
  • Theme : Data and Knowledge Representation and Processing
  • Partner(s) : CNRS,Ecole normale supérieure de Cachan
  • Collaborator(s) : ENS CACHAN, CNRS

Team presentation

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.

This is the objectives of Dahu. We aim at providing solid foundations for data aware specification and data aware verification in an Internet environment. We believe our work could impact on the new generation of systems manipulating data over the Internet, making them safer and more reliable.

To achieve this, we bring together people with expertise on both sides of the problem: database and verification.

Keywords: Verification Databases