Relational database theory - Atzeni, Paolo (The Benjamin/Cummings Publishing Company, Inc, 1993)