research
∙
03/30/2022
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
Incremental view maintenance has been for a long time a central problem ...
share
research
∙
02/26/2020
PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models
The ubiquitous use of machine learning algorithms brings new challenges ...
research
∙
10/17/2019
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
Semiring provenance is a successful approach to provide detailed informa...
research
∙
07/19/2019
Provenance Analysis for Logic and Games
A model checking computation checks whether a given logical sentence is ...
research
∙
12/06/2017