Buchumschlag

A Simple Algorithm for Consistent Query Answering under Primary Keys

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Figueira, Diego, Padmanabha, Anantha, Segoufin, Luc, Sirangelo, Cristina
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Databases Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join
von: Padmanabha, Anantha, et al.
Veröffentlicht: (2023)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
von: Figueira, Diego, et al.
Veröffentlicht: (2025)

Guarded Negation Transitive Closure Logic
von: Figueira, Diego, et al.
Veröffentlicht: (2025)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
von: Figueira, Diego, et al.
Veröffentlicht: (2022)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
von: Joshi, Varad, et al.
Veröffentlicht: (2025)

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions
von: Figueira, Diego, et al.
Veröffentlicht: (2024)

Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite
von: Löhnert, Bianca, et al.
Veröffentlicht: (2024)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

The Importance of Parameters in Database Queries
von: Gilad, Amir, et al.
Veröffentlicht: (2024)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
von: Gatterbauer, Wolfgang
Veröffentlicht: (2024)

Efficient Evaluation of Arbitrary Relational Calculus Queries
von: Raszyk, Martin, et al.
Veröffentlicht: (2022)

Rewriting with Acyclic Queries: Mind Your Head
von: Geck, Gaetano, et al.
Veröffentlicht: (2022)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2022)

Work-Efficient Query Evaluation in Constant Time with PRAMs
von: Keppeler, Jens, et al.
Veröffentlicht: (2023)

Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries
von: Kara, Ahmet, et al.
Veröffentlicht: (2019)

Database Research needs an Abstract Relational Query Language
von: Gatterbauer, Wolfgang, et al.
Veröffentlicht: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Learning Aggregate Queries Defined by First-Order Logic with Counting
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2024)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
von: Barkowsky, Matthias, et al.
Veröffentlicht: (2024)

Database Querying under Missing Values Governed by Missingness Mechanisms
von: Bertossi, Leopoldo, et al.
Veröffentlicht: (2026)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
von: Gatterbauer, Wolfgang
Veröffentlicht: (2024)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
von: Chen, Hubie, et al.
Veröffentlicht: (2024)

Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
von: Riveros, Cristian, et al.
Veröffentlicht: (2026)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
von: Maluszynski, Jan, et al.
Veröffentlicht: (2010)

The Weisfeiler-Leman Dimension of Conjunctive Queries
von: Göbel, Andreas, et al.
Veröffentlicht: (2023)

Query Languages for Machine-Learning Models
von: Grohe, Martin
Veröffentlicht: (2026)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)

Representing Knowledge and Querying Data using Double-Functorial Semantics
von: Lambert, Michael, et al.
Veröffentlicht: (2024)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2025)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2020)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
von: Bertossi, Leopoldo
Veröffentlicht: (2026)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
von: Seifer, Philipp, et al.
Veröffentlicht: (2024)

Direct Access for Answers to Conjunctive Queries with Aggregation
von: Eldar, Idan, et al.
Veröffentlicht: (2023)

On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages
von: Gatterbauer, Wolfgang, et al.
Veröffentlicht: (2024)

A Trichotomy for Regular Trail Queries
von: Martens, Wim, et al.
Veröffentlicht: (2019)

Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy
von: Berkholz, Christoph, et al.
Veröffentlicht: (2025)

Euler/X: A Toolkit for Logic-based Taxonomy Integration
von: Chen, Mingmin, et al.
Veröffentlicht: (2014)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
von: Hanisch, Philipp, et al.
Veröffentlicht: (2026)