论文部分内容阅读
实用ＰＲＯＬＯＧ－ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性，然而，从数据库中提取冗余数据不但严重地影响系统的效率，而且影响系统的正确性，本文所提出的子句间优化技术可以解决这一问题，因为采用这一技术可以保证仅从数据库中提取有事实并且没有任何元组多于一次被提取。
PROLOG—DBMS系统实现中的子句间优化技术
【摘 要】
：
实用ＰＲＯＬＯＧ－ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性，然而，从数据库中提取冗余数据不但严重地影响系统的效率，而且影响系统的正确性，本文所提出的子句间优化技术可以解决这一问题，因为
【机 构】
：
中山大学计算机科学系,吉林大学计算机科学系
【出 处】
：
软件学报
【发表日期】
：
1995年3期
【基金项目】
：
霍英东教育基金
其他文献
动物生理学是一门理论性和实验性都很强的学科,它的很多机理都来自于实验,因此加强实验环节是体现学科特点、提高教学质量的关键。以往的措施主要是增加实验课时和实验开出率
在社会学视角下，图书馆是人与人交互作用的产物。图书馆的交往功能随着时代的发展正逐步觉醒并日益增强。打造“交往图书馆”需要做到读者参与建设、建立休闲模式空间、文化百
班主任是班集体的组织者、教育者、领导者，是学校领导实施教育教学工作的得力助手，其工作成效直接影响到学校的办学质量。班主任在学生全面健康的成长历程中，起着主要作用。那么
近年来，语言学的研究已从根本上改变了语言教学．语言被看作是一套言语习惯，基本上是被作为口头交际的工具来教授的。因此，语言教学既是一门科学，又是一门艺术。作为一名英语教师，如
以江西省民办与公办高校图书馆员为调研对象，分别从基本资料情况、工作薪酬、职业维度等多个角度考察其工作满意度差异，并以“职业满意度”为因变量，以“基本资料情况”、“由工
10月10日至12日，2014年中国图书馆年会在北京建国国际会议中心隆重召开。本届年会由中华人民共和国文化部主办，北京市文化局、北京市东城区人民政府、中国图书馆学会、国家图书
选育优良的鸟嘌呤核苷(鸟苷)产生菌是实现发酵法生产鸟苷的前提，在鸟苷发酵的建立和改进中起着非常重要的作用。本文分析了鸟苷的生物合成途径及代谢调节机制，根据代谢控制发酵
为确保临床输血安全，输血前要用能够检测不完全抗体的方法筛查不规则抗体，本院从2004年6月起，运用微柱凝胶技术对需输血的心者提前筛查不规则抗体，确保了输血安全，保证了临床治疗
我国的环境法是以宪法关于环境保护规定为基础，并由环境保护基本法、环境保护单行法、行政法规、环境标准、其他部门法中关于环境保护的法律规范、地方环境保护法规、国际条约