A systematic approach to relational database theory - Imielinski, Tomasz; Lipski, Witold (Instytut Podstaw Informatyki <Warszawa>: Prace IPI PAN, 1982)