Bibliothèque certifiée en Coq pour la provenance des données - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2023

A Coq certified library for data provenance

Bibliothèque certifiée en Coq pour la provenance des données

Rébecca Zucchini
  • Fonction : Auteur
  • PersonId : 1271154
  • IdRef : 270995897

Résumé

This thesis is about the formalization of data provenance using the Coq proof assistant, at the intersection of formal methods and database communities. It explores the importance of data provenance, which tracks the origin and history of data, in addressing issues such as poor data quality, incorrect interpretations, and lack of transparency in data processing. The thesis proposes formalizations of two commonly used types of data provenance, How-provenance and Where-provenance. Formalizing both types of provenance allowed us to compare their semantics, highlighting their differences and complementarities. Additionally, the formalization of these two types of provenance led to the proposal of an algebraic structure that provides a unifying semantics.
La présente thèse se situe à l'intersection des méthodes formelles et des bases de données, et s'intéresse à la formalisation de la provenance des données à l'aide de l'assistant de preuve Coq. L'étude de la provenance des données, qui permet de retracer leur origine et leur historique, est essentielle pour assurer la qualité des données, éviter les interprétations erronées et favoriser la transparence dans le traitement des données. La thèse propose ainsi la formalisation de deux types de provenance des données couramment utilisés, la How-provenance et la Where-provenance. Cette formalisation a permis de comparer leur sémantique, mettant en évidence leurs différences et leurs complémentarités. En outre, elle a conduit à la proposition d'une structure algébrique et d'une sémantique unificatrice pour ces deux types de provenance.
Fichier principal
Vignette du fichier
112665_ZUCCHINI_2023_archivage.pdf (1.19 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-04165484 , version 1 (19-07-2023)

Identifiants

  • HAL Id : tel-04165484 , version 1

Citer

Rébecca Zucchini. Bibliothèque certifiée en Coq pour la provenance des données. Logique en informatique [cs.LO]. Université Paris-Saclay, 2023. Français. ⟨NNT : 2023UPASG040⟩. ⟨tel-04165484⟩
88 Consultations
44 Téléchargements

Partager

Gmail Facebook X LinkedIn More