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.

    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: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 13 Jul 2021 14:54
    Last Modified: 13 Jul 2021 14:54
    URI: https://eprints.bbk.ac.uk/id/eprint/45079

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    27Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item