Specification and prototypical execution of integrity concepts for domain specific database management systems. - Stefan Karl Scherrer (Kovač, 1995)