Automatische Durchsetzung von Existenz- und Nicht-Existenz-Beschränkungen in MatBase

MatBase, ein intelligentes Daten- und Wissensverwaltungssystem-Prototyp, bietet Benutzern ein grafisches Benutzerinterface, um Existenz- und Nicht-Existenz-Beschränkungen zu deklarieren, und generiert automatisch Code zu deren Durchsetzung.