｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,3,30]，“日期-时间”：“2022-03-30T10:29:55Z”，“时间戳”：1648636195686｝，“发布者位置”：“柏林，海德堡”，“引用计数”：14，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783642230875”，“类型”：“打印”｝，｛“值”：“9783642230882”，“type”：“electronic”｝]，“license”：[｛“start”：｛“date parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000｝，“content-version”：“unspecified”，“delay in days”：0，“URL”：“http:\/\/www.springer.com\/tdm”｝]，“content-domain”：｛“domain”：[]，“crosmark restriction”：false｝，“short container title”：[]，“published print”用法：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-23088-235”，“type”：“book-chapter”，“created”：{（日期-部件）：[[2011，8，25]]，“date-time”：“2011-08-25T12:56:20Z”，“timestamp”：1314276980000}，”page“：”466-480“，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“包含否定连词查询的算法的理论和实验比较”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Khalil Ben”，”family“：”Mohamed“，”sequence“：”first“，”affiliation“：[]}，{“给出”：“Michel”，“family”：“Lecl\u00e8re”，“sequence”：“additional”，“affiliance”：[]{“given”：“Marie-Laure”，”家族“：”Mugnier“，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“35_CR1”，“volume-title”：“数据库基础：逻辑层”，“author”：“S.Abiteboul”，年：“1995”，“unstructured”：“Abitebool，S.，Hull，R.，Vianu，V.：数据库基础：逻辑学层。Addison-Wesley，Reading（1995）”}，{“issue”：“2”，“key“35_CR2”，“doi-asserted-by”：“publisher”，“first page”：“218”，“doi”：“10.1137\/0208017”，“volume”：”8“，”author“：”A.V.Aho“，”year“：”1979“，”unstructured“：”Aho，A.V.，Sagiv，Y.，Ullman，J.D.：关系表达式之间的等价性。SIAM J.Compute.\u00a08（2），218\u2013246（1979）“，”journal-title“：”SIAM J.Compute.“}，{”key“35_CR3“，”系列标题“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“330”，《doi》：“10.1007\/978-3642-15251-1_27”，“volume-title”：“数据库和专家系统应用程序”，“author”：“K.B.Mohamed”，“year”：“2010”，“unstructured”：“Mohamed，K.B.，Lecl\u00e9re，M.，Mugnier，M.-L.：包含否定的联合查询：算法和实验。收录：Bringas，P.G.，Hameurlain，A.，Quircmayr，G.（编辑）DEXA 2010。LNCS，卷\u00a06262，第330\u2013345页。Springer，Heidelberg（2010）“}，{“key”：“35_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Ben Mohamed，K.，Lecl\u00e8re，M.，Mugnier，M.-L.：存在合取一阶逻辑中的演绎：算法和实验。技术报告RR-10010，LIRMM（2010年3月）”，“doi”：“10.1007\/978-3642-15431-7_1”}，“key“：”35_CR5“，”doi-assert-by“：”crossref“，”unstructured“：”Chandra，A.K.，Merlin，P.M.：关系数据库中联合查询的优化实现。在：第九届ACM计算理论研讨会，第77\u201390（1977）页“，”DOI“：”10.1145\/800105.803397“}，{”key“：”35_CR6“，”series-title“：”Advanced Information and Knowledge Processing“，”volume-title“：“Graph-based Knowled Representation and Reasoning\u2014概念图的计算基础”，“author”：“M.Chein”，“year”：“2009”，“unstructured”：“Chein，M.，Mugnier，M.-L.：基于图的知识表示和推理\u2014概念图的计算基础。高级信息和知识处理。Springer，Heidelberg（2009）“}，{”key“：”35_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“389”，”doi“：”10.1007\/11965893_27“，“volume-title”：“Database Theory\u2013 ICDT 2007”，“author”：“C.Farr\u00e9”，“year”：“2006”，“unstructured”：“Farr\u00e9，C.，Nutt，W.，Teniente，E.，Urp\u00ed，T.：包含对具有空值的数据库的联合查询。收录：Schwentick，T.，Suciu，D.（编辑）ICDT 2007。LNCS，卷\u00a04353，第389页\u2013403。Springer，Heidelberg（2006）“}，{”key“：”35_CR8“，”first page“：“648”，”volume-title“：”Beyond np:the qsat phase transition“，”author“：”I.P.Gent“，”year“：”1999“，”unstructured“：”Gent，I.P.，Walsh，T.：Beyond np:the qsat相变“，pp.648\u2013653。AAAI Press，Menlo Park（1999）“}，{”issue“：”4“，”key“：”35_CR9“，”doi-asserted-by“：”publisher“，”first page“：“270”，“doi”：“10.1007\/s00780100054”，“volume”：“10”，“author”：“A.Y.Halevy”，“year”：“2001”，“unstructured”：“Halevy.，A.Y.：使用视图回答查询：调查。VLDB Journal\u00a010（4），270\u2013294（2001）”，“Journal al-title“：”VLDB Journal“}，{”key“：”35_CR10“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”404“，”doi“：”10.1007\/11965893_28“，”volume-title“：“数据库理论\u2013 ICDT 2007”，”author“：”M.Lecl\u00e8re“，”year“：”2006“，”unstructured“：”Lecl\u 00e8RE，M.，Mugnier，M.-L.：对带否定的连接查询的包含问题进行了一些算法改进。收录：Schwentick，T.，Suciu，D.（编辑）ICDT 2007。LNCS，第u00a04353卷，第404\u2013418页。Springer，Heidelberg（2006）“}，{”key“：”35_CR11“，”首页“：”171“，”volume-title“：”VLDB 1993:第19届超大数据库国际会议论文集“，”author“：”A.Y.Levy“，”year“：”1993“，”unstructured“：”Levy，A.Y.，Sagiv，Y.：独立于更新的查询。收录于：VLDB 1993:《第19届超大数据库国际会议论文集》，第171\u2013181页。Morgan Kaufmann Publishers Inc.，San Francisco（1993）“}，{“key”：“35_CR12”，“unstructured”：“Mugnier，M.-L.，Simonet，G.，Thomazo，M.：关于存在连接一阶逻辑中演绎的复杂性（长版）。技术报告RR-09026，LIRMM（2009年9月）”}，}，”key“：”35_CR13“，”series-title“：”计算机科学讲稿“，”第一页“：”19“，”volume-title“：”Proc。ICDT 1997”，“作者”：“J.D.Ullman”，“年份”：“1996”，“非结构化”：“Ullman，J.D.：使用逻辑视图进行信息集成。In:Afrati，F.N.，Kolaitis，P.G.（eds.）ICDT 1997。LNCS，第00a01186卷，第19页\u201340。Springer，Heidelberg（1996）“}，{”key“：”35_CR14“，”series-title“：”计算机科学讲义“，”第一页“：”343“，”volume-title“：“数据库理论-ICDT 2003”，”author“：”F.Wei“，”year“：”2002“，”unstructured“：”Wei，F.，Lausen，G.：用安全否定包含连接查询。in:Calvanese，D.，Lenzerini，M.，Motwani，R.（eds.）ICDT 2003年。LNCS，第u00a02572卷，第343\u2013357页。Springer，Heidelberg（2002）“}]，“container-title”：[“计算机科学课堂讲稿”，“数据库和专家系统应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3642-23088-235”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2019,6,14]]，“date-time”：“2019-06-14T11:38:27Z”，“timestamp”：1560512307000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com\/10.1007\/978-3642-23088-235“}}”，“subtitle”：[]，“shorttitle”：[]，“issued”：2230875“，”9783642230882“]，”references-count“：14，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3642-23088-235“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，”类型“：”打印“}，{”价值“：”1611-33049“，”类型”：“电子”}]，”主题“：[]，”发布“：{”日期部分“：[2011]]}}}}