Distributed XML design
Distributed XML design
复制标题
分布式XML设计
DOI：
10.1145/1559795.1559833
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Abiteboul S
中科院分区：
文献类型：
--
作者：
Abiteboul S
分布式XML文档是指跨越多台机器或Web存储库的XML文档。我们假设给出了文档树的分布设计，提供了一棵XML树，它的一些叶子是“对接点”，XML子树可以附加到这些节点上。这些子树可以由远程位置的对等节点提供和控制，或者可以对应于函数调用的结果，例如Web服务。如果为分布式文档指定了全局类型τ，例如DTD，那么最理想的情况是能够将该类型分解为局部类型的集合，称为局部类型，这样文档满足τ当且仅当每个对等体（或函数）满足其局部类型。在本文中，我们列出了局部类型理论的基本原理，并提供了局部性的三个主要变体的正式定义：局部类型，最大局部类型和完美类型，后者是最理想的。我们研究了以下相关的决策问题：(i)给定一个设计类型，确定它是局部的、最大局部的还是完美的；（ii）给定设计，确定是否存在（最大）局部类型或完美类型。对于其中一些问题，我们提供了严格的复杂度界限（多项式空间），而对于其他问题，我们给出了指数上界。一个主要的贡献是一个多项式空间算法，用于计算在这种情况下的完美类型（如果存在的话）。
Adistributed XML documentis an XML document that spans several machines or Web repositories. We assume that a distribution design of the document tree is given, providing an XML tree some of whose leaves are "docking points", to which XML subtrees can be attached. These subtrees may be provided and controlled by peers at remote locations, or may correspond to the result of function calls, e.g., Web services. If a global type τ, e.g. a DTD, is specified for a distributed documentT, it would be most desirable to be able to break this type into a collection of local types, called a local typing, such that the document satisfies τ if and only if each peer (or function) satisfies its local type. In this paper we lay out the fundamentals of a theory of local typing and provide formal definitions of three main variants of locality: local typing, maximal local typing, and perfect typing, the latter being the most desirable. We study the following relevant decision problems: (i) given a typing for a design, determine whether it is local, maximal local, or perfect; (ii) given a design, establish whether a (maximal) local, or perfect typing does exist. For some of these problems we provide tight complexity bounds (polynomial space), while for the others we show exponential upper bounds. A main contribution is a polynomial-space algorithm for computing a perfect typing in this context, if it exists.
登录
查看更多内容
半结构化数据的类型检查
DOI：
--
发表时间：
2001
期刊：
International Workshop/Symposium on Database Programming Languages
影响因子：
--
作者：
Dan Suciu
通讯作者：
Dan Suciu
XML 存储库的模式设计：复杂性和易处理性
DOI：
--
发表时间：
2010
期刊：
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
影响因子：
--
作者：
W. Martens;Matthias Niewerth;T. Schwentick
通讯作者：
T. Schwentick
说明常规语言的复杂性
DOI：
--
发表时间：
2001
期刊：
J. Autom. Lang. Comb.
影响因子：
--
作者：
Sheng Yu
通讯作者：
Sheng Yu
WebDAV：它是什么、它有什么作用、为什么需要它
DOI：
--
发表时间：
2003
期刊：
Conference on User Services
影响因子：
--
作者：
Luis O. Hernández;Mahmoud Pegah
通讯作者：
Mahmoud Pegah
分布式XML数据管理框架
DOI：
--
发表时间：
2006
期刊：
International Conference on Extending Database Technology
影响因子：
--
作者：
S. Abiteboul;I. Manolescu;E. Taropa
通讯作者：
E. Taropa