Titlebook: Database Programming Languages; 10th International S Gavin Bierman,Christoph Koch Conference proceedings 2005 Springer-Verlag Berlin Heidel

diathermy

Exploiting Schemas in Data Synchronization,n by the schema of the structures being synchronized. We formalize Harmony’s synchronization algorithm, state a simple and intuitive specification, and illustrate how it can be used to synchronize trees representing a variety of specific forms of application data, including sets, records, and tuples.

杂色

On the Expressive Power of XQuery Fragments, information in for loops, and recursion. In this way we obtain 64 different XQuery fragments which can be divided into 17 different equivalence classes such that two fragments can express the same functions iff they are in the same equivalence class. Moreover, we investigate the relationships between these equivalence classes.

Biomarker

Femine

POLYP

‘Collaborate’ or ‘Fragmentate’! annotation system on top of the host language’s types and propagate the annotations using ideas borrowed from affine type systems. We provide a type soundness proof with respect to an operational semantics of a Java core language.

臭名昭著

https://doi.org/10.1057/978-1-137-53805-5ies (and in particular, bulk operations) without prior decompression. For certain tasks like validation against an XML type or checking equality of documents, the representation allows for provably more efficient algorithms than those running on conventional representations.

Entirety

Satisfiability of XPath Queries with Sibling Axes,ME and PSPACE in the absence of sibling axes, but that become NP-hard and EXPTIME-hard, respectively, when sibling axes are used instead of the corresponding vertical modalities (e.g., the wildcard and the descendant axis).

不透气

vertebrate

A Type Safe DOM API, annotation system on top of the host language’s types and propagate the annotations using ideas borrowed from affine type systems. We provide a type soundness proof with respect to an operational semantics of a Java core language.

空洞