PROLOG DBMS

　　本系统在1992年经国家教委组织鉴定，由工程科学院院士陈火旺教授等评议（编号（教Q）92 鉴字001号）该系统达到国际先进水平。

• 成果简要说明及主要技术指标

　　在各国制定的新一代计算机计划中，如何结合逻辑程序设计和关系数据库技术都是一个重要的研究内容。RPOLOG-DBMS系统有效地把这两个技术结合在一起，成为一种新型的智能软件开发环境。

　　该研究项目原属欧共体ESPRIT计划研究内容，是EPSILON计划的核心部分。目前EPSILON的研究成果在国际上具有一定影响，而这些影响与RPOLOG-DBMS系统取得的成就是相关的。

　　此项目于1989年5月获得霍英东科研基金资助。

• 主要研究内容

1. 首次提出CPD系统实现的半解释方法。

2. 完善了CERI（斯坦福大学）提出的子句间优化技术。CERI仅讨论了特殊情况，我们全面地讨论了这一技术。

3. 首次提出了差优化的基本思想和算法，解决了重复事实提取的问题。

4. 首次提出了专用，并行通讯接口技术，解决了每次DBMS访问代价过高的问题。

• 主要技术指标

1. 系统提供一个完整的PROLOG语言。

2. 对数据库的访问和提取数据的消耗对用户透明。

3. 没有任何一个无用事实被提取。

4. 没有任何一个重复事实被提取。

5. 数据库访问次数少，每次DBMS访问开销小。

6. 实现简单，开放式结构。

　　实验证明，采用并行技术后速度提高了近二十倍。

• 推广应用前景及效益预测

1. 本项目的研究成果对于实现其它系统间互连具有借鉴意义。

2. 解决了PROLOG系统管理大量数据能力较弱的问题。

3. 许多实用专家系统往往是以大量数据作为基础的。

4. 此系统为建造这类专家系统提供了一个理想的工具。

5. 此系统对于建立传统的信息管理系统也是适宜的。

6. 此系统为KBMS方面的进一步研究和实现更高级的人工智能软件开发环境（如复杂对象，分布式KBMS）奠定了基础。

7. 此系统可以对DBMS进行递归查询。

　　法国MAC MEDIA公司对此软件的商品化表示兴趣，并且预言：“此系统在西方国家将具有广阔的市场。”

　　法国里昂INSA信息系统工程实验室希望得到这一系统。目前，正在争取同中山大学岭南（大学）学院计算机科学系建立官方合作关系。

　　我们认为此系统可作为进一步研究工作的基础，并具有潜在的商业前景。

• 鉴定意见

　　一九九二年一月十九日由国家教委主持在广州中山大学岭南（大学）学院召开了“PROLOG-DBMS系统”《简称系统》鉴定会。会议听取了研制报告，技术报告，测试报告和资料审查报告。经过认真讨论，鉴定委员会认为：

1. 《系统》实现所采用的子句间优化技术，首次全面地解决了CPD系统中的重复数据提取问题，保证了《系统》的正确性。

2. 《系统》首次采用的半解释方法和并行专用通讯接口技术，减少了系统间通讯次数和信息交换数据量，减少了每次通讯的代价。

3. 《系统》功能较强，实现技术切实与行界面友好，运行效率高于现有系统。

　　鉴定委员会认为，该项研究在PROLOG与DBMS结合的技术上达到国际先进水平。该系统具有广泛的应用前景和潜在的商业价值。建议尽快推广应用。鉴定技术负责人为陈火旺院士。