Database theory and cylindric lattices

Abstract

The relational model for databases [Co I, Co2] provides a valuable formal foundation for understanding the issues of database design. A relational database consists of a set of tables (relations), where each table contains a set of records (tuples). For example, we might have a database with two relations Rand S, where R has two columns labeled EMP (employee) and SAL (salary), and S has two columns labeled PRJ (project) and MGR (manager).