论文部分内容阅读
<正>演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃于一阶谓词逻辑的.
演绎数据库和逻辑程序中的否定
【摘 要】
：
<正>演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重
【机 构】
：
复旦大学计算机科学系
【出 处】
：
计算机科学
【发表日期】
：
1996年5期
其他文献
对常见沥青路面的坑槽、泛油、松散、推移、翻浆、裂缝、壅包、车辙等病害的产生原因进行了分析,同时提出了沥青路面的维修方法,对沥青路面的养护有一定的指导作用。
研发了一种外爪式钢管土钉,对黏性土中外爪伸出长度为20 cm,25 cm,30 cm的外爪式土钉与普通钢管土钉进行抗拉性能对比试验,分析了其受力性能的差异以及外爪长度对土钉受力性
<正>1引言 目前最重要和最成功的信息系统的WWW却仍然是基于文件系统的,许多现代的数库系统并不支持与WWW的集成,随着WWW的迅速发展,它们将成为未来的新的遗留系统。因,如
随着我国教育制度的不断完善,在新课改的背景下,小学数学的教学模式也变得多样化。由于数学本身的枯燥性且知识点多,很多小学生对于这门学科有一定排斥性。只有提高课堂的趣
土石混合料填方体在固结沉降期间激发了桩侧负摩擦力,引起基桩下拉荷载,将会造成桩端地基的屈服或破坏。为了系统的探索土石混合料中基桩负摩阻力的发挥机制,在贵州某深厚土
摘要：新课程下的数学课堂，应积极培养学生良好的计算习惯，促进学生对计算方法的掌握，提高学生数学计算的正确率，使之达到一定的熟练程度，并逐步做到计算方法的合理和灵活。关键词：小学生数学计算能力；计算习惯；课堂教学；家庭教育；算法多样化中图分类号：G623.5 文献标识码：A 文章编号：1006-3315(2008)07-101-01小学生数学计算能力是指学生根据课程标准的要求，在数学基本计算中较高的
<正>归纳逻辑程序设计,以下简称ILP,是将归纳学习的理论与逻辑程序设计的方法相结合的一种机