Specification of data base semantic integrity | lit.salon