Buchumschlag

Chase Termination Beyond Polynomial Time

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hanisch, Philipp, Krötzsch, Markus
Format:	Preprint
Veröffentlicht:	2024
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

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

About the Multi-Head Linear Restricted Chase Termination
von: Gerlach, Lukas, et al.
Veröffentlicht: (2025)

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

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

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
von: Alrabbaa, Christian, et al.
Veröffentlicht: (2025)

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
von: Mahmood, Yasir, et al.
Veröffentlicht: (2024)

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

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

Towards Mass Spectrum Analysis with ASP
von: Küchenmeister, Nils, et al.
Veröffentlicht: (2025)

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

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)

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

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

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

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

Provenance Analysis and Semiring Semantics for First-Order Logic
von: Grädel, Erich, et al.
Veröffentlicht: (2024)

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

Properties for Paths in Graph Databases
von: Orejas, Fernando, 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)

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

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

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

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

Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
von: Hannula, Miika, 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)

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)

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

Robustness against Read Committed for Transaction Templates with Functional Constraints
von: Vandevoort, Brecht, et al.
Veröffentlicht: (2022)

A Simple Algorithm for Consistent Query Answering under Primary Keys
von: Figueira, Diego, et al.
Veröffentlicht: (2023)

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

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

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

Termination of Triangular Polynomial Loops
von: Hark, Marcel, et al.
Veröffentlicht: (2019)

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

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Positive Almost-Sure Termination of Polynomial Random Walks
von: Winkler, Lorenz, et al.
Veröffentlicht: (2025)