Arnon Rosenthal David S. Reiner Theoretically Sound Transformations for Practical Database Design. 115-131 1987 ER db/conf/er/er87.html#RosenthalR87 conf/er/87 er87/ER87-P115.pdf db/conf/er/RosenthalR87.html