Cylindric structures and dependencies in relational databases

Title:	Cylindric structures and dependencies in relational databases
Authors:	Ivo Düntsch , Dept of Computer Science , Brock University , St Catherines, Ontario, L2S 3A1, Canada Szabolcs Mikulás, Department of Computer Science, King's College, London
Status:	Submitted for publication.
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. We will consider project-join dependencies and the corresponding class of cylindric semilattices. We will also look at "Database theory and cylindric lattices", IEEE 28th Symposion on the Foundations of Computer Science, 411-420 (1987) by S. Cosmodakis, who introduces cylindric dependencies, and makes several claims regarding the structural properties of these dependencies. However, recent algebraic investigations provide counterexamples to the main theorems.