Buchumschlag

Dichotomy for Axiomatising Inclusion Dependencies on K-Databases

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hannula, Miika, Ismikhanov, Teymur, Virtema, Jonni
Format:	Preprint
Veröffentlicht:	2026
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

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

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

Locally Consistent K-relations: Entailment and Axioms of Functional Dependence
von: Barlag, Timon, et al.
Veröffentlicht: (2025)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
von: Kontinen, Juha, et al.
Veröffentlicht: (2024)

Rewriting Consistent Answers on Annotated Data
von: Kolaitis, Phokion G., et al.
Veröffentlicht: (2024)

Unifying approach to uniform expressivity of graph neural networks
von: Luo, Huan, et al.
Veröffentlicht: (2026)

Synchronous Team Semantics for Temporal Logics
von: Krebs, Andreas, et al.
Veröffentlicht: (2024)

Temporal Team Semantics Revisited
von: Gutsfeld, Jens Oliver, et al.
Veröffentlicht: (2021)

Properties for Paths in Graph Databases
von: Orejas, Fernando, et al.
Veröffentlicht: (2025)

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

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

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
von: Mahmood, Yasir, 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)

Disjunctions of Two Dependence Atoms
von: Fröhlich, Nicolas, et al.
Veröffentlicht: (2025)

Characterizing Data Dependencies Then and Now
von: Kolaitis, Phokion G., et al.
Veröffentlicht: (2024)

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

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

Aspects of Coherence in Dependence Logic
von: Barlag, Timon, et al.
Veröffentlicht: (2026)

Halting Recurrent GNNs and the Graded $μ$-Calculus
von: Bollen, Jeroen, et al.
Veröffentlicht: (2025)

Database Dependencies and Formal Concept Analysis
von: Baixeries, Jaume
Veröffentlicht: (2024)

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

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

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2023)

VerIso: Verifiable Isolation Guarantees for Database Transactions
von: Ghasemirad, Shabnam, et al.
Veröffentlicht: (2025)

Sufficient Explanations in Databases and their Connections to Database Repairs
von: Bertossi, Leopoldo, et al.
Veröffentlicht: (2025)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
von: Różowski, Wojciech
Veröffentlicht: (2024)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
von: Bergstra, Jan A, et al.
Veröffentlicht: (2023)

Homomorphism Problems in Graph Databases and Automatic Structures
von: Morvan, Rémi
Veröffentlicht: (2025)

Fixpoint Semantics for DatalogMTL with Negation
von: Pollaci, Samuele
Veröffentlicht: (2026)

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

Common Foundations for Recursive Shape Languages
von: Ahmetaj, Shqiponja, et al.
Veröffentlicht: (2026)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
von: Gerlach, Lukas
Veröffentlicht: (2026)

Restricted Chase Termination: You Want More than Fairness
von: Carral, David, et al.
Veröffentlicht: (2025)

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

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

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

Using Color Refinement to Boost Enumeration and Counting for Acyclic CQs of Binary Schemas
von: Riveros, Cristian, et al.
Veröffentlicht: (2024)

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

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

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