Tractable 发表于 2025-3-26 22:40:48

https://doi.org/10.1007/978-94-007-6001-1 an architecture for automatically generating application-level checks from application and database integrity constraint specifications. We focus on EJB-database interactions as a concrete context for our work, but our results are applicable to other programming language-database interactions.

aesthetician 发表于 2025-3-27 04:49:25

http://reply.papertrans.cn/27/2634/263373/263373_32.png

特别容易碎 发表于 2025-3-27 08:18:48

http://reply.papertrans.cn/27/2634/263373/263373_33.png

CRASS 发表于 2025-3-27 13:12:54

Containment of Relational Queries with Annotation Propagationharacterization suggests that annotation-containment is more complex than query containment, we show that the annotation-containment problem is NP-complete, thus putting it in the same complexity class as query containment. In addition, we show that the annotation placement problem, which was first

apropos 发表于 2025-3-27 16:37:07

http://reply.papertrans.cn/27/2634/263373/263373_35.png

无法取消 发表于 2025-3-27 20:00:49

http://reply.papertrans.cn/27/2634/263373/263373_36.png

legislate 发表于 2025-3-27 23:11:36

http://reply.papertrans.cn/27/2634/263373/263373_37.png

DIS 发表于 2025-3-28 02:12:33

Andrea Eugenio Cavanna,Andrea Nanit prominently one that can be evaluated in linear time (cf. ). Next we discuss the parallel complexity of XPath. While full XPath is P-complete w.r.t. combined complexity, various (minor) restrictions are known which reduce the complexity to highly parallelizable complexity classes . Finally

寒冷 发表于 2025-3-28 09:22:49

http://reply.papertrans.cn/27/2634/263373/263373_39.png

率直 发表于 2025-3-28 13:26:05

An Epistemology for Phenomenology? is based on the PVS theorem prover technology, and it combines static and dynamic checking to attain reasonable performance. The theorem prover technology is itself based on a sophisticated type system equipped with a form of semantic subtyping and parametric polymorphism. The higher-order features
页: 1 2 3 [4] 5 6 7
查看完整版本: Titlebook: Database Programming Languages; 9th International Wo Georg Lausen,Dan Suciu Conference proceedings 2004 Springer-Verlag Berlin Heidelberg 2