Relational lattices: from databases to universal algebra

DOI10.1016/J.JLAMP.2015.11.008MaRDI QIDQ299191zbMATH OpenOpenAlexWikidataFDO

Authors 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

algebraic logicdatabase theorylattice theoryrelational algebrarelational lattices

Mathematics Subject Classification ID

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

Recommendations

• Relational Lattices
• Relational lattices via duality
• The equational theory of the natural join and inner union is decidable
• Embeddability into relational lattices is undecidable
• Embeddability into relational lattices is undecidable

Cites work

• A relational model of data for large shared data banks
• Algebraization of quantifier logics, an introductory overview
• Categorical logic and type theory
• Cylindric structures and dependencies in relational databases
• Database queries and constraints via lifting problems
• Equational Bases and Nonmodular Lattice Varieties
• Equivalences among Relational Expressions
• Equivalences Among Relational Expressions with the Union and Difference Operators
• Fibrations and universal view updatability
• Fixed-point theory in the varieties \(\mathcal{D}_{n}\)
• General lattice theory. New appendices with B. A. Davey, R. Freese, B. Ganter, M. Greferath, P. Jipsen, H. A. Priestley, H. Rose, E. T. Schmidt, S. E. Schmidt, F. Wehrung, R. Wille.
• scientific article; zbMATH DE number 3131078 (Why is no real title available?)
• scientific article; zbMATH DE number 1313604 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 5170267 (Why is no real title available?)
• scientific article; zbMATH DE number 3285229 (Why is no real title available?)
• Lenses, fibrations and universal translations
• Logic in algebraic form. Three languages and theories
• Polymorphic type inference for the relational algebra
• Recursive unsolvability of a problem of Thue
• Relation algebras by games
• Relational databases and Bell's theorem
• Relational Lattices
• Relational lattices via duality
• Supersolvable lattices
• The decision problem for database dependencies
• The equational theory of CA₃ is undecidable
• The relational model of data and cylindric algebras
• The word problem for cancellation semigroups with zero
• Toward a calculus of concepts
• Varieties of lattices

Cited in

(12)

• A new formalism for relational algebra
• Embeddability into relational lattices is undecidable
• The equational theory of the natural join and inner union is decidable
• scientific article; zbMATH DE number 3883649 (Why is no real title available?)
• LATTICES OF STRUCTURE MODELS AND DATABASE SCHEMES
• scientific article; zbMATH DE number 1264546 (Why is no real title available?)
• Relations as abstract datatypes: An institution to specify relations between algebras
• Embeddability into relational lattices is undecidable
• Relational Lattices
• Relational lattices via duality
• Orbital concept lattices
• The 11th IJCAR automated theorem proving system competition – CASC-J11

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q299191)