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

A MULTICONTEXT LOGIC USED FOR INTEGRATING HETEROGENEOUS DATABASES

作　　者：刘海燕[1] 陈火旺[1] 刘凤岐[1] 

机构地区：[1]长沙国防科技大学计算机系,长沙410073

出　　处：《软件学报》1997年第9期687-693,共7页Journal of Software

基　　金：国家863高科技项目

摘　　要：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.

关 键 词：数据库 集成 多类逻辑 多context逻辑 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]