Canopy
发表于 2025-3-25 06:48:33
Database Programming Languages978-3-642-03793-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
manifestation
发表于 2025-3-25 10:56:10
http://reply.papertrans.cn/27/2634/263372/263372_22.png
Infelicity
发表于 2025-3-25 14:20:14
Adaptive and Affective Roles of the Emotionsion translates to a single SQL query, where the suitability is determined by a type-and-effect check. Thus, unlike in Hollywood where a script-writer can never be sure a movie sequel will be popular, we show how to be sure that your SQL—written in your own language—will succeed (in being translated).
brother
发表于 2025-3-25 17:19:04
Semantics, Types and Effects for XML Updates,will become standard. XQuery has been equip- ped with a formal semantics and sound type system, but there has been little work on static analysis or typechecking of XML updates, and the typing rules in the current W3C proposal appear unsound for “transform” queries that perform embedded updates. In
缺乏
发表于 2025-3-25 23:38:51
An Automata-Theoretic Approach to Regular XPath,onal properties as XPath: linear-time query evaluation and exponential-time reasoning. To establish these results, we devise a unifying automata-theoretic framework based on two-way weak alternating tree automata. Specifically, we consider automata that have infinite runs on finite trees. This enabl
MOAT
发表于 2025-3-26 03:26:13
http://reply.papertrans.cn/27/2634/263372/263372_26.png
神经
发表于 2025-3-26 05:58:10
XML Security Views Revisited,ries, the class of DTDs, and the type of annotations used to define the view. First, we show that the full class of Regular XPath queries is .. Next, we address the problem of constructing a DTD that describes the view schema, which in general needs not be regular. We propose three different methods
folliculitis
发表于 2025-3-26 09:26:52
http://reply.papertrans.cn/27/2634/263372/263372_28.png
daredevil
发表于 2025-3-26 15:38:36
http://reply.papertrans.cn/27/2634/263372/263372_29.png
Deadpan
发表于 2025-3-26 17:28:10
http://reply.papertrans.cn/27/2634/263372/263372_30.png