演绎数据库系统LDL ++
The Deductive Database System LDL++
摘要：
本文介绍了LDL++系统和研究进展，使其设计和开发。我们首先讨论扩展LDL++语言功能的新的非单调和非确定性构造，同时保留其模型理论和不动点语义。然后，我们描述了执行模型和开放式体系结构，旨在支持这些新的结构，并促进与现有的DBMS和应用程序的集成。最后，我们描述了在各种测试应用程序（如中间件和数据挖掘）上使用LDL++的经验教训。
英文摘要：
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the LDL++ language, while preserving its model-theoretic and fixpoint semantics. Then, we describe the execution model and the open architecture designed to support these new constructs and to facilitate the integration with existing DBMSs and applications. Finally, we describe the lessons learned by using LDL++ on various tested applications, such as middleware and datamining.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
