diathermy
发表于 2025-3-28 16:07:29
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.
杂色
发表于 2025-3-28 19:24:47
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
发表于 2025-3-29 02:05:36
http://reply.papertrans.cn/27/2634/263371/263371_43.png
Femine
发表于 2025-3-29 06:44:07
http://reply.papertrans.cn/27/2634/263371/263371_44.png
POLYP
发表于 2025-3-29 07:51:41
‘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.
臭名昭著
发表于 2025-3-29 12:49:20
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
发表于 2025-3-29 17:48:59
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).
不透气
发表于 2025-3-29 22:00:05
http://reply.papertrans.cn/27/2634/263371/263371_48.png
vertebrate
发表于 2025-3-30 01:24:24
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.
空洞
发表于 2025-3-30 07:20:16
http://reply.papertrans.cn/27/2634/263371/263371_50.png