International audienceData provenance is extra information computed during query evaluation over databases, which provides additional context about query results. Several formal frameworks for data provenance have been proposed , in particular based on provenance semirings. The provenance of a query can be computed in these frameworks for a variety of query languages. Provenance has applications in various settings, such as prob-abilistic databases, view maintenance, or explanation of query results. Though the theory of provenance semirings has mostly been developed in the setting of relational databases, it can also apply to other data representations, such as XML, graph, and triple-store databases
This thesis is about the formalization of data provenance using the Coq proof assistant, at the inte...
International audienceWe establish a translation between a formalism for dynamic programming over hy...
International audienceThis extended abstract presents our work on provenance forthe description logi...
International audienceData provenance is extra information computed during query evaluation over dat...
With the proliferation of database views and curated databases, the issue of data provenance - where...
Provenance is metadata about the where, the why, and the how of data. It is evidence which can answ...
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging...
Provenance refers to information about the origin of a piece of data and the process that led to its...
Data provenance is any information about the origin of a piece of data and the process that led to ...
The provenance of data has recently been recognized as central to the trust one places in data. It i...
Within computer science, the term provenance has multiple meanings, due to different motivations, pe...
Provenance information has been proved to be very effective in capturing the computational process p...
Reportée de juillet 2020 à janvier 2021 en raison de la COVIDInternational audienceWe address the pr...
Provenance, i.e., the origin or source of something, is becoming an important concern, since it offe...
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag ...
This thesis is about the formalization of data provenance using the Coq proof assistant, at the inte...
International audienceWe establish a translation between a formalism for dynamic programming over hy...
International audienceThis extended abstract presents our work on provenance forthe description logi...
International audienceData provenance is extra information computed during query evaluation over dat...
With the proliferation of database views and curated databases, the issue of data provenance - where...
Provenance is metadata about the where, the why, and the how of data. It is evidence which can answ...
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging...
Provenance refers to information about the origin of a piece of data and the process that led to its...
Data provenance is any information about the origin of a piece of data and the process that led to ...
The provenance of data has recently been recognized as central to the trust one places in data. It i...
Within computer science, the term provenance has multiple meanings, due to different motivations, pe...
Provenance information has been proved to be very effective in capturing the computational process p...
Reportée de juillet 2020 à janvier 2021 en raison de la COVIDInternational audienceWe address the pr...
Provenance, i.e., the origin or source of something, is becoming an important concern, since it offe...
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag ...
This thesis is about the formalization of data provenance using the Coq proof assistant, at the inte...
International audienceWe establish a translation between a formalism for dynamic programming over hy...
International audienceThis extended abstract presents our work on provenance forthe description logi...