Buchumschlag

Completeness of Relational Algebra via Cylindric Algebra

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Laštovička, Jan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Databases Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
von: Nakamura, Yoshiki
Veröffentlicht: (2025)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Cardinality and Representation of Stone Relation Algebras
von: Furusawa, Hitoshi, et al.
Veröffentlicht: (2023)

On Tools for Completeness of Kleene Algebra with Hypotheses
von: Pous, Damien, et al.
Veröffentlicht: (2022)

Completeness of Finitely Weighted Kleene Algebra With Tests
von: Sedlár, Igor
Veröffentlicht: (2024)

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

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

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

Topological Dualities for Modal Algebras
von: Collinson, Matthew
Veröffentlicht: (2026)

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

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)

A General Completeness Theorem for Skip-free Star Algebras
von: Kappé, Tobias, et al.
Veröffentlicht: (2025)

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

Paraconsistent Relations as a Variant of Kleene Algebras
von: Cunha, Juliana, et al.
Veröffentlicht: (2025)

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

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
von: Mio, Matteo, et al.
Veröffentlicht: (2023)

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

Continuous Algebras with Hypotheses
von: Mulder, Lukas, et al.
Veröffentlicht: (2026)

The Algebra of Iterative Constructions
von: Batz, Kevin, et al.
Veröffentlicht: (2026)

The Algebra of Parity Games
von: Piedeleu, Robin
Veröffentlicht: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2024)

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

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

Linear Realisability and Implicative Algebras
von: Lucquin, Alexandre, et al.
Veröffentlicht: (2026)

Induction rules for Transition Algebra
von: Hashimoto, Go
Veröffentlicht: (2026)

Forcing, Transition Algebras, and Calculi
von: Go, Hashimoto, et al.
Veröffentlicht: (2024)

Effect Algebras as Omega-categories
von: Perticone, Lorenzo, et al.
Veröffentlicht: (2023)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
von: van Collem, Simcha, et al.
Veröffentlicht: (2025)

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

Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
von: Hannula, Miika, et al.
Veröffentlicht: (2026)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
von: Hanisch, Philipp, 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)

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)

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

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

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