Exakte Charakterisierung eines semantischen Datenmodells und seiner Operationen durch relationale Konzepte