REACH : Automated Database Design Integrating First-Order Theories , Reconstructive Expertise , and Implementation Heuristics for Accounting Information Systems
A comparative analysis of methodologies for database schema integration