The Specification of a Relational Database (PRECI) as an Abstract Data Type and its Realisation in HOPE