Embeddability into relational lattices is undecidable

DOI10.1007/978-3-319-57418-9_16MaRDI QIDQ5283216zbMATH OpenOpenAlexFDO

Authors Luigi Santocanale

Publication date 21 July 2017

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-57418-9_16

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Database theory (68P15) Undecidability and degrees of sets of sentences (03D35) Applications of universal algebra in computer science (08A70)

Recommendations

• Embeddability into relational lattices is undecidable
• The equational theory of the natural join and inner union is decidable
• Relational Lattices
• Relational lattices: from databases to universal algebra
• Relational lattices via duality

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 758787 (Why is no real title available?)
• scientific article; zbMATH DE number 799006 (Why is no real title available?)
• A relational model of data for large shared data banks
• An approach to lattice varieties of finite height
• Completeness in generalized ultrametric spaces
• Embeddability and the Word Problem
• Metric spaces, generalized logic, and closed categories
• On modal logics betweenK × K × KandS5 × S5 × S5
• Relational lattices via duality
• Relational lattices: from databases to universal algebra
• Representability is not decidable for finite relation algebras
• Subdirectly irreducible modal algebras and initial frames
• The equational theory of CA₃ is undecidable

Cited in

(4)

• Relational lattices: from databases to universal algebra
• Embeddability into relational lattices is undecidable
• The equational theory of the natural join and inner union is decidable
• Relational lattices via duality

This page was built for publication: Embeddability into relational lattices is undecidable

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