14、AMaχoS：Xcerpt抽象机的架构与原理

AMaχoS：Xcerpt抽象机的架构与原理

1. 引言

近年来，学术界和行业界都十分关注Web查询语言（如XQuery、XSLT或SPARQL）的高效评估。Xcerpt是一种新型的Web查询语言，旨在克服传统Web格式（如XML）与语义Web数据格式（如RDF和主题地图）之间的隔阂，避免在开发将传统Web应用与基于RDF、主题地图等新兴格式的语义和推理相结合的应用时，使用不同语言所带来的阻抗不匹配问题。

然而，目前Xcerpt缺乏可扩展、高效且易于部署的实现。本文提出了一种基于抽象（或虚拟）机的实现方案，该抽象机执行由Xcerpt高级查询程序生成的低级代码。选择抽象机实现查询语言乍一看可能令人费解，因为过去很少考虑使用能分离执行和编译的抽象机来实现查询语言，部分原因是抽象/虚拟化层可能带来性能开销。

在传统数据库管理系统（DBMS）中，查询编译与执行紧密相连，基于成本的优化器会大量考虑数据实例的统计信息和实际访问路径。但在实现像Xcerpt这样的Web查询语言时，情况有所不同。查询的数据通常是分布式或易失性的，不受查询执行环境的集中控制，这使得传统的索引和预测优化技术难以应用，但也使得查询编译和执行可以分离，因为编译和执行时无法获取数据存储和实例的信息，这些信息只有在查询执行时才会出现。

这种情况与数据流处理有些类似，高效的数据流系统会将查询编译成某种自动机，用于持续评估传入的数据。AMaχoS可以看作是传统数据库和数据流系统的查询优化与执行技术，以及基于抽象或虚拟机的通用程序编译与执行技术的融合。它围绕以下核心原则设计：
1. “一次编译” ：AMaχoS将编译和执行分离，允许针对不同目的和场景进行不同级别的