Formal Specification Approach in Designing Database System Using Z