Reasoning About XML Constraints Based on XML-to-Relational Mappings
Reasoning About XML Constraints Based on XML-to-Relational Mappings
复制标题
基于 XML 到关系映射的 XML 约束推理
DOI：
10.1007/s00224-018-9846-5
复制
发表时间：
2018
影响因子：
0.5
通讯作者：
Thomas Schwentick
中科院分区：
文献类型：
--
作者：
Matthias Niewerth;Thomas Schwentick
本文介绍了一个用于XML文档约束规范的简单框架，其中约束通过（1）从每个XML文档中提取关系的映射和（2）结果关系上的关系约束来指定。映射对于实际数据值必须是通用的，关系约束可以是任何类型的。除了给出一阶可定义映射的一般不可判定性结果和MSO可定义映射的一般可判定性结果外，本文还研究了由树模式查询和函数依赖指定的XML约束的蕴涵问题的复杂性。此外，它突出了其他规范语言的XML约束可以制定的框架。
The article introduces a simple framework for the specification of constraints for XML documents in which constraints are specified by (1) a mapping that extracts a relation from every XML document and (2) a relational constraint on the resulting relation. The mapping has to be generic with respect to the actual data values and the relational constraints can be of any kind. Besides giving a general undecidability result for first-order definable mappings and a general decidability result for MSO definable mappings for restricted functional dependencies, the article studies the complexity of the implication problem for XML constraints that are specified by tree pattern queries and functional dependencies. Furthermore, it highlights how other specification languages for XML constraints can be formulated in the framework.