10、查询答案的解释与质量分析

查询答案的解释与质量分析

1. 基本概念与计算

在数据查询中，我们会遇到各种情况，首先来看一些基础的概念和计算过程。
- 元组状态的计算 ：
- 初始设定 $\Sigma^ = {(e)(s), (e)(s’)(d), (e’)(s’)}$。
- 考虑 $\sigma = (e)(s)$ 和 $\sigma’ = (e)(s’)(d)$，生成 $m$ - 元组 $\sigma_1 = (e)(ss’)$ 和 $\sigma’_1 = (e)(ss’)(d)$。因为 $\sigma_1 \subseteq \sigma’_1$，所以 $\Sigma^ = {(e)(ss’)(d), (e’)(s’)}$。
- 当再次执行循环操作不改变 $\Sigma^ $ 时，算法返回 $\Sigma^ = {(e)(ss’)(d), (e’)(s’)}$。
- 由此可得，$True(T)$ 包含 $esd$、$es’d$、$e’s’$ 及其所有子元组，$False(T) = {e’sd, e’s, e’d}$，$Inc(T) = {esd, es’d, es, es’, sd, s’d, s, s’}$，$Cons(T) = {ed, e’s’, e, e’, d}$。
- 元组状态分类 ：根据定义，一个元组 $t$ 可以是真或假，真元组又可分为一致或不一致，而假元组既不是一致也不是不一致。元组 $t$ 属于 $True(T)$ 或 $False(T)$，以及属于 $Cons(T)$ 或 $Inc(T)$ 的情况，被称为 $t$ 的状态。元组的状态有三种：真