Cover Image

Rewriting Consistent Answers on Annotated Data

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kolaitis, Phokion G., Pardal, Nina, Virtema, Jonni, Wijsen, Jef
Format:	Preprint
Published:	2024
Subjects:	Databases Logic in Computer Science 68P15, 03B70 H.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A logic-based framework for database repairs
by: Fröhlich, Nicolas, et al.
Published: (2023)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
by: Pardal, Nina, et al.
Published: (2024)

Locally Consistent K-relations: Entailment and Axioms of Functional Dependence
by: Barlag, Timon, et al.
Published: (2025)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Sufficient Explanations in Databases and their Connections to Database Repairs
by: Bertossi, Leopoldo, et al.
Published: (2025)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
by: Wright, Craig S.
Published: (2025)

Fitting Ontologies and Constraints to Relational Structures
by: Hosemann, Simon, et al.
Published: (2025)

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
by: Figueira, Santiago, et al.
Published: (2023)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
by: Jaber, Guilhem, et al.
Published: (2025)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

On piecewise hyperdefinable groups
by: Fanlo, Arturo Rodriguez
Published: (2020)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

Semijoins of Annotated Relations
by: Kolaitis, Phokion G.
Published: (2026)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
by: Bodirsky, Manuel, et al.
Published: (2023)

Characterizing Data Dependencies Then and Now
by: Kolaitis, Phokion G., et al.
Published: (2024)

Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2021)

Multiset semantics in SPARQL, Relational Algebra and Datalog
by: Angles, Renzo, et al.
Published: (2026)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
by: Häggblom, Matilda
Published: (2025)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
by: van der Meyden, Ron
Published: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

The Complexity of Resilience for Digraph Queries
by: Bodirsky, Manuel, et al.
Published: (2026)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
by: Wang, Zili, et al.
Published: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
by: Kosaian, Katherine, et al.
Published: (2024)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
by: Ramos, Arthur, et al.
Published: (2025)

Formalizing Pfaffian in bounded arithmetic
by: Kuroda, Satoru
Published: (2024)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

Matching logic -- a new axiomatization
by: Leuştean, Laurenţiu, et al.
Published: (2025)

Notes on applicative matching logic
by: Leuştean, Laurenţiu
Published: (2025)

Preservation theorems on sparse classes revisited
by: Dawar, Anuj, et al.
Published: (2024)

On the generic information capacity of relational schemas with a single binary relation
by: Groz, Benoît, et al.
Published: (2026)

The Significance of Symbolic Logic for Scientific Education
by: Platzer, André
Published: (2024)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
by: Hannula, Miika, et al.
Published: (2026)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
by: Alpay, Faruk, et al.
Published: (2025)