Relational Lattices

  • Tadeusz Litak
  • Szabolcs Mikulás
  • Jan Hidders
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8428)


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.


relational lattices relational algebra database theory algebraic logic lattice theory cylindric algebras Formal Concept Analysis standard context incidence relation arrow relations 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AHV95]
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)Google Scholar
  2. [Cod70]
    Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13, 377–387 (1970)CrossRefMATHGoogle Scholar
  3. [Cra74]
    Craig, W.: Logic in Algebraic Form. Three Languages and Theories. Studies in Logic and the Foundations of Mathematics, p. 72. North Holland (1974)Google Scholar
  4. [DM01]
    Düntsch, I., Mikulás, S.: Cylindric structures and dependencies in relational databases. Theor. Comput. Sci. 269, 451–468 (2001)CrossRefMATHGoogle Scholar
  5. [GW96]
    Ganter, B., Wille, R.: Applied Lattice Theory: Formal Concept Analysis. In: Grätzer, G. (ed.) General Lattice Theory, 2nd edn., Birkhäuser (1996)Google Scholar
  6. [Gur66]
    Gurevich, Y.: The word problem for certain classes of semigroups. Algebra and Logic 5, 25–35 (1966)Google Scholar
  7. [GL84]
    Gurevich, Y., Lewis, H.R.: The Word Problem for Cancellation Semigroups with Zero. The Journal of Symbolic Logic 49, 184–191 (1984)CrossRefMATHMathSciNetGoogle Scholar
  8. [Har58]
    Harrop, R.: On the existence of finite models and decision procedures for propositional calculi. Mathematical Proceedings of the Cambridge Philosophical Society 54, 1–13 (1958)CrossRefMATHMathSciNetGoogle Scholar
  9. [HH02]
    Hirsch, R., Hodkinson, I.: Relation Algebras by Games. Studies in Logic and the Foundations of Mathematics, vol. 147. Elsevier (2002)Google Scholar
  10. [IL84]
    Imieliński, T., Lipski, W.: The Relational Model of Data and Cylindric Algebras. J. Comput. Syst. Sci. 28, 80–102 (1984)CrossRefMATHGoogle Scholar
  11. [Jac99]
    Jacobs, B.: Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics, vol. 141. North Holland, Amsterdam (1999)Google Scholar
  12. [JR92]
    Jipsen, P., Rose, H.: Varieties of Lattices. Lecture Notes in Mathematics, vol. 1533. Springer (1992)Google Scholar
  13. [JR98]
    Jipsen, P., Rose, H.: Varieties of Lattices. In: Grätzer, G. (ed.) General Lattice Theory, pp. 555–574. Birkhäuser (1998); Appendix F to the second editionGoogle Scholar
  14. [Mad80]
    Maddux, R.: The Equational Theory of CA 3 is Undecidable. The Journal of Symbolic Logic 45, 311–316 (1980)CrossRefMATHMathSciNetGoogle Scholar
  15. [Mae74]
    Maeda, S.: Locally Modular Lattices and Locally Distributive Lattices. Proceedings of the American Mathematical Society 44, 237–243 (1974)CrossRefMATHMathSciNetGoogle Scholar
  16. [McK72]
    McKenzie, R.: Equational bases and non-modular lattice varieties. Trans. Amer. Math. Soc. 174, 1–43 (1972)CrossRefMathSciNetGoogle Scholar
  17. [PMV07]
    Padmanabhan, R., McCune, W., Veroff, R.: Lattice Laws Forcing Distributivity Under Unique Complementation. Houston Journal of Mathematics 33, 391–401 (2007)MATHMathSciNetGoogle Scholar
  18. [Pos47]
    Post, E.L.: Recursive Unsolvability of a Problem of Thue. The Journal of Symbolic Logic 12, 1–11 (1947)CrossRefMATHMathSciNetGoogle Scholar
  19. [ST06]
    Spight, M., Tropashko, V.: First Steps in Relational Lattice (2006),
  20. [Sta72]
    Stanley, R.P.: Supersolvable lattices. Algebra Universalis 2, 197–217 (1972)CrossRefMATHMathSciNetGoogle Scholar
  21. [Ste99]
    Stern, M.: Semimodular Lattices. Encyclopedia of Mathematics and its Applications, vol. 73. Cambridge University Press (1999)Google Scholar
  22. [Tro]
    Tropashko, V.: The website of QBQL: Prototype of relational lattice system,
  23. [Tro05]
    Tropashko, V.: Relational Algebra as non-Distributive Lattice (2005),
  24. [VdBVGV07]
    Van den Bussche, J., Van Gucht, D., Vansummeren, S.: A crash course on database queries. In: PODS 2007: Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 143–154. ACM, New York (2007)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Tadeusz Litak
    • 1
  • Szabolcs Mikulás
    • 2
  • Jan Hidders
    • 3
  1. 1.Informatik 8Friedrich-Alexander-Universität Erlangen-NürnbergErlangenGermany
  2. 2.School of Computer Science and Information SystemsBirkbeck, University of LondonLondonUK
  3. 3.Elektrotechn., Wisk. and InformDelft University of TechnologyDelftThe Netherlands

Personalised recommendations