PROLOG—DBMS系统实现中的子句间优化技术

被引：6

作者：

李磊

左万历

李希春

机构：

[1] 中山大学计算机科学系，吉林大学计算机科学系

来源：

关键词：

PROLOG; 数据库; 演绎数据库;

D O I：

暂无

中图分类号：

TP311.13 [];

学科分类号：

摘要：

实用ＰＲＯＬＯＧ—ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性．然而，从数据库中提取冗余数据不但严重地影响系统的效率，而且影响系统的正确性．本文所提出的子句间优化技术可以解决这一问题．因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取．

引用

页数：7