Recognition Algorithms and Design Methodologies for Acyclic Database Schemes