Datalog规则与基于逻辑的关系查询

来源 :伊犁教育学院学报 | 被引量 : 0次 | 上传用户:blueskyxq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Datalog作为关系数据模式中用来扩充逻辑查询语言的一种重要形式.提出并解决了Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等相关问题.
其他文献
给出了图形处理中基于Windows环境下的文本标注功能的一种技术实现方法。
应用多媒体进行英语教学是现代教学的重要手段之一。多媒体辅助英语教学通过人机交互作用完成各种教学任务,可以实现教学过程与教学目标的优化。正确运用多媒体手段,实现现代教
介绍了新版软件开发设计语言MSVisual Basic5.0的主要特点和实际功能的。重点介绍了AX控制强大的实用性及其在Internet上应用。
北朝前期文学追求文学自我意识的确立以及对南朝文学敌意的抗拒,然而作为一种初学文其文学活动还是接受了南朝文学潜在的影响.当然,更多的是在文学传统的断裂中创造了别样的
介绍了利用Powerbuilder作为前台工具软件开发数据库应用程序的方法,同时还介绍了一些开发技巧。
介绍了在Pro/Engineer系统中的Format模式下建立符合本厂标准的图纸格式库的方法,以及在实际使用中怎样从图纸格式库中调用所需的图纸格式,同时也介绍了 图纸格式二维图形比例之间的关系。
学习语言的过程,也应该是学习其语言文化的过程.由于中西方文化存在差异,因此大学英语教学中应重视文化因素的讲授.在教学中,可以见缝插针,有机地进行目的语的文化渗透.
建立了基于锚泊系统设计水平、锚链制造水平、材质优劣、重要程度、使用环境条件,操作及保养诸因素影响的锚逻安全系统模糊选数学模型,从而得到合理的链直径,既符合安全需要,又经
简述了PowerBuilder的技术特点,并通过实例详细地讲解了数据库应用程序如何查询、存储、更新、删除BLOB数据类型的大字段。
介绍了为满足柴油机零部件设计需要,对Pro/Engineer二维工程图生成功能的初始化环境变量而进行的合理配置。