29 citations · 73 across the 14 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 1 cited
Provenance Analysis and Semiring Semantics for First-Order Logic
Erich Grädel, Val Tannen
A provenance analysis for a query evaluation or a model checking computation extracts information on how its result depends on the atomic facts of the model or database. Traditiona…
cs.DB2024★ 1 cited
Evaluating Datalog over Semirings: A Grounding-based Approach
Hangdong Zhao, Shaleen Deep, Paraschos Koutris +2
Datalog is a powerful yet elegant language that allows expressing recursive computation. Although Datalog evaluation has been extensively studied in the literature, so far, only lo…