《智能科学技术著作丛书：XQuery语言原理和实现技术》全面介绍了对国内外远程安全控制模型、设计及其实现技术，主要内容包含：远程控制协议的分类和模型，紧密相关的密码学技术，最新的典型的远程控制协议，基于符号模型和计算模型的自动化/手工方式分析与验证远程控制协议安全性。

前言<br /><br />第1章&nbsp;绪论<br /><br />1．&nbsp;1&nbsp;引言<br /><br />1．2&nbsp;XQuery语言的基础知识<br /><br />1．2．1&nbsp;XML<br /><br />1．2．2&nbsp;XPath语言<br /><br />1．2．3&nbsp;XQuery1．O语言<br /><br />1．3&nbsp;XQuery语言相关的功能扩展<br /><br />1．3．&nbsp;1&nbsp;XML数据更新功能<br /><br />1．3．&nbsp;2&nbsp;XQuery脚本语言<br /><br />1．3．&nbsp;3&nbsp;面向分布式计算的XQuery语言扩展<br /><br />1．3．4&nbsp;面向Web应用的XQuery语言扩展<br /><br />1．&nbsp;4&nbsp;XQuery语言的实现技术<br /><br />1．&nbsp;4．1&nbsp;XML查询代数<br /><br />1．4．2&nbsp;XML树模式查询<br /><br />1．4．&nbsp;3&nbsp;XQuery程序优化<br /><br />1．4．4&nbsp;XQuery语言的编译实现<br /><br />1．4．5&nbsp;XQuery语言的自动并行化<br /><br />参考文献<br /><br />第2章&nbsp;XQuery语言的语法和语义<br /><br />第3章&nbsp;中间语言与查询代数<br /><br />第4章&nbsp;XQuery程序优化技术<br /><br />第5章&nbsp;XML查询模式及其语言支持<br /><br />第6章&nbsp;XML树模式查询的实现方法<br /><br />第7章&nbsp;XQuery语言编译技术<br /><br />第8章&nbsp;XQuery程序的自动并行化<br /><br />第9章&nbsp;基于XQuery的网页开发语言<br /><br />参考文献