Database Specifications and Development