| 一个用于异构的数据库集成的多context逻辑 |
| |
| 引用本文： | 刘海燕,陈火旺,刘凤岐.一个用于异构的数据库集成的多context逻辑[J].软件学报,1997,8(9):687-693. |
| |
| 作者姓名： | 刘海燕 陈火旺 刘凤岐 |
| |
| 作者单位： | 长沙国防科技大学计算机系,长沙,410073;长沙国防科技大学计算机系,长沙,410073;长沙国防科技大学计算机系,长沙,410073 |
| |
| 基金项目： | 本文研究得到国家863高科技项目基金资助. |
| |
| 摘 要： | Internet的发展要求能同时使用来自不同知识源的信息．本文定义了一个两层的多con－text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论，对应于一个数据库；第2层的context是个特殊的多类逻辑理论，可以声明第1层中各context间的各种联系，DBCL为异构的数据库的集成提供了一个形式化描述．本文还为DBCL定义了一类可靠且完备的语义解释．
|
| 关 键 词： | 数据库 集成 context 多类逻辑 异构的 |
| 修稿时间： | 1996/11/13 0:00:00 |
A MULTICONTEXT LOGIC USED FOR INTEGRATING HETEROGENEOUS DATABASES |
| |
| LIU Haiyan,CHEN Huowang and LIU Fengqi.A MULTICONTEXT LOGIC USED FOR INTEGRATING HETEROGENEOUS DATABASES[J].Journal of Software,1997,8(9):687-693. |
| |
| Authors: | LIU Haiyan CHEN Huowang and LIU Fengqi |
| |
| Affiliation: | Department of Computer Science National University of Defense Technology Changsha 410073 |
| |
| Abstract: | 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. |
| |
| Keywords: | Database integration context many-sorted logic heterogeneous |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
