推理数据库系统LDL++
数据库
2007-05-23 v1 人工智能
摘要
本文描述了LDL++系统及其设计和开发所致的研究进展。我们首先讨论了扩展LDL++语言功能的新型非单调和非确定性构造，同时保持其模型论和不动点语义。随后描述了执行模型和开放式体系结构，以支持这些新构造并促进与现有数据库管理系统和应用程序的集成。最后，描述了在各种测试应用程序中使用LDL++所得的经验教训，例如中间件和数据挖掘。
引用
@article{arxiv.cs/0202001,
title = {The Deductive Database System LDL++},
author = {Faiz Arni and KayLiang Ong and Shalom Tsur and Haixun Wang and Carlo Zaniolo},
journal= {arXiv preprint arXiv:cs/0202001},
year = {2007}
}