A Coq formalization of data provenance

Benzaken, Véronique; Cohen-Boulakia, Sarah; Contejean, Evelyne; Keller, Chantal; Zucchini, Rébecca

doi:10.1145/3437992.3439920

Cited by 1 publication

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Numerous techniques have been conducted on processing and analyzing annotated data and enriched operations over the provenance of combined data. Benzaken et al proposed the first provenance-aware extended relational algebra formalized in a proof assistant (Coq) for a non-trivial subset of database queries [15]. Issa et al introduced a novel framework for encoding inconsistency into relational tuples and tackling query answering for the union of conjunctive queries with respect to a set of denial constraints [16].…”

Section: Related Workmentioning

confidence: 99%

Annolog: A Query Processing Framework for Modelling and Reasoning with Annotated Data

Zou¹,

Zou²,

Wang³

2023

Journal of Computers

View full text Add to dashboard Cite

<p>Data annotation is the categorization and labelling of data for applications, such as machine learning, artificial intelligence, and data integration. The categorization and labelling are done to achieve a specific use case in relation to solving problems. Existing data annotation systems and modules face imperfections such as knowledge and annotation not being formally integrated, narrow application range, and difficulty to apply on existing database management applications. To analyze and process annotated data, obtain the relationship between different annotations, and capture metainformation in data provenance and probabilistic databases, in this paper, we design a back-end query processing framework as a supplementary interface for the database management system to extend operation to datasets and boost efficiency. The framework utilizes Java language and the MVC model for development to achieve lightweight, cross-platform, and high adaptability identities. The contribution of this paper is mainly reflected in two aspects. The first contribution is to implement query processing, provenance semiring, and semiring homomorphism over annotated data. The second contribution is to combine query processing and provenance with SQL statements in order to enable the database manager to invoke operations to annotation.</p> <p> </p>

show abstract

Section: Related Workmentioning

confidence: 99%