Title: Specifications of Database Systems