一个用于异构的数据库集成的多context逻辑

A MULTICONTEXT LOGIC USED FOR INTEGRATING HETEROGENEOUS DATABASES

Internet的发展要求能同时使用来自不同知识源的信息．本文定义了一个两层的多con－text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论，对应于一个数据库；第2层的context是个特殊的多类逻辑理论，可以声明第1层中各context间的各种联系，DBCL为异构的数据库的集成提供了一个形式化描述．本文还为DBCL定义了一类可靠且完备的语义解释．

To use information from different sources together is a desirable property forthe users, especially in these internet days. A two-level multicontext architecture DBCL isdefined in this paper which can be used to integrate heterogeneous databases- Each contextin its first level is a classical many-sorted theory, which corresponds to a database. Thecontext in the second level is a generalized many-sorted theory, where metatheories aboutthe various relations among databases can be stated. A kind of semantics, with respect towhich DBCL is sound as well as complete, is also provided in this paper.