Cover Image

A logic-based framework for database repairs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fröhlich, Nicolas, Meier, Arne, Pardal, Nina, Virtema, Jonni
Format:	Preprint
Published:	2023
Subjects:	Databases Logic in Computer Science 68P15, 68T27
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rewriting Consistent Answers on Annotated Data
by: Kolaitis, Phokion G., et al.
Published: (2024)

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

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

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

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

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
by: Cifuentes, Santiago, et al.
Published: (2024)

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

The KG-ER Conceptual Schema Language
by: Franconi, Enrico, et al.
Published: (2025)

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

Adaptive Cost Model for Query Optimization
by: Vasilenko, Nikita, et al.
Published: (2024)

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

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

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

Partial Partial Aggregates
by: Brisson, Claude
Published: (2026)

Zero-Cost NDV Estimation from Columnar File Metadata
by: Brisson, Claude
Published: (2026)

Residual-Entropy Accounting for Routed Atom-Budgeted Learned Indexes
by: Alpay, Faruk, et al.
Published: (2026)

A Formalization of Abstract Rewriting in Agda
by: Arkle, Sam, et al.
Published: (2026)

Competitive Data-Structure Dynamization
by: Mathieu, Claire, et al.
Published: (2020)

On the relative asymptotic expressivity of inference frameworks
by: Koponen, Vera, et al.
Published: (2022)

Don't Forget Imagination!
by: Vityaev, Evgenii E., et al.
Published: (2025)

Heterogeneity in Entity Matching: A Survey and Experimental Analysis
by: Moslemi, Mohammad Hossein, et al.
Published: (2025)

Disjunctions of Two Dependence Atoms
by: Fröhlich, Nicolas, et al.
Published: (2025)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

Choiceless Polynomial Space
by: Ferrarotti, Flavio, et al.
Published: (2024)

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

M3: Conversational LLMs Simplify Secure Clinical Data Access, Understanding, and Analysis
by: Attrach, Rafi Al, et al.
Published: (2025)

A tensor network formalism for neuro-symbolic AI
by: Goessmann, Alex, et al.
Published: (2026)

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

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

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

Cogent argument extensions are weakly admissible but not vice versa
by: Bodanza, Gustavo
Published: (2025)

Synchronous Team Semantics for Temporal Logics
by: Krebs, Andreas, et al.
Published: (2024)

Unifying lower bounds for algebraic machines, semantically
by: Seiller, Thomas, et al.
Published: (2018)

Approximate Keys and Functional Dependencies in Incomplete Databases With Limited Domains-Algorithmic Perspective
by: Al-atar, Munqath, et al.
Published: (2024)

Approximate Integrity Constraints in Incomplete Databases With Limited Domains
by: Al-atar, Munqath, et al.
Published: (2024)

Modeling Concurrency Control as a Learnable Function
by: Pan, Hexiang, et al.
Published: (2025)

Modular Fault-Tolerant DBMS
by: Fot, Nikolay, et al.
Published: (2025)

Polynomial definability in constraint languages with few subpowers
by: Bulín, Jakub, et al.
Published: (2023)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
by: Echenim, Mnacho, et al.
Published: (2023)

On Halting vs Converging in Recurrent Graph Neural Networks
by: Bollen, Jeroen, et al.
Published: (2026)