Aug, 2011

基于遍历的链接数据查询执行基础(扩展版)

TL;DR本文研究了基于链接遍历的查询执行方法的理论基础,并且提出了一种具有明确定义语义的查询的定义,分析了其计算性质,发现一般情况下查询计算无法终止,同时基于抽象执行模型证明了以链接遍历为基础的查询执行的完备性和正确性。