分布式XML设计
Distributed XML Design
摘要：
分布式XML文档是跨多台计算机的XML文档。我们假设给出了文档树的分布设计，由XML内核文档T[f1，...，fn]，其中一些叶子是用于提供XML子树（f1，...，fn，站立，例如，用于远程位置处的Web服务或对等体）。自顶向下的设计问题在于，给定分布式文档的一个类型（一个模式文档，可能从DTD到树自动机），在本地将这个类型“传播”到一个类型集合中，我们称之为类型化，同时保留所需的属性。我们还考虑自底向上的设计，其中包括，给定一个类型的每个外部资源，展示一个全局类型，由本地类型强制执行，再次与自然的理想属性。在本文中，我们将介绍分布式XML设计理论的基本原理，分析在这种情况下与类型问题有关的问题，并研究它们的复杂性。
英文摘要：
A distributed XML document is an XML document that spans several machines. We assume that a distribution design of the document tree is given, consisting of an XML kernel-document T[f1,...,fn] where some leaves are "docking points" for external resources providing XML subtrees (f1,...,fn, standing, e.g., for Web services or peers at remote locations). The top-down design problem consists in, given a type (a schema document that may vary from a DTD to a tree automaton) for the distributed document, "propagating" locally this type into a collection of types, that we call typing, while preserving desirable properties. We also consider the bottom-up design which consists in, given a type for each external resource, exhibiting a global type that is enforced by the local types, again with natural desirable properties. In the article, we lay out the fundamentals of a theory of distributed XML design, analyze problems concerning typing issues in this setting, and study their complexity.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
