DES：一种创新的演绎数据库系统实现与特性

"这篇论文描述了一个新的演绎数据库系统的实现，该系统填补了其他现有系统的一些空白，具有空值处理、外部连接和聚合等新功能。系统支持Datasheet和SQL查询语言，可在各种平台上运行，并集成到JavaGUIIDE中，提供用户友好的交互环境。它在GPL许可下开源并托管在sourceforge上，被全球广泛使用。关键词涉及演绎数据库、数据库、SQL和聚合。" 这篇论文主要探讨的是演绎数据库系统（DErructive System，DES）的最新实现，这是一个结合了关系数据库、逻辑和人工智能概念的系统。演绎数据库系统允许用户通过演绎规则查询数据，这些规则既可以从内涵数据库（包含演绎规则）获取信息，也可以从外延数据库（包含事实数据）获取。这种系统的设计灵感来源于Prolog语言，但避免了Prolog可能导致的无限递归问题。 论文中提到的Datasheet是一种特殊的演绎数据库查询语言，它允许用户以类似于逻辑程序的形式编写查询，但不包含函数符号，确保在特定条件下查询会终止。这使得Datasheet在处理可能产生无限关系的算术谓词时更为安全。Datasheet经过广泛研究，已被应用于多个领域，如本体建模、语义网、社交网络、策略语言和优化问题。 此外，商业公司如LogicBlox、Exeura、Semmle和Lixto等也采用了基于Datalog的演绎数据库技术来开发解决方案，进一步证明了演绎数据库系统在实际应用中的价值和灵活性。 新的DES实现不仅包含了Datasheet，还支持SQL查询语言，这样用户可以选择他们熟悉的方式来访问和操作数据库。更重要的是，该系统被设计成跨平台的，可以在Windows、Linux和Macintosh等操作系统上运行。为了提升用户体验，它已被集成到Java图形用户界面（GUI）集成开发环境中，提供了语法高亮和项目管理等功能。 该系统以GPL许可证发布，意味着它遵循自由和开放源代码软件的原则，任何人都可以查看、使用、修改和分发源代码。这鼓励了社区参与和协作，也促进了系统在全球范围内的广泛应用和持续改进。论文最后的doi和作者信息表明，这项工作已发表在《理论计算机科学电子笔记》上，这表明了其在学术界的认可度和影响力。