Skip to Main content Skip to Navigation
Conference papers

Vers une formalisation en Coq de la provenance de données

Résumé : Dans de multiples domaines scientifiques, de nombreuses données sont générées quotidiennement et doivent être analysées. Dans ces processus d’analyse, les données initiales sont combinées à d’autres jeux de données massifs. Pour garantir une interprétation correcte des résultats de ces analyses de données, il est crucial de pouvoir retracer la provenance des données produites à partir des données initiales. La communauté des bases de données a proposé un cadre formel unifiant de «semi-anneaux de provenance». L'objectif de cet article est de certifier a posteriori la correction d’une provenance. Pour ce faire, nous proposons une formalisation en Coq fondée sur le modèle de semi-anneaux de provenance pour des analyses de données exprimées en algèbre relationnelle. Nous introduisons ici notamment une preuve d'adéquation de cette provenance avec l'interprétation usuelle de l'algèbre relationnelle. Il s'agit d'une première étape vers la formalisation de langages centrés données avec des garanties fortes de provenance
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03080066
Contributor : Evelyne Contejean Connect in order to contact the contributor
Submitted on : Thursday, December 17, 2020 - 3:19:59 PM
Last modification on : Wednesday, November 3, 2021 - 6:17:25 AM
Long-term archiving on: : Thursday, March 18, 2021 - 8:06:05 PM

File

paper 2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03080066, version 1

Citation

Véronique Benzaken, Sarah Cohen-Boulakia, Évelyne Contejean, Chantal Keller, Rébecca Zucchini. Vers une formalisation en Coq de la provenance de données. 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87. ⟨hal-03080066⟩

Share

Metrics

Record views

32

Files downloads

28