切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
演绎型面向对象数据库管理系统形式模型研究
演绎型面向对象数据库管理系统形式模型研究
来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:baobei_jing
【摘 要】
:
本文提出了一种研制演绎型面向对象数据库管理系统(DOODBMS)的理论基础,具体讨论了DOODBMS 的形式化描述、操作以及知识引入等问题,使得一方面,实现一般面向对象数据库管理系
【作 者】
:
冯铃
冯玉才
【机 构】
:
华中理工大学计算机系,华中理工大学计算机系430074,430074
【出 处】
:
计算机研究与发展
【发表日期】
:
1993年7期
【关键词】
:
演绎型面向对象数据库管理系统
规则对象
演绎推理.
Deductive Object-Orlented Database Management Systemru
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了一种研制演绎型面向对象数据库管理系统(DOODBMS)的理论基础,具体讨论了DOODBMS 的形式化描述、操作以及知识引入等问题,使得一方面,实现一般面向对象数据库管理系统(OODBMS)的功能,另一方面,又可获得OODBMS 的推理智能
其他文献
论计算机通信网络的开放性
本文从开放性原理出发,描述了计算机通信网络系统开放性体系的思想及其实现技术。
期刊
计算机网络
通信网络
通信协义
体系结构
computer communication network
OSI/RM
peer-to-peer communic
共同目标共同期盼——做好第69届世界铸造会议东道主
铸造作为一种传统的金属成形技术在人类社会进步与文明发展的长河中写下了璀璨的历史篇章,留下了浓重的记忆和符号。中国是世界上最早掌握铸造技艺的文明古同之一。千百年来,中
期刊
铸造会议
世界
金属成形技术
人类社会
社会进步
金属制品
中华民族
铸造技术
电力系统潮流计算算法研究
首先本文简单介绍了潮流计算的原理及意义,电力系统稳态运行以及故障分析时都需要提前进行潮流计算。随后对采用极坐标牛顿法潮流计算的过程做了简要分析。最后,对13节点的编
期刊
电力系统潮流计算
算法研究
功率方程
SID:银河—II巨型机的交互式符号调试器
本文简要介绍了SID(SymbolicInteractiveDebugger)的工作环境,功能及特点,设计思想及实现技术,银河-Ⅱ巨型机本身的复杂性决定了SID的复杂性及难度,所以在研制SID时的一些设计思想和实现技术具有独到之处。
期刊
巨型计算机
符号调试器
SID
Super machine
software tools
debugger
software.
浅谈载体桩在工程中的应用
本文作者以拟建工程为例,对载体桩的施工方案、工艺参数、工艺流程及质量控制等方面进行了相关介绍。
期刊
载体桩
旅工
方案
工艺及参数
质量控制
对加强基层林业站建设的几点思考
我国是世界上水土流失很严重的国家,林业建设是我国生态建设的一个非常重要的方面。目前,我国的林业建设进入了治理与破坏的相持阶段。在这个时期,大量的绿化工作和林业保护工作
期刊
基层
林业站
建设
思考
电磁场在材料凝固加工领域的应用
介绍了电磁场在材料凝固加工领域的应用情况,包括静磁场、强静磁场、低频磁场、行波磁场与旋转磁场、高频磁场与电磁成形技术、复合电磁场的应用等。对未来的电磁凝固技术进行
期刊
电磁场
材料加工
凝固
electromagnetic field materials processing solidification
板栗嫩枝扦插育苗技术
板栗嫩枝扦插育苗,可节省大量种子,降低育苗成本,便于保持母株的优良性状,又可避免嫁接的麻烦,缩短育苗周期,加快优良品种的扩大繁殖.现将育苗技术介绍如下.
期刊
板栗
嫩枝扦插
育苗技术
用OTA宏模型模拟LC梯形滤波器
对比地研究了用IOTA器件模拟接地电感、浮地电感、接地D元件和浮地D元件所实现的各种低通、高通及带通滤波器的特性。对大量实例进行了分析发现,接地D元件的特性较差,浮地D元件和电压型
期刊
运算跨导放大器
宏模型
LC梯形滤波器
OTA
OTA active filter macro model
连接两个多边形成一条回路的算法
本文提出连续两个多边形成一条回路的算法,该算法需要Olog.max次比较和O.max次乘法。
期刊
凸包
多边形
回路
算法
计算几何
Convex hull
polygon
circuit.
与本文相关的学术论文
演
绎
型
面
向
对
象
数
据
库
管
理
系
统
形
式模
型
研究
演
绎
和
面
向
对
象
数
据
库
系
统
研究
面
向
对
象
的
演
绎
数
据
库
演
绎
的
面
向
对
象
数
据
库
ODMG时代的
演
绎
面
向
对
象
数
据
库
系
统
面
向
对
象
的
演
绎
数
据
库
(续)
演
绎
的
面
向
对
象
数
据
库
研究
一个
面
向
CAD/CAM的
演
绎
数
据
库
管
理
系
统
一个
面
向
CAD/CAM的
演
绎
数
据
库
管
理
系
统
演
绎
的
面
向
对
象
数
据
库
(DOOD)研究
演
绎
的
面
向
对
象
数
据
库
(DOOD)研究
面
向
对
象
数
据
库
管
理
系
统
基于
演
绎
对
象
/关
系
属性的
演
绎
面
向
对
象
数
据
库
查询语言
面
向
对
象
的
数
据
库
管
理
系
统
面
向
对
象
的
数
据
库
管
理
系
统
SamBase:
面
向
对
象
数
据
库
管
理
系
统
面
向
对
象
的
数
据
库
管
理
系
统
演
绎
数
据
库
管
理
系
统
结构
演
绎
面
向
对
象
数
据
库
及其查询语言
面
向
对
象
的
数
据
库
管
理
系
统
OBJECTSTORE