小丑
发表于 2025-3-30 10:03:39
http://reply.papertrans.cn/27/2634/263370/263370_51.png
NUDGE
发表于 2025-3-30 12:30:45
http://reply.papertrans.cn/27/2634/263370/263370_52.png
小步舞
发表于 2025-3-30 17:39:41
http://reply.papertrans.cn/27/2634/263370/263370_53.png
Clumsy
发表于 2025-3-30 21:57:15
https://doi.org/10.1007/978-1-349-07274-3ilation. We substantiate this claim by formalizing the compilation of XQuery extended with updates into a database algebra. We prove the correctness of the proposed compilation by mapping both the source language and the algebra to a common core language with list comprehensions and extensible tuples.
glans-penis
发表于 2025-3-31 02:46:22
and the Short Stories of 1904–7erface of a traditional database. This paper aims to provide an overview of recent advances in XML publishing. We present a notion of publishing transducers recently developed for studying the expressive power and complexity of XML publishing languages. In terms of publishing transducers we then cha
自爱
发表于 2025-3-31 08:45:21
https://doi.org/10.1007/978-1-349-07274-3ination. In this paper we develop efficient algorithms for the tree homeomorphism problem, i.e., the problem of matching a tree pattern with exclusively transitive (descendant) edges. We first prove that deciding whether there is a tree homeomorphism is LOGSPACE-complete, improving on the current LO
magnate
发表于 2025-3-31 11:49:18
https://doi.org/10.1007/978-1-349-07274-3 setting, and the results obtained here were used in a practical database problem. In the course of implementing a database system for querying Java software, we found that the universe of Java code can be effectively modeled as an infinite database. This modeling makes it possible to distinguish be
咒语
发表于 2025-3-31 13:50:02
http://reply.papertrans.cn/27/2634/263370/263370_58.png