Relational Lattices

Litak T, Mikulás S, Hidders J (2014)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2014

Publisher: Springer

Pages Range: 327-343

Conference Proceedings Title: 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014; Marienstatt; Germany; 28 April 2014 through 1 May 2014

Event location: Marienstatt DE

DOI: 10.1007/978-3-319-06251-8_20

Abstract

Relational lattices are obtained by interpreting lattice connectives as natural join and inner union between database relations. Our study of their equational theory reveals that the variety generated by relational lattices has not been discussed in the existing literature. Furthermore, we show that addition of just the header constant to the lattice signature leads to undecidability of the quasiequational theory. Nevertheless, we also demonstrate that relational lattices are not as intangible as one may fear: for example, they do form a pseudoelementary class. We also apply the tools of Formal Concept Analysis and investigate the structure of relational lattices via their standard contexts. © 2014 Springer International Publishing.

Authors with CRIS profile

Tadeusz Litak Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

Vrije Universiteit Brussel (VUB) BE Belgium (BE)

How to cite

APA:

Litak, T., Mikulás, S., & Hidders, J. (2014). Relational Lattices. In 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014; Marienstatt; Germany; 28 April 2014 through 1 May 2014 (pp. 327-343). Marienstatt, DE: Springer.

MLA:

Litak, Tadeusz, Szabolcs Mikulás, and Jan Hidders. "Relational Lattices." Proceedings of the RAMiCS 2014, Marienstatt Springer, 2014. 327-343.

BibTeX: Download