We discuss the relationship between constraint programming and database query languages. We show that bottom-up, efficient, declarative database programming can be combined with efficient constraint solving. The key intuition is that the generalization of a ground fact, or tuple, is a conjunction of constraints. We describe the basic Constraint Query Language design principles, and illustrate them with four different classes of constraints: Polynomial, rational order, equality, and Boolean constraints.
我们讨论约束编程和数据库查询语言之间的关系。我们表明,自底向上,高效,声明性的数据库编程可以与有效的约束解决方案相结合。关键的直觉是,基础事实或元组的概括是约束的结合。我们描述了基本约束查询语言的设计原理,并用四种不同的约束类别进行了说明:多项式,有理阶数,相等性和布尔约束。 P>
机译:开发和验证查询,使用结构化查询语言(SQL)确定存储在PACS上的放射学报告中比较成像的利用率
机译:空间数据库线性约束查询语言的表达性
机译:转换包含模式和XML查询的XML架构以反对约束语言(OCL)
机译:关于约束查询语言中查询的结构
机译:对纽约海地人的语言使用自我报告,英语,海地人和法语水平的自我报告以及语言态度的自我报告进行了调查。
机译:开发和验证查询使用结构化查询语言(SQL)确定存储在PACS上的放射学报告中比较成像的利用率
机译:约束数据库,查询和查询语言
机译:Otc查询语言。第九卷。编写查询语言语句