Cylindric structures and dependencies in relational databases

Duntsch, I. and Mikulas, Szabolcs (2001) Cylindric structures and dependencies in relational databases. Theoretical Computer Science 269 (1/2), pp. 451-468. ISSN 0304-3975.

Full text not available from this repository.

Official URL: https://doi.org/10.1016/S0304-3975(01)00016-0

Abstract

In this paper, we explore the precise connection between dependencies in relational databases and variants of cylindric algebras, and apply recent algebraic results to problems of axiomatizing dependencies. First, we will consider project-join dependencies and the corresponding class of (representable) cylindric semilattices. Since representable cylindric semilattices have a non-finitely axiomatizable quasi-equational theory, there is no finite axiomatization for -dimensional unrestricted project-join dependencies. Then we will look at Cosmadakis (in: A.K. Chandra (Ed.), Proc. 28th Annual Symp. on Foundations of Computer Science, IEEE Computer Society Press, Los Angeles, CA, 1987, pp. 411–420) who introduces cylindric dependencies, and makes several claims regarding the structural properties of these dependencies. Using the above-mentioned precise connection, we show that recent algebraic investigations of cylindric lattices provide counterexamples to Cosmadaki's claim that cylindric dependencies are finitely (schema) axiomatizable.

Metadata

Item Type:	Article
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	13 Jul 2021 14:54
Last Modified:	09 Aug 2023 12:51
URI:	https://eprints.bbk.ac.uk/id/eprint/45079

Statistics

Archive Staff Only (login required)

Edit/View Item