Detalhes bibliográficos
| Ano de defesa: |
1992 |
| Autor(a) principal: |
Biajiz, Mauro |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
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*. |
