切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
DOL:一个演绎对象库语言
DOL:一个演绎对象库语言
来源 :软件学报 | 被引量 : 0次 | 上传用户:liyuwei9999
【摘 要】
:
演绎对象数据库是对象数据模型和演绎数据库集合的产物,它集成演绎数据库的查询能力和对象数据库的强大建模能力。DOL是作者设计的一种演绎对象库语言,它支持类,类层次,继承,集合,部分
【作 者】
:
王修伦
孙永强
【机 构】
:
上海交通大学计算机科学与工程系
【出 处】
:
软件学报
【发表日期】
:
1998年10期
【关键词】
:
演绎对象库语言
DOL
描述型语义
演绎数据库
Deductive object database
partial set
compact operator
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
演绎对象数据库是对象数据模型和演绎数据库集合的产物,它集成演绎数据库的查询能力和对象数据库的强大建模能力。DOL是作者设计的一种演绎对象库语言,它支持类,类层次,继承,集合,部分集,方法及重载和否定。
其他文献
并行文件系统中disk cache一致性协议的正确性证明
本文叙述了两类并行文件系统中disk cache一致性的维护方法,并基于release一致性模型,给出了其正确性证明。
期刊
并行文件系统
一致性协议
并行计算机
Parallel file system
disk cache
coherence protocol
sequent
集合覆盖问题的启发函数算法
本文给出了求解NP困难问题的完备策略的概念,在此基础上提出了一个求解集合覆盖问题的启发函数法SCHF(set-coveringheuristicfunction)文中对该算法的合理性,时间复杂性以及解的精度进行了分析,本文的主要创新点是用已
期刊
集合覆盖
启发函数
算法
NP问题
Heuristic function
complete strategy
learning from examples
操作系统微内核技术研究
文章介绍了作者在过去5年中微内核技术上所做的工作。给出了3个算法。①通过将任务调度和线程调度算法相结合的方法,来解决单纯以线程为单位的调度系统的效率和公平性问题;②一个
期刊
微内核
存储管理
计时模型
操作系统
Microkernel
schedule
virtual memory management
timing mode
一个多媒体数据同步模型的建立和实现
文章对多媒体数据流间存在的时序问题和时序关系进行介绍,对现有研究情况进行分析。结合一个多媒体数据模型,基于PETRI网,提出了一个同步模型,以表达媒体数据之间存在的同步关系。根据
期刊
多媒体
数据存取
数据同步模型
Multimedia
temporal problem
temporal relationships
PETRI net
台湾技职教育走向弹性学制
“教育部”正以“校中有校”的突破性观念,规划技职教育体系。除了办学绩优高职可以附设专科的构想外,其他的构想还
期刊
技职教育
弹性学制
技术学院
性观念
台湾
学制弹性化
综合性学院
构想
人才培育
体系变革
超协调限制逻辑的计算复杂性分析
超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常识推理形式化,给出了命题LPc的计算复杂性结果和算法实现,指出LPc是NP完全问题,并给出了
期刊
悖论逻辑
限制逻辑
计算复杂性
非单调性
Logic of paradox
circumscription
paraconsistent circumscp
自然语言中时间信息的模型化
在自然语言理解中,时间一个重要的语境因素,本文提出一种独立于句子表层形式的多层次时间语义结构,浅层语义结构是时间描述的最化语义表示,深层语义结构描述事件的动态属性和存在
期刊
自然语言理解
多语翻译
人机系统
时间语义
Probabilistic logic
consistency
decomposition algorithm
高校大学生阅读推广人培育实践与思考——以西安工程大学为例
随着"全民阅读"时代的到来,高校阅读推广活动正如火如荼地进行着。大学生既是阅读推广的对象,又是阅读推广的主体,同时他们之间又存在着天然的群体效应和朋辈效应。西安工程大
期刊
阅读推广人
阅读推广
朋辈效应
群体效应
创造发明的思路
说起创造发明,有人会认为那是一种高深莫测而可望而不可及的高层领域。不可否认,要搞创造发明需要有广泛的知识面、深厚扎实的理论基础和善于观察分析的能力。但不等于说创造
期刊
创造发明
抹浆机
发明创造
基本方法
理论基础
基本原理
新材料
自动化
厨房多用机
滚筒式洗衣机
树立终身教育理念,培养学生终生学习能力
面对知识经济飞速发展的新挑战,培养学生终生学习能力的终身教育已成为素质教育的核心之一。本文结合多年教学实践,从创设学习机会、调整课程结构及改革学习方法等方面入手,寻求
期刊
素质教育
终身教育
培养终生学习能力
与本文相关的学术论文