Ziel ist die Überprüfung der Daten im Hinblick auf Inhalt und Korrektheit. Die erfassten Daten sollten

• vollständig und
• konsistent sein.

Das Mittel hierfür ist, den für eine Anwendung relevanten Teil der realen Welt durch formale Methoden zu beschreiben (Miniwelt) und dem DBMS bekannt zu machen. Man erreicht damit:

• Festlegung eines Diskursbereichs: Gegenstände, Eigenschaften, Operationen