MRO - UMA ATUALIZAÇÃO DO MODELO DE REPRESENTAÇÃO DE OBJETOS E UMA ABORDAGEM FORMAL

Detalhes bibliográficos
Autor(a) principal: Biajiz, Mauro
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

Registros relacionados