Provenance analysis and semiring semantics for first-order logic

DOI10.1007/978-3-031-86319-6_21MaRDI QIDQ7236648zbMATH OpenFDO

Authors Erich Grädel, Val Tannen

Publication date 29 April 2026

Full work available at URL https://doi.org/10.1007/978-3-031-86319-6_21

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Combinatorics (05-XX) Computer science (68-XX)

Cites work

• Algebraic Structures for Capturing the Provenance of SPARQL Queries
• Computing least and greatest fixed points in absorptive semirings
• Containment of conjunctive queries on annotated relations
• Data provenance. Origins, applications, algorithms, and models
• Ehrenfeucht-Fraïssé games in semiring semantics
• Elementary induction on abstract structures
• Equationally complete classes of commutative monoids with monus
• Finite model theory and its applications.
• Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
• On database query languages for K-relations
• Probabilities on finite models
• Provenance analysis for logic and games
• Provenance analysis: a perspective for description logics?
• Provenance propagation in complex queries
• Reconcilable differences
• Semiring provenance for fixed-point logic
• Semiring Provenance for Guarded Logics
• Zero-one laws and almost sure valuations of first-order logic in semiring semantics

This page was built for publication: Provenance analysis and semiring semantics for first-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7236648)