O MR0 (Modelo de Representação de Objetos) é um modelo de bases de dados orientado a objetos, o qual suporta modelagens de aplicações de engenharia. Este trabalho apresenta um formalismo matemático do MR0 cujas principais metas são: validar as definições do modelo; depurar inconsistências do modelo; fornecer uma base para comparação com outros modelos. Durante o processo de formalização, muitas inconsistências e ambigüidades foram encontradas no MRO. Um novo modelo, livre de todos os erros e incorporando alguns aspectos conceituais, é agora proposto e formalizado, e é chamado MR0*. / MRO (Modelo de Representação de Objetos) is a Object Oriented Database Model which supports engineering application modeling. This work presents a mathematical formalization of MRO the main goals of which are: - to validate the models\'s definitions; - to depurate inconsistencies of the model; - to supply basis for comparison with other models. During the formalization process, many inconsistencies and ambiguities were found in MRO. A new model, free of those errors and incorporating conceptual enhancements, is now proposed and formalized, and is named MRO*.
Identifer | oai:union.ndltd.org:usp.br/oai:teses.usp.br:tde-02102018-104055 |
Date | 23 July 1992 |
Creators | Biajiz, Mauro |
Contributors | Traina Junior, Caetano |
Publisher | Biblioteca Digitais de Teses e Dissertações da USP |
Source Sets | Universidade de São Paulo |
Language | Portuguese |
Detected Language | Portuguese |
Type | Dissertação de Mestrado |
Format | application/pdf |
Rights | Liberar o conteúdo para acesso público. |
Page generated in 0.0083 seconds