结构异构性的本质问题和解决方案2.docxVIP

5映射语言BRIITY我们的工作是为了避免以前的不足，并允许灵活的规范的双向映射。BRIITY的主要特征是它映射冲突解决的功能，它的描述性，其技术变革的兼容，并支持类似于检索语句的用户自定义的更新。在本节中，我们通过参照例1的映射规范主要讲述我们的语言的一般结构。例1中定义了图3中所示的例子中的映射。5.1映射规范的总体结构一个映射规范在开始时的基本原则大致决定了以后的映射规则，也就是说，源文件（S）和目标架构的名字，以及特定类型的S和T映射关系。这样的规范的基础是ENTITY_MAPPING部分，涉及目标实体及其属性的另一端源代码构造一个方面。最后一节讲述到的映射规范（在例1中略）提供的声明完整性约束，如检查依赖关系（参见第3节）。在ENTITY_MAPPING部分详细讨论前，我们会给出一个简要的整体成分的映射规范。总体声明和数据类型的映射在MAPPED_SCHEMAS部分（第2-4行），一个目标和一个或多个源模式通过DB，DBS，和主机ID的名称来确定。如果目标数据是临时的而不是永久地存储在DB中的，目标模式的名称也可以是文件名。在一些编程语言中定义的一些数据类型和函数，与映射过程本身相关，因为这个原因，不能归结到S或T（以避免在这些模式引进依赖或违反其自主）可以通过INCLUDE部分引入。例如，字符串操作函数可以被定义在一个称为libstring.a的库，从而通过第6行的语句