Specifications of Database Systems