Specification and Prototypical Execution of Integrity Concepts for Domain-Specific Database Management Systems