A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

The Absolute Consistency Problem for Relational Schema Mappings with Functional Dependencies O problema da consistência absoluta para mapeamentos de esquemas relacionais com dependências funcionais

Yasunori ISHIHARA, Takashi HAYATA, Toru FUJIWARA

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Este artigo discute um problema de análise estática, denominado problema de consistência absoluta, para mapeamentos de esquemas relacionais. Um determinado mapeamento de esquema é considerado absolutamente consistente se cada instância de origem tiver uma instância de destino correspondente. A consistência absoluta é uma propriedade importante porque garante que a troca de dados nunca falhe para qualquer instância de origem. Originalmente, para mapeamentos de esquemas XML, o problema de consistência absoluta foi definido e sua complexidade foi investigada por Amano et al. No entanto, até onde os autores sabem, não há resultados conhecidos para mapeamentos de esquemas relacionais. Neste artigo, nos concentramos em mapeamentos de esquemas relacionais de modo que tanto o esquema de origem quanto o de destino tenham dependências funcionais, sob a suposição de que as regras de mapeamento são definidas por dependências geradoras de tuplas livres de constantes. Neste cenário, mostramos que o problema de consistência absoluta está em coNP. Mostramos também que é solucionável em tempo polinomial se as dependências geradoras de tuplas estiverem cheias e o tamanho do lado esquerdo de cada dependência funcional for limitado por alguma constante. Finalmente, mostramos que o problema de consistência absoluta é difícil para coNP mesmo se o esquema de origem não tiver nenhuma dependência funcional e o esquema de destino tiver apenas uma; ou cada um dos esquemas de origem e de destino tem apenas uma dependência funcional, de modo que o tamanho do lado esquerdo da dependência funcional seja no máximo dois.

Publicação
IEICE TRANSACTIONS on Information Vol.E103-D No.11 pp.2278-2288
Data de publicação
2020/11/01
Publicitada
2020/08/06
ISSN online
1745-1361
DOI
10.1587/transinf.2020EDP7102
Tipo de Manuscrito
PAPER
Categoria
Engenharia de Dados, Sistemas de Informação Web

autores

Yasunori ISHIHARA
  Nanzan University
Takashi HAYATA
  Osaka University
Toru FUJIWARA
  Osaka University

Palavra-chave