一种演绎数据库语言(扩充模型论语言)的设计与实现

来源 :第五届全国数据库及第一届全国管理信息学术会 | 被引量 : 0次 | 上传用户:hgs26
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
扩充模型论是一种数学理论,可在它的基础上实现一个扩充模型论语言,这种语言可以作为关系数据库的数据子语言,它也可以作为演绎数据库的语言,这种语言有很多优点,它为数据库的研究,演绎数据库的实现提供了新的思想方法与手段。(本刊录)
其他文献
人类认识问题有三个层次:从事件层次、从行为模式层次和从系统结构层次,只有从系统结构层次认识问题才可能看到事物变化背后的本质,才可能找到问题症结,找到根本解决之
会议
在郑州郊区菜园土壤上,应用土壤养份状况系统研究法测定土壤中11种大、中、微量元素含量,结合土壤对营养元素的吸附研究和盆栽试验,判断土壤中存在的和潜在养份限制因子,用以指导田
笔者观察了38例系统性硬皮病患者的循环内皮细胞数量的变化及川芎素治疗对血管内皮细胞损伤的影响,探讨川芎素治疗系统性硬皮病的疗效机理,并与53名健康者进行了对比观察.文
综合评估法在我国建筑工程招标中已经得到广泛的应用,但是在我国民用机场建设工程中的应用还处于起步阶段.本文将对综合评估法的原理、以及在机场建设工程中的具体应用、操作
该文介绍物理事理人理方法论的概貌和发展,着重总结和分析物理事理人理方法论国际交流的过程,希望对中国系统界和系统研究走向世界提供启示。
会议
AI系列人工智能工业调节器设计选型资料(-)厦门宇光电子技术研究所供稿1AI系列的主要特点(1)采用先进的ASIC芯片及技术制造。减少了体积。降低成本并提高可靠性。(2)数字输入及输出校正系统。省
为了深入了解PROLOG,作者用Uciro-Prolog对一些数理逻辑问题进行了尝试,该文在这一实践基础上,从理论和实际两方面探讨了Uciro-Prolog的基本功能,存在的问题,并用通用语言PASCAL进