×
Mikołaj博扬奇克;Kołodziejczyk，Leszek A。;菲利普·莫拉克

XML数据交换解决方案。 （英语） Zbl 1408.68045号

J.计算。系统。科学。 79，第6期，785-815（2013）.
摘要：XML数据交换的任务是根据一定的映射规则，在目标模式下重构符合源模式的文档。这些规则通常使用各种模式表示为源到目标的依赖关系，包括水平和垂直导航以及数据比较。目标模式对解决方案的结构施加了复杂的条件，可能与映射规则不一致。因此，对于某些源文档，可能没有解决方案。我们研究了三个问题：决定源模式的所有文档是否可以映射到目标模式的文档（绝对一致性），决定是否可以映射源模式的给定文档（解决方案存在），以及为给定源文档构造解决方案（解决方案构建）。我们表明，绝对一致性的复杂性通常很高，但在有界深度模式的多项式层次内。解决方案存在和解决方案构建的组合复杂性表现类似，但数据复杂性非常低。除此之外，我们还表明，即使对于更具表达性的映射规则，基于MSO可定义查询，绝对一致性也是可判定的，并且解存在的数据复杂性是多项式。

引用于1文件

MSC公司：

第68页，共15页 数据库理论

关键词：

XML数据交换;常规查询;模式;绝对一致性;解决方案构建;解的存在性

软件：

XPath（XPath）
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}等人，《计算杂志》。系统。科学。79，第6号，785--815（2013；Zbl 1408.68045）
全文： DOI程序

参考文献：

[2] Amer-Yahia，S。；Cho，S。；Lakshmanan，L。；Srivastava，D.，树模式查询最小化，VLDB J.，11，315-331（2002）·Zbl 1047.68040号
[3] 阿雷纳斯，M。；Libkin，L.，XML数据交换：一致性和查询应答，J.ACM，55，2，1-72（2008）·Zbl 1326.68116号
[4] Benedikt，M。；风扇，W。；Geerts，F.，DTD存在下的XPath可满足性，J.ACM，55，2（2008）·兹比尔1326.68154
[5] Barceló，P.，关系数据交换的逻辑基础，SIGMOD记录，38，1，49-58（2009）
[12] 费金，R。；Kolaitis，P.G。；米勒，R.J。；Popa，L.，《数据交换：语义和查询应答》，Theoret。计算。科学。，336, 89-124 (2005) ·Zbl 1080.68019号
[13] 费金，R。；Kolaitis，P.G。；波帕，L。；Tan，W.C.，《组合模式映射：救援的二阶依赖性》，ACM TODS，30，4，994-1055（2005）
[14] Gottlob，G。；科赫，C。；Schulz，K.，树上的连接查询，J.ACM，53，2，238-272（2006）·Zbl 1326.68110号
[17] 米勒，R。；赫尔南德斯，M。；哈斯，L。；Yan，L。；Ho，C。；费金，R。；Popa，L.，Clio项目：管理异质性，SIGMOD记录，3078-83（2001）
[18] Murata，M。；Lee，D。；马尼，M。；Kawaguchi，K.，《使用形式语言理论的XML模式语言分类》，ACM Trans。国际技术。，5, 4, 1-45 (2005)
[19] Neven，F.，XML研究人员的自动机理论，SIGMOD记录，31，3，39-46（2002）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。