MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL
Autor(a) principal: | |
---|---|
Data de Publicação: | 1992 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | http://www.teses.usp.br/teses/disponiveis/55/55134/tde-02102018-104055/ |
Resumo: | 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*. |
id |
USP_c240d52217438231df75a63c78501454 |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-02102018-104055 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMALUpdating the Object Representation Model through a Formal Approach: The MRO*Não disponívelNot availableO 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*.Biblioteca Digitais de Teses e Dissertações da USPTraina Junior, CaetanoBiajiz, Mauro1992-07-23info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-02102018-104055/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2018-11-01T16:25:01Zoai:teses.usp.br:tde-02102018-104055Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212018-11-01T16:25:01Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL Updating the Object Representation Model through a Formal Approach: The MRO* |
title |
MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL |
spellingShingle |
MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL Biajiz, Mauro Não disponível Not available |
title_short |
MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL |
title_full |
MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL |
title_fullStr |
MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL |
title_full_unstemmed |
MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL |
title_sort |
MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL |
author |
Biajiz, Mauro |
author_facet |
Biajiz, Mauro |
author_role |
author |
dc.contributor.none.fl_str_mv |
Traina Junior, Caetano |
dc.contributor.author.fl_str_mv |
Biajiz, Mauro |
dc.subject.por.fl_str_mv |
Não disponível Not available |
topic |
Não disponível Not available |
description |
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*. |
publishDate |
1992 |
dc.date.none.fl_str_mv |
1992-07-23 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-02102018-104055/ |
url |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-02102018-104055/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1809090319283650560 |