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*.