Relational lattices: from databases to universal algebra

DOI10.1016/j.jlamp.2015.11.008zbMath1372.68081OpenAlexW2265945562WikidataQ114851588 ScholiaQ114851588MaRDI QIDQ299191

Tadeusz Litak, Szabolcs Mikulás, Jan Hidders

Publication date: 22 June 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.11.008

zbMATH Keywords

database theorylattice theoryalgebraic logicrelational algebrarelational lattices

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Logical aspects of lattices and related structures (03G10) Applications of universal algebra in computer science (08A70)

Related Items (5)

Embeddability into Relational Lattices Is Undecidable ⋮ Embeddability into relational lattices is undecidable ⋮ Orbital concept lattices ⋮ The 11th IJCAR automated theorem proving system competition – CASC-J11 ⋮ Relational Lattices via Duality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Polymorphic type inference for the relational algebra
• Relation algebras by games
• The relational model of data and cylindric algebras
• The decision problem for database dependencies
• Algebraization of quantifier logics, an introductory overview
• Logic in algebraic form. Three languages and theories
• Categorical logic and type theory
• Relational databases and Bell's theorem
• Fibrations and universal view updatability
• Supersolvable lattices
• Varieties of Lattices
• Lenses, fibrations and universal translations
• The word problem for cancellation semigroups with zero
• The equational theory of CA₃ is undecidable
• Equivalences Among Relational Expressions with the Union and Difference Operators
• Equivalences among Relational Expressions
• Recursive Unsolvability of a problem of Thue
• Relational Lattices
• Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$
• A relational model of data for large shared data banks
• Equational Bases and Nonmodular Lattice Varieties
• Relational Lattices via Duality
• Database queries and constraints via lifting problems
• Toward a calculus of concepts
• Cylindric structures and dependencies in relational databases

This page was built for publication: Relational lattices: from databases to universal algebra