Distributed XML Design
A distributed XML document is an XML document that spans several machines. The authors 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 they call typing, while preserving desirable properties.