%0 Journal Article %T Research on Logic Programming and Databases
逻辑程序与数据库研究 %A 邹阳 %A 宁卓 %A 张明义 %A 许道云 %J 计算机科学 %D 2002 %I %X 1 引言逻辑程序和数据库之间关系的研究始于1977年12月在法国图卢兹召开的“逻辑和数据库”会议。而在此之前,逻辑程序和数据库技术是并行发展的。两者之间的成功汇流得益于日本的“第五代计划”,其目标是所谓的“下一代计算机”的开发和研制,在该计划中Prolog被选为编程语言,而关系数据库被用于数据表示。最为流行的逻辑程序设计语言Prolog,作为一般定理证明技术的实现,具有高效和可编程的特点。相应地,关系数据模型作为复杂的层次与网状模型的简化与改进,能提供面向集合的、非过程性的数据操作。“第五代计划”极大 %K 逻辑程序 %K 数据库 %K 计算机 %K 数据查询 %K 数据处理 %K 数据访问 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1B233E2B9C60D0AA&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=5D311CA918CA9A03&sid=23CCDDCD68FFCC2F&eid=13553B2D12F347E8&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=14