REACH : Automated Database Design Integrating First-Order Theories , Reconstructive Expertise , and Implementation Heuristics for Accounting Information Systems
The entity-relationship model: toward a unified view of data