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

ver descrição completa

Detalhes bibliográficos
Autor: TANARA LAUSCHNER
Tipo de documento: tese
Estado:Versão publicada
Data de publicação:2018
País:Brasil
Recursos:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
Repositório:Repositório Institucional da PUC-RIO (Projeto Maxwell)
Idioma:português
OAI Identifier:oai:MAXWELL.puc-rio.br:35105
Acesso em linha: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 aberto
Palavra-chave:[pt] ESQUEMA MEDIADO
[pt] RESTRICOES DE ESQUEMAS MEDIADOS
[pt] LOGICA DE DESCRICAO
[en] MEDIATED SCHEMA
[en] MEDIUM SCHEME RESTRICTIONS
[en] DESCRIPTION LOGICS
Descrição
Resumo:[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.