On Modelling First Order Predicate Calculus using the Elementary Mathematical Data Model in MatBase DBMS

C. Mancaş, S. Dragomir, and L. Crasovschi (Romania)


database design and architecture, DBMS


The paper presents the conceptual and relational schemes of the MatBase DBMS repository part dedicated to object and domain constraints. The conceptual one, expressed in the Elementary Mathematical Data Model (EMDM), is a model of the object-oriented first-order predicate calculus with identity that is used by EMDM for object and expli cit domain constraint enforcement.

Important Links:

Go Back