{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,3,2]，“日期-时间”：“2024-03-02T22:01:08Z”，“时间戳”：1709416868055}，“参考-计数”：28，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“1-2”，“许可证”：[{“开始”：{-date-parts”：[2007,1]]，“日期时间”：“2007-01-01T00:00:00Z”，“时间戳”：116760960000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[“逻辑编程理论与实践”]，“published-print”：{“date-parts”：[[2007,1]]}，《抽象》：“摘要<\/jats:title>本文的目标是在约束建模和关系数据库管理系统之间提供一个强大的集成。为此，我们建议扩展标准查询语言，如关系代数和SQL<\/jats:sc>，通过向其添加约束建模功能。特别地，我们提出了两种语言的非确定性扩展，它们特别适合于组合问题。非确定性是通过猜测<\/jats:italic>操作符，它声明一组关系具有任意扩展。这种新的算子产生了具有更高表达能力的语言，能够表达复杂度类NP中的所有问题。通过几个例子证明了这两种扩展的有效性。描述了使用本地搜索技术用Java编写的当前实现<\/jats:p>“，”DOI“：”10.1017\/s1471068406006002857“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,2,9]]，”date-time“：”2007-02-09T07:38:10Z“，”timestamp“：1171006690000}，”page“：“37-65”，“source”：“Crossref”，“is-referenced-by-count”：7，“title”：[“组合关系代数，SQL<\/i>，约束建模和局部搜索“]，”前缀“：”10.1017“，”卷“：”7“，“作者”：[{“给定”：“MARCO”，“家族”：“CADOLI”，“序列”：“第一”，“从属关系”：[]}，{“指定”：“TONI”，”家族“：”MANCINI“，”序列“：”附加“从属关系“：[]2]，“成员”：“56”，“在线发布”：{“日期段”：[[2007,1]]}，“引用”：[{“键”：“S1471068406002857_N10200“，”非结构化“：”Eclipse。ECLiPSe主页。www.icparc.doc.ic.ac.uk\/eclipse\/。“}，{”key“：”S1471068406002857_N103DF“，”unstructured“：”Sicstus.Sicstus Prolog homepage.http:\/\/www.sics.se\/Sicstus\/组合优化中的局部搜索“，”author“：”Aarts“，”year“：”1997“}，{“key”：“S1471068406002857_N1013F”，“doi-asserted-by”：“publisher”，“doi”：“10.1287\/trsc.34.2.180.12302”}，“{”key“：”S1471068002857_N10393“，”doi-assert-by“：”publisher“，”doi“：”10.1023\/A:1006576209967“}_N1032E“，”非结构化“：”Leone N.、Pfeifer G.、Faber W.、Eiter T.、Gottlob G.和Perri Simona abd Scarcello F.《DLV知识表示和推理系统》。ACM计算逻辑事务。出现。“}，{”key“：”S1471068406002857_N101B7“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0022-0000（80 Vianu V.1995年。数据库基础。马萨诸塞州雷丁市艾迪生。“}，{”key“：”S1471068406002857_N1016E“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-45988-X12“}“，{“key”：“S1471068502857_N10194”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/S0304-3975（97）00108-4”}，“key“:”S147168406002857_N102ED“，”非结构化“：”ILOG-98 1998。ILOG优化套件\u2013白皮书。可从www.ilog.com.“}获取，{“key”：“S1471068406002857_N101DA”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/spe.524”}，{”key“：”S1471068002857_N10215“，”first page“：“43“卷时间”：“2003年LOPSTR国际研讨会论文集：修订论文集“，”作者“：”弗莱纳“，”年份“：”2004“}，{“key”：“S1471068406002857_N10287”，“volume-title”：“计算机与难治性：NP-完备性理论指南”，“author”：“Garey”，“year”：“1979”}，“key“：”S1471068502857_N102A4“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-1-4615-6089-0“}，{“key”：“S1471068406002857_N102C1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/972639.972646”}，}“keys”：“S47106840062857_N102FC”，“unstructured”：“ILOG-DBLINK 1999”。ILOG DBLink 4.1教程。可从www.ilog.com.“}获取，{“key”：“S1471068406002857_N1035B”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:1009818401322”}，{”key“：”S1471068002857_N10381“，”unstructured“：”Papadimitriou C.H.1994。计算复杂性。Addison-Wesley，Reading，MA。“}，{”key“：”S1471068406002857_N103EB“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0004-3702（02）00187-X”}，“key”：“S1471068002857_N10417”，“volume-title”：“数据库和知识库系统原理”，“author”：“Ullman”，“year”：“1988”}、{”key“：“S146840600285 7_N1042B”，“volume-ti”标题“：”OPL优化编程语言”，“author”：“Van Hentenryck”，“year”：“1999”｝，｛“key”：“S1471068406002857_10465”，“doi断言者”：“publisher”，“doi”：“10.1145\/800070.802186”｝，｛“key”：“S1471068406002857_103B3”，“doi断言者”：“publisher”，“doi”：“10.1002\/（SICI）1097-024X（200003）30:3＜233:：AID-SPE297>3.0.CO；2-K”｝，｛键“：”S1471068406002857_N1030B“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0022-0000（91）90033-2“}]，”container-title“：[”逻辑编程的理论与实践“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“https:\\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068002857“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposted“：{”date-parts“：[[2019,4,4]]，”date-time“：”2019-04-04T16:49:35Z“，”timestamp“：1554396575000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S1471068002857\/type\/journal_article“}”，”副标题“：[]，”短标题“：[[]，”发布“：{“date-parts”：[[2007,1]]}，“references-count”：28，“journal-issue”：{问题：“1-2”，“published-print”：{-“date-parts”：[[2007,1]]]}}，”替代id“：[”S147106840002857“]，”URL“：”http://\/dx.doi.org\/101017\/s1471068406006002857“，”关系“：{}”，“ISSN”：[“1471-0684”，“1471”5-3081“]，”ISSN-type“：[{”value“：”1471-0684“，”type“:”print“}，{”value“：“1475-3081”，“键入“：”电子“}]，“主题”：[]，“已发布”：{“日期部分”：[[2007,1]]}}}