马可·卡多利;托尼·曼奇尼 结合关系代数、SQL、约束建模和本地搜索。 （英语） Zbl 1112.68040号 理论与实践。日志。程序。 7，编号1-2，37-65（2007）. 摘要：本文的目标是在约束建模和关系数据库管理系统之间提供一个强大的集成。为此，我们建议通过向标准查询语言（如关系代数和SQL）添加约束建模功能来扩展它们。特别地，我们提出了两种语言的非确定性扩展，它们特别适合于组合问题。非确定性是通过猜测算子引入的，它声明一组关系具有任意扩展。这种新的算子产生了具有更高表达能力的语言，能够表达复杂度类NP中的所有问题。通过几个例子证明了这两种扩展的有效性。描述了使用本地搜索技术用Java编写的当前实现。 引用于1文件 MSC公司： 第68页，共15页 数据库理论 关键词：约束建模与编程;关系数据库;关系代数;SQL语言;本地搜索 软件：EasyLocal公司++ PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}和\textit{T.Mancini}，理论与实践。日志。程序。7，编号1--2，37-65（2007；Zbl 1112.68040） 全文： 内政部