33、Web查询的安全性、可计算性、局部性及隐私保护

Web查询的安全性、可计算性、局部性及隐私保护

1. Web查询语言的局部性研究

在Web数据查询领域，查询的连续性、可计算性和局部性是重要的研究特性。当一个查询不连续时，根据定义，它不是最终可计算的，并且依据相关定理可知，这样的查询不具有局部性。

安全性和可计算性紧密相关，所有用安全一阶逻辑（或CALCCV -）表达的查询都是有限可计算且与域无关的。而局部性和连续性虽是独立概念，但存在一定关联，这两个概念有助于在查询计算过程中仅检查潜在无限输入的有限片段。

下面以XPath和XQuery等Web数据交换语言为例，探讨它们的局部性。XPath 1.0是一种无变量语言，用于指定XML文档中节点之间的路径。Core XPath是XPath 1.0语言的逻辑核心，它包含定义XML文档树中路径和选择节点所需的基本元素。需要注意的是，没有后代轴关系（即 //）的Core XPath具有局部属性。

XPath的核心表达式是位置路径：axis::node label[filter]。当在节点n处计算时，它会生成一个答案集，该答案集包含满足以下条件的节点n’：轴关系从n指向n’，n’的节点标签为node label，并且filter表达式在n’处求值为真。

然而，Core XPath不足以表达所有一阶可定义的路径。为此，引入了FOtree语言，它可以捕获一阶可定义路径的类别。FOtree语言的定义如下：
- 原子公式为x = y、Pi(x)、xR⇓y和xR⇒y，其中x、y为任意变量，Pi为任意一元谓词符号。
- 如果φ、ψ是公式，那么¬φ、φ ∧ ψ和∃xφ也是公式。
这里，R⇓和R⇒分别表示后代和后续兄弟关系。