61、视频数据库建模与工作流灵活性管理

视频数据库建模与工作流灵活性管理

1. 视频数据库的状态建模与查询

在视频数据库中，为了更好地管理和检索视频数据，采用了基于状态的建模方法。

1.1 视频片段的组合与谓词

假设有两个视频片段 (v_s’) 和 (v_s’‘)，它们分别有对应的保护谓词 (\overline{p}’(v_s’)) 和 (\overline{p}’‘(v_s’‘))。
- (\overline{p}’(v_s’) \equiv \forall k_1 \in [v_s’.start, v_s’‘.end] \varphi_1(k_1))
- (\overline{p}’‘(v_s’‘) \equiv \forall k_2 \in [v_s’‘.start, v_s’‘.end] \varphi_2(k_2))
其中 (\varphi_1) 和 (\varphi_2) 分别是涉及约束变量 (k_1) 和 (k_2) 的合式公式。当两个视频片段组合成 (v_s = v_s’ \star v_s’‘) 时，其保护谓词 (\overline{p}(v_s)) 为：
(\overline{p}(v_s) \equiv \forall k \in [v_s.start, v_s.end] (\varphi_1(k) \vee \varphi_2(k)))

另外，还定义了视频片段的并行组合。两个视频片段 (v_s’) 和 (v_s’‘) 的并行组合写作 (v_s = v_s’ \amalg v_s’‘)，其定义如下：
- (v_s) 是一个包含 (v_s’) 和 (v_s’‘) 作为组件视频的复合视频。
- (v_s’.durat