Abstract
The success of the relational data model introduced by Codd [Cod,70] can — at least partly — be attributed to its clarity and succinctness. The semantics of the model are constraints among and within the base relations which, as it turned out, could be formulated in various fragments of first order logic. Therefore, a natural approach seems to be the general framework of cylindric structures. The two main examples of these are concrete algebras of n-ary relations on the one hand, and algebras of first order sentences on the other. It is interesting to note that throughout most of the research on the theory of relational databases, this dichotomy can be observed, albeit in a different terminology. Codd’s relational algebra and domain- or tuple calculus are well known examples for this phenomenon, and, keeping in mind the connection between cylindric algebras and first order logic, it comes as no surprise that the resulting query languages are of the same expressive power. The extended relations of [Yan-Pap,82] are, loosely speaking, nothing else than an embedding of some finite cylindric algebra into an infinite algebra of formulae, and a transformation from finite dimensional relations to formulae (and infinite dimensional cylindric algebras) is implicitly present in [Cos,87].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 János Bolyai Mathematical Society and Springer-Verlag
About this chapter
Cite this chapter
Düntsch, I. (2013). Cylindric Algebras and Relational Databases. In: Andréka, H., Ferenczi, M., Németi, I. (eds) Cylindric-like Algebras and Algebraic Logic. Bolyai Society Mathematical Studies, vol 22. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35025-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-35025-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35024-5
Online ISBN: 978-3-642-35025-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)