Hierarchical Design oi' Stock Management Program using Relational Algebra and Its Correctness Proof