主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
石祥滨,张 斌,王国仁,于 戈,郑怀远.一个实现对象查询语言的形式化基础.软件学报,1998,9(5):360-365
一个实现对象查询语言的形式化基础
A Formal Foundation for Implementing Object Query Language
投稿时间:1997-05-29  修订日期:1997-12-15
DOI:
中文关键词:  数据库,面向对象数据库,查询模型,查询语言.
英文关键词:Database, object-oriented database, query model, query language.
基金项目:本文研究得到国家863高科技项目基金资助.
作者单位
石祥滨 东北大学计算机系,沈阳,110006 
张 斌 东北大学计算机系,沈阳,110006 
王国仁 东北大学计算机系,沈阳,110006 
于 戈 东北大学计算机系,沈阳,110006 
郑怀远 东北大学计算机系,沈阳,110006 
摘要点击次数: 3361
全文下载次数: 2852
中文摘要:
      在基于CORBA(common object request broker)的面向对象多数据库系统SCOPE/CIMS中,作者选择了对象数据库管理组ODMG(object database management group)提出的对象数据库标准ODMG-93的OQL(object query language)作为全局查询语言.为此,提出了一种实现OQL的形式化基础,包括适合建模OQL的一种对象演算和一种对象代数;对象演算的规范化规则和规范化步骤;对象演算与对象代数的等价映射规则及转换策略.
英文摘要:
      In this paper, the authors select OQL(object query language) of the object database standard: ODMG-93 suggested by ODMG(object database management group) as global query language in object-oriented multidatabase SCOPE/CIMS and present a formal foundation for implementing OQL, including an object calculus and an object algebra suitable for modeling OQL, normalization rules and normalization steps of the object calculus; mapping rules and translation methods between the calculus and the algebra.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

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