26、Web Schema与Web Table相关知识解析

Web Schema与Web Table相关知识解析

1. Web Schema与Web Table的基本概念

• Web Schema一致性定义 ：设 t = ⟨N(t), L(t)⟩ 为一个Web元组， S = ⟨Xn, Xℓ, C, P⟩ 为一个Web模式。若满足以下任一条件，则称 t 符合 S ，记为 t ⊣S ：

  1. 若 Xℓ = ∅ ，对于每个绑定节点类型标识符 xb ∈ Xn ，必须存在一个文档 d ∈ N(t) ，使得 pd(xb) = true ；对于每个自由节点类型标识符 xf ∈ Xn ，在 t 中存在任意文档 d 。
  2. 若 S 为类型2的模式， t ⊣Cj （其中 0 < j ≤ n ），这里 C ≡ C1 ∨ C2 ∨ · · · ∨ Cn 且 Cj ≡ kj1 ∧ kj2 ∧ · · · ∧ kjv ， kjv 为简单连接性。
  3. 若 S 为类型3的模式，设 C ≡ C1