11、异构信息源注册与主题旋律提取技术解析

异构信息源注册与主题旋律提取技术解析

1. 异构信息源注册

在异构信息源注册方面，采用了一种基于组合开发方法的技术。该方法将源定义视为需求规范，而联合模式的类定义则作为组件规范。这种方法旨在应对动态且可能不完整的信息源集合。

1.1 源视图构建

对于每个相关的联合类，我们构建一个公式来表达局部类实例应满足的约束条件。以下是具体的构建过程：
- 基于绘画类的局部类画布公式 ：
- 公式定义为： canvas(p/CR Painting Canvas) ⊆ painting(p/R Painting Canvas) & p.in collection.in repository =′ Uffizi′
- 包含该公式的类规范如下：

{v_canvas_painting;
in: class;
class_section: {
key: invariant, {unique; {title}};
lav: invariant, {subseteq (v_canvas_painting(p),
painting(p/R_Painting_Canvas) &
p.in_collection.in_repository = ’Uffizi’)}
};
instance_section: CR_Painting_Canvas
}

• 基于创作者类的局部类画布公式 ：
  • 公式定义为： canvas(c/CR Creato