INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model