Title: Specification and prototypical execution of integrity concepts for domain-specific data base management systems
Subjects: Database management, Computer programs, Database design