Datalog程序的正规变换及其实现

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:axjlzpf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文中提出了Datalog程序的正规变换,并构造了Datalog程序的约束模型图,从而把正规变换的求解转化为对约束模式图的搜索。约束模式图搜索算法与经典的AO^*搜索算法及相关文献中的算法相比具有更高的效率。
其他文献
文章在对建筑弱电智能化施工的呢日用和施工技术管理目标进行介绍之后,重点研究弱电智能化系统安装施工技 术要点,并提出了质量控制措施,以供参考。
本文针对碎纸片的拼接复原问题,首先明确了这是对轮廓规则的碎纸片进行的研究。通过对横纵切和双面碎纸拼 接进行分析,然后将给定附件的图片利用 java 软件把 图像数据化运用
经过公开招标筛选,6月5日,郑州市人大与河南文丰律师事务所正式签订了委托起草《郑州市物业管理条例(代拟稿)》的协议,按照协议要求,10月10日,律师事务所拿出起草的法规代拟稿,由人大
监督职权是宪法赋予人大的重要职权,是人民当家作主的政治权力。人大的监督制度,是人民代表大会制度的重要组成部分。监督法二十年磨一剑,它的颁布实施是健全和完善人大监督制度
各位编辑,你们好。在今年1月份的县十四届人大一次会议召开前,县人大常委会组织代表进行了一次集体视察,说是为开好大会作准备。临出发前,我好不容易跟几位老师调好了课,差点因此
文中提出了一种加权模糊逻辑推理模型,该模型描述了不确定性问题求争领域中的比较普遍存在的“加权逻辑与”“加权逻辑或”和“加权逻辑综合”等模糊逻辑关系,该推理模型在国家
自从有了地方立法以来,各地都在积极探索总结能够统领地方立法工作的准则。其中,“不抵触、有特色、可操作”这三原则比较客观、准确地反映我国现有立法体制下地方立法的实际,为
近几年,三明市委做出了“做强市区经济”、“壮大中心城市”、“培育‘3+1’产业集群”等重大发展战略,三元区委、区政府紧密跟进,选定该区作为突破工业的重要平台,并根据本市在发
软件理解是进行软件维护的一个重要步骤,是一个逐层推进的递增模式匹配过程。软件理解由任务,策略,概念,模型,方法和工具等环节组成。文中分析了软件理解的任务和策略。对软件理解
主要内容是关于当设计高性能Web服务器时,如何解决快速CPU处理能力和慢速磁盘访问之间的矛盾.前半部分主要讨论现有Web服务器模型的优缺点,后半部分描述了异步单进程事件驱动