【摘 要】
：
1引言逻辑程序和数据库之间关系的研究始于1977年12月在法国图卢兹召开的"逻辑和数据库"会议.而在此之前,逻辑程序和数据库技术是并行发展的.两者之间的成功汇流得益于日本的
【机 构】
：
贵州大学计算机科学系,贵州科学院,南京大学数学系
【基金项目】
：
国家自然科学基金，贵州省自然科学基金，贵州大学校科研和教改项目
论文部分内容阅读
1引言逻辑程序和数据库之间关系的研究始于1977年12月在法国图卢兹召开的"逻辑和数据库"会议.而在此之前,逻辑程序和数据库技术是并行发展的.两者之间的成功汇流得益于日本的"第五代计划",其目标是所谓的"下一代计算机"的开发和研制,在该计划中Prolog被选为编程语言,而关系数据库被用于数据表示.最为流行的逻辑程序设计语言Prolog,作为一般定理证明技术的实现,具有高效和可编程的特点.相应地,关系数据模型作为复杂的层次与网状模型的简化与改进,能
其他文献
实时事务调度的主要目的是调度实时事务使其满足事务的时间约束,它包括针对多个事务的CPU调度以及与之紧密相关的在多个并发事务之间的数据、I/O及内存等资源的调度[1,2].关
<正> 1.引言多媒体应用及Internet的各种新业务对包括操作系统和网络系统的支撑环境的要求与传统意义上的各类实时业务有着显著的不同,这种不同之处往往表现在衡量支撑环境服
1防火墙代理技术概述代理型防火墙的基本思想仍是源于代理服务器,其目的主要是对外界屏蔽/保护内部网络的信息和结构,"切断"被保护网络与公共网络的直接联系.代理技术按照不
1.简介现实生活离不开安全,信息系统也一样,信息安全可以说是信息系统的一种属性.从70年代开始,对信息安全系统和安全产品的研制日益得到了政府和市场的重视.但是,对于某个厂
1 引言基于不同的应用背景与假设,人们已对分布式实时仿真系统中任务间的同步问题进行了大量研究,其主要思想是将系统看成一个离散事件的集合,事件之间存在某种相互依赖的关
1 引言随着互联网的普及,网络已成为人们获得信息的主要途径和重要手段.网络上资源丰富,内容庞杂,网络上的数据能否很好地得到共享已成为影响网络发展的一个重要因素.但就目
1.引言软件工程就是在软件开发过程中使用一定的方法和技术来指导软件开发,尽量用较少的花费来达到所要求的目标.软件生命周期是软件工程中非常重要的一个概念,是指从分析、
1 引言实时系统的基本特性是任务响应时间的确定性和系统处理任务的高吞吐量[1].同时,随着实时系统在安全关键领域内越来越广泛的应用,如核电站控制系统、空中交通管制系统、
1引言OPC(OLEfor Process Control)基金会与其它现场总线国际组织合作,在2002年汉诺威工业博览会上展示了第一个基于OPC DX(Data eXchange)的演示系统,该系统演示了在利用OPC
本文给出了一种XML[7]查询的逻辑代数表示,基于这种代数表示作者探讨了在逻辑层面上进行XML查询优化的可能性和方法.文章按以下方式组织,第一部分给出了一种XML数据的模型表