这里有必要提到现在支持在声明的全局临时表中包含xml列，因为这可以帮助程序员提高应用程序的运行时性能。
New support for including XML columns in declared global temporary tables deserves brief mention, because it can help programmers to improve the runtime performance of their applications.
要通过程序进行栈的追踪，程序员可能不得不使用ABI定义为尚未得到支持的体系结构去实现他们自己的版本。
To get stack traces programmatically, programmers might have to implement their own versions using the ABI definitions for the yet-to-be-supported architectures.
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
应用推荐