The relational model of data and cylindric algebras - Imielinski, Tomasz; Lipski, Witold (1981)