| 摘要: |
| Internet的发展要求能同时使用来自不同知识源的信息．本文定义了一个两层的多con－text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论，对应于一个数据库；第2层的context是个特殊的多类逻辑理论，可以声明第1层中各context间的各种联系，DBCL为异构的数据库的集成提供了一个形式化描述．本文还为DBCL定义了一类可靠且完备的语义解释． |
| 关键词: 数据库 集成 context 多类逻辑 异构的 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目基金资助. |
|
| A MULTICONTEXT LOGIC USED FOR INTEGRATING HETEROGENEOUS DATABASES |
|
LIU Haiyan,CHEN Huowang,LIU Fengqi
|
| Abstract: |
| To use information from different sources together is a desirable property for the users．especially in these internet days．A two-level multicontext architecture DBCL iS defined in this paper which can be used to integrate heterogeneous databases．Each context in its first level iS a classical many-sorted theory，which corresponds to a database．The context in the second level is a generalized many-sorted theory，where metatheories about the various relations among databases can be stated．A kind of semantics，with respect to which DBCL is sound as well as complete，is also provided in this paper． |
| Key words: Database integration context many-sorted logic heterogeneous |
