La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

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 Le problème de cohérence absolue pour les mappages de schémas relationnels avec dépendances fonctionnelles

Yasunori ISHIHARA, Takashi HAYATA, Toru FUJIWARA

  • Vues en texte intégral

    0

  • Citer

Résumé:

Cet article traite d'un problème d'analyse statique, appelé problème de cohérence absolue, pour les mappages de schémas relationnels. Un mappage de schéma donné est dit absolument cohérent si chaque instance source a une instance cible correspondante. La cohérence absolue est une propriété importante car elle garantit que l'échange de données n'échoue jamais pour aucune instance source. À l'origine, pour les mappages de schémas XML, le problème de cohérence absolue a été défini et sa complexité a été étudiée par Amano et al. Cependant, à la connaissance des auteurs, il n’existe aucun résultat connu concernant les mappages de schémas relationnels. Dans cet article, nous nous concentrons sur les mappages de schémas relationnels tels que les schémas source et cible ont des dépendances fonctionnelles, en supposant que les règles de mappage sont définies par des dépendances génératrices de tuples libres et constantes. Dans ce cadre, nous montrons que le problème de cohérence absolue est dans coNP. Nous montrons également qu'il est résoluble en temps polynomial si les dépendances génératrices de tuples sont pleines et que la taille du côté gauche de chaque dépendance fonctionnelle est limitée par une constante. Enfin, nous montrons que le problème de cohérence absolue est coNP-difficile même si le schéma source n’a aucune dépendance fonctionnelle et que le schéma cible n’en a qu’une ; ou chacun des schémas source et cible n'a qu'une seule dépendance fonctionnelle de telle sorte que la taille du côté gauche de la dépendance fonctionnelle soit d'au plus deux.

Publication
IEICE TRANSACTIONS on Information Vol.E103-D No.11 pp.2278-2288
Date de publication
2020/11/01
Publicisé
2020/08/06
ISSN en ligne
1745-1361
DOI
10.1587/transinf.2020EDP7102
Type de manuscrit
PAPER
Catégories
Ingénierie des données, systèmes d'information Web

Auteurs

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

Mots-clés

Table des matières