[pt] MODELAGEM DE RESTRIÇÕES DE ESQUEMAS MEDIADOS

[pt] Integração de dados refere-se ao problema de combinar dados que estão armazenados em diferentes fontes, fornecendo ao usuário uma visão unificada dos dados. As consultas são então expressas em um esquema global ou esquema mediado, que deve incluir restrições de integridade que contribuam para u...

Descripción completa

Detalles Bibliográficos
Autor: TANARA LAUSCHNER
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2018
País:Brasil
Institución:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
Repositorio:Repositório Institucional da PUC-RIO (Projeto Maxwell)
Idioma:portugués
OAI Identifier:oai:MAXWELL.puc-rio.br:35105
Acceso en línea:https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=35105&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=35105&idi=2
http://doi.org/10.17771/PUCRio.acad.35105
Access Level:acceso abierto
Palabra clave:[pt] ESQUEMA MEDIADO
[pt] RESTRICOES DE ESQUEMAS MEDIADOS
[pt] LOGICA DE DESCRICAO
[en] MEDIATED SCHEMA
[en] MEDIUM SCHEME RESTRICTIONS
[en] DESCRIPTION LOGICS
Descripción
Sumario:[pt] Integração de dados refere-se ao problema de combinar dados que estão armazenados em diferentes fontes, fornecendo ao usuário uma visão unificada dos dados. As consultas são então expressas em um esquema global ou esquema mediado, que deve incluir restrições de integridade que contribuam para um entendimento correto sobre o que a semântica das fontes de dados do ambiente de mediação tem em comum. Esta tese endereça o problema de modelar as restrições de um esquema mediado a partir das restrições dos esquemas importados e dos mapeamentos de esquemas. Argumenta-se que as restrições devem ser modeladas como o ínfimo das restrições dos esquemas exportados, depois de traduzidos para um vocabulário comum. Desta forma, assegura-se que os usuários do esquema mediado interpretarão os resultados das consultas corretamente. Para uma família expressiva de restrições, esta tese mostra como computar eficientemente o ínfimo de conjuntos de restrições.