论文部分内容阅读
本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁，它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率，最后给出了算法的正确性证明。
知识库系统中的一种并发控制方法
【摘 要】
：
本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁，它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率，最后给出了算法的正确性证明。
【机 构】
：
山东矿业学院计算机系,复旦大学计算机系
【出 处】
：
软件学报
【发表日期】
：
1994年2期
其他文献
在持久环境（如持久ＯＯＰＬ和ＯＯＤＢＳ）中，涉及到两类不同的物理存储器：内存和磁盘，应开发隐藏物理细节的抽象存储器层次。虚拟对象存储器（ＶＯＳ）就是这种抽象存储器层次，在其上，持久对象和暂态对象的操作是
文章阐述了高职院校图书馆图书采访环节摒弃传统的订购为主模式,转向以现场采购为主,尝试让各类读者参与图书现采,以及稳定现采队伍的措施。从而达到优化馆藏结构,提高图书利
信息素质是现代信息化社会对新型人才的必然要求。高校图书馆是培养高校学生信息素质的主力军。美国信息素质教育起步较早,成就较大,对我国图书馆信息素质教育建设的发展有一
针对越来越多的网络免费信息资源,介绍了网络免费信息资源的主要获取途径,分析了图书馆相对于主要竞争对手的核心竞争力,并提出提升图书馆核心竞争力的四个方面。
引进企业产品作为教学的目标,依据CDIO理念,在物联网技术实践教学中将教学环节分为构思、设计、实现和运作四个环节,强化学生的实践能力和创新思维能力的培养。
在互联网+时代,信息化技术已渗透至课堂教学过程中。在教学过程中,以SPOC为平台,以高等职业院校的环境监测课程作为教学案例,引导学生进行线上学习,并将知识传递与知识内化的过程翻转,充分体现学生主体、教师主导的教学理念。除了SPOC和翻转课堂,教学过程中还融入了校企合作的元素,三种元素融合在一起共同打造了环境监测课程的教学模式。通过采取这种基于校企合作的SPOC支持下的翻转课堂教学模式,学生们学习环
本文以北京师范大学为例重点分析了网络环境下高等学校学科资料室的现状,论述了学科资料室服务的变化,提出了网络环境下为教学和科研服务的具体策略以及网络环境下对学科资料
本文以青岛市委管理信息与辅助决策系统为背景，提出向一般计划管理人员的预测应用系统的开发设计原则：以通用、经典的预测方法为基础，以先进的计算机技术为手段，建立应用系统的集