arrow
Return

Validating Data Provenance Polynomials

delete2026-01-01
delete1
PRE
AI
P
Paulo Pintor *
R
Rogério Luís de C. Costa
J
José Moreira
DOI:10.1007/978-3-032-05727-3_15delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
This paper presents a validator of provenance polynomials that is compatible with semiring and semimodule-based formalisms proposed in the literature. The validations include checking whether all entries are valid and whether there are missing entries in annotations in Selection-Projection-Join-Union-Aggregation (SPJUA) operations and complex queries with subqueries. This approach is independent of any specific Database Management System (DBMS) and was used to validate provenance annotations generated by two frameworks over TPC-H benchmark queries. To the best of our knowledge, this is the first solution specifically designed to validate provenance polynomials.
Keywords:
Data Provenance
Provenance Polynomials
Validation

Journal

N
NEW TRENDS IN DATABASE AND INFORMATION SYSTEMS, ADBIS 2025
IF:
0
Papers:
45
Citations:
0

Organization

P
Polytechnic Institute of Leiria
Scholars:
473
Papers: 281
Citations: 0
U
universidade de aveiro
Scholars:
1.3W
Papers: 1.4W
Citations: 24
Cited Papers

Cited Papers

Data Provenance
err2019-02-27
err0
errOAAI
errPeter Buneman; Wang-Chiew Tan
errShare
errSave
ProvSQL
err2018-08-01
err0
errOAAI
errPierre Senellart; Louis Jachiet; Silviu Maniu; Yann Ramusat
errShare
errSave
A survey on provenance: What for? What form? What from?
err2017-10-16
err0
PREAI
errMelanie Herschel; Ralf Diestelkämper; Houssem Ben Lahmar
errShare
errSave
no more