BIROn - Birkbeck Institutional Research Online

    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.


    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.


    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


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item