Specification and verification of data base semantic integrity | lit.salon