|
|
计算机科学 2002
Research on Logic Programming and Databases
|
Abstract:
1 引言逻辑程序和数据库之间关系的研究始于1977年12月在法国图卢兹召开的“逻辑和数据库”会议。而在此之前,逻辑程序和数据库技术是并行发展的。两者之间的成功汇流得益于日本的“第五代计划”,其目标是所谓的“下一代计算机”的开发和研制,在该计划中Prolog被选为编程语言,而关系数据库被用于数据表示。最为流行的逻辑程序设计语言Prolog,作为一般定理证明技术的实现,具有高效和可编程的特点。相应地,关系数据模型作为复杂的层次与网状模型的简化与改进,能提供面向集合的、非过程性的数据操作。“第五代计划”极大
