主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第7期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
刘海燕,陈火旺,刘凤岐.一个用于异构的数据库集成的多context逻辑.软件学报,1997,8(9):687-693
一个用于异构的数据库集成的多context逻辑
A MULTICONTEXT LOGIC USED FOR INTEGRATING HETEROGENEOUS DATABASES
  修订日期:1996-11-13
DOI:
中文关键词:  数据库  集成  context  多类逻辑  异构的
英文关键词:Database  integration  context  many-sorted logic  heterogeneous
基金项目:本文研究得到国家863高科技项目基金资助.
作者单位
刘海燕 长沙国防科技大学计算机系,长沙,410073 
陈火旺 长沙国防科技大学计算机系,长沙,410073 
刘凤岐 长沙国防科技大学计算机系,长沙,410073 
摘要点击次数: 2862
全文下载次数: 2892
中文摘要:
      Internet的发展要求能同时使用来自不同知识源的信息.本文定义了一个两层的多con-text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论,对应于一个数据库;第2层的context是个特殊的多类逻辑理论,可以声明第1层中各context间的各种联系,DBCL为异构的数据库的集成提供了一个形式化描述.本文还为DBCL定义了一类可靠且完备的语义解释.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利