Database Design and Relational Theory