Database Modeling and Design: Logical Design (The Morgan Kaufmann Series in Data Management Systems)