FERREIRA FILHO, A.; http://lattes.cnpq.br/0874299544365776; FERREIRA FILHO, Antenor.
Abstract:
We show in this work how one can prevent
operations that manipulate a Database (DB),
extension (the data) inconsistent with its intention (the schema
conceptual). We consider the conceptual schema described by the Temporal Hierarchical Model (THM) and the system proposed here and coupled the primitive operations that manipulate the DB, generating calls to special operations that test the validity of the operation and, if necessary, generate operations of side effects.