The consistency and absolute consistency problems of XML schema mappings between restricted DTDs

被引:0
作者
Hayato Kuwada
Kenji Hashimoto
Yasunori Ishihara
Toru Fujiwara
机构
[1] Osaka University,
[2] Nagoya University,undefined
来源
World Wide Web | 2015年 / 18卷
关键词
XML; Schema mapping; Consistency; Absolute consistency;
D O I
暂无
中图分类号
学科分类号
摘要
Consistency of XML schema mappings, which means that some document conforming to the source schema can be mapped into a document conforming to the target schema, is an essentially necessary property. It is also important for XML schema mappings to be absolutely consistent, that is, every document conforming to the source schema can be mapped into a document conforming to the target schema. As a known result, consistency of a mapping between general DTDs is EXPTIME-complete even if the class of document patterns for defining mappings is restricted to downward axes and qualifiers. In addition, the known tractability result is only on a restricted class of document patterns under restricted DTDs called nested-relational DTDs. Moreover, there are few known results on the tractability of absolute consistency. In this paper, we discuss the consistency and absolute consistency problems under restricted DTDs called disjunction-capsuled DTDs, which were proposed by Ishihara et al, and their extended classes. We first show that for many document pattern classes, both problems are solvable in polynomial time under disjunction-capsuled DTDs. Then, we show that our results are extended to some superclasses of disjunction-capsuled DTDs, which are also proper superclasses of nested-relational DTDs.
引用
收藏
页码:1443 / 1461
页数:18
相关论文
共 2 条
[1]  
Bojańczyk M(2011)XPath evaluation in linear time J. ACM 58 17-undefined
[2]  
Parys P(undefined)undefined undefined undefined undefined-undefined