In this paper, we present two types of XML semantic constraints, namely the XML Template Functional Dependencies (XTFDs) and the XML Template Multivalued Dependencies (XTMVDs), which are both defined over the finite XML files that have no mixed contents. Essentially they specify that if a pattern of nodes appears in a finite XML file that has no mixed contents, then another pattern of nodes must also appear. To implement these semantic constraints, we demonstrate an algorithm that transforms an XTFD or an XTMVD to an XQuery program such that the program returns a non-empty set of counter examples from such an XML file If [Formula: see text] if and only if [Formula: see text] does not satisfy the constraint.

中文翻译：

---

XML 模板功能和多值依赖项验证

在本文中，我们提出了两种类型的 XML 语义约束，即 XML 模板功能依赖关系 (XTFD) 和 XML 模板多值依赖关系 (XTMVD)，它们都是在没有混合内容的有限 XML 文件上定义的。本质上，它们指定如果一个节点模式出现在一个没有混合内容的有限 XML 文件中，那么另一个节点模式也必须出现。为了实现这些语义约束，我们演示了一种算法，该算法将 XTFD 或 XTMVD 转换为 XQuery 程序，以便程序从这样的 XML 文件返回一组非空的反示例 If [Formula: see text] 当且仅当【公式：见正文】不满足约束。