A Hierarchical Design Methodology for Data Base Systems