Title: Untersuchungen zur Überprüfung von statischen Integritätsbedingungen in einem erweiterten Entity-Relationship-Datenmodell