{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,20]]，“日期时间”：“2024-04-20T18:10:01Z”，“时间戳”：17136601998}，“出版商位置”：“柏林，海德堡”，“参考计数”：17，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540620648”，“类型”：“打印”}，{“值”：“9783540496373”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[1996]}，”DOI“：”10.1007\/3-540-62064-8_35“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T22:33:21 Z“，”timestamp“：1330295601000}，”page“：”420-432“，”source“：“Crossref”，“被计数引用”：5，“title”：[“关于动态演绎数据库的稳态行为”]，“prefix”：“10.1007”，“author”：[｛”给定“：“Michael I.”，“family”：“Dekhtyar”，“sequence”：“first”，“affiliation”：[]｝，｛”给定“：“Alexander Ja.”，“family”：“Dikovsky”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“published online”：｛“date parts”：[[2005,6,3]]}，“reference”：[{“key”：“35_CR1”，“unstructured”：“Abiteboul，S.，Vianu，V.，数据库查询和更新的数据日志扩展，I.N.R.I.A.第900号技术报告，1988年。”}，{“密钥”：“35 _CR2”，“doi-asserted-by”：“crossref”，《首页》：“89”，“doi”：“10.1016\/B978-0-934613-40-8.50006-3”，“volume-title”：“演绎数据库和逻辑编程的基础”，“作者”：“K.R.Apt”，“年份”：“1988”，“非结构化”：“Apt，K.R.，Blair，H.和Walker A.，走向陈述性知识理论。in：J.Minker（ed.）演绎数据库和逻辑编程的基础。Morgan Kaufman Pub.，Los Altos，89\u20131481988。”}，{“key”：“35_CR3”，“doi-asserted-by”：“crossref”，“first page”：“3”，“doi”：“10.1016\/0304-3975（90：“Bonner，A.G.，Kifer，M.，《事务逻辑编程》，《第十届逻辑编程实习生大会论文集》，麻省理工学院出版社，257\u20132791993年。”}，{“问题”：“n.1”，“键”：“35_CR5”，“doi-asserted-by”：“crossref”，“首页”：“114”，《doi》：“10.1145\/32234.32243”，“卷”：“28”，“作者”：“A.K.Chandra”，“年份”：“1981”，“非结构化”：“Chandra，A.K.，Kozen，D.C.，Stockmeyer，L.J.，Alternation.J.Ass.Compute.Mach.，v.28，n.1，114\u2013133，1981.”，“日记标题”：“J.Ass.Compute.Mah.”}，{“key”：“35_CR6”，“unstructured”：“Dekhtyar，M.I.，Dikovsky，A.Ja.，动态演绎数据库。俄罗斯科学院Izvestiya，n.5，1994，（Russ）。”}R7英寸，“doi-asserted-by”：“crossref”，“unstructured”：“Dekhtyar，M.I.，Dikovsky，A.Ja.，《具有稳定行为的动态演绎数据库》，《第十二届逻辑编程国际会议论文集》（Ed.L.Sterling），麻省理工出版社，183\u20131971995年。”，“doi”：“10.7551\/mitpress\/4298.003.0026”}，{“key”：“35_CR8”，“非结构化”：“Dekhtyar，M.I.，Dikovsky，A.Ja.，动态推导数据库稳态行为的特性.第I部分\u2203\u2203-稳定性和前景.技术报告95-07，巴黎第XII-Val De Marne大学，1995年9月，1\u201326.”}，{“key”：“35_CR9”，“非结构化”：“Dung，P.M.，《逻辑编程中的动作表示及其在数据库更新中的应用》，第十届逻辑编程实习生会议论文集，麻省理工学院出版社，222\u20132381993年。”}，{“key”：“35_CR10”，“doi-asserted-by”：“crossref”，“first page”：《227》，“doi”：“10.1016\/0004-3702（92）90018-S”，《volume》：“57”，“author”：“T.Eiter”，“year”：“1992”，“非结构化”：“Eiter，T.，Gottlob，G.，《论命题知识库修订、更新和反事实的复杂性》，《人工智能》，第57卷，第227\u2013270页，1992年。”，“期刊标题”：“人工智能”}，{“问题”：“n.2”，“密钥”：“35_CR11”，“doi-asserted-by”：“crossref”，“首页”：“153”，《doi》：“10.1145”，356924.356929”，“卷”：“16”，“author”：“H.Gallaire”，“year”：“1984年”，“unstructured”：“Galaire，H.，Minker，J.，Nicolas，J.-M.，Logic and databases:a deductive approach.ACM Computing Surveys，vol.16，n.2，153\u2013185，1984.”，“journal-title”：“ACM Competing Surveies”}，{“key”：“35_CR12”，“doi-asserted-by”：“crossref”，”unstructure“：“Halfeld Ferrari Alves，M.，Laurent，D.，Spyratos，N.，Stamate，D.，更新规则和修订程序。Recherche Rapport N.1010，12\/1995，University \u00e9 de Paris-Sud，Centre D'Orsay，LRI。”，“DOI”：“10.1007\/3-540-59487-6_6”}，{“key”：“35_CR13”，“DOI-asserted-by”：“crossref”，“first page”：”253“，“DOI:”10.1016\/0004-3702（91）90069-V“，“体积”：“52”，“author”：“H.Katsuno”，“year”：“1991”，“unstructured”：“Katsuna，H.，Mendelzon，A.O.，Propositional knowledge base revision and minimal change.Artificial Intelligence，vol.52，253\u20132941991.”，“journal-title”：“Artificulative Intelligation”}，{“key”：“35_CR14”，“doi-asserted-by”：“crossref”，“first page”：”“363”，“doi”：“10.1016\/B978-0-934613-40-8.50014-2”，“volume-title”：“演绎数据库和逻辑编程基础”，“author”：“S.Manchanda”，“year”：“1988”，“unstructured”：“Manchanda，S.，Warren，D.S.，一种用于数据库更新的基于逻辑的语言。J.Minker，编辑，《演绎数据库和逻辑学编程基础》，Morgan-Kaufmann，Los Altos，CA，363\u20133941988。”}，{“key”：“35_CR15”，“非结构化”：“Marek，V.W.，Truszci\u0144sky，M.Revision programming，database updates and integrity constraints.In International Conference on Data Base theory，ICDT，LNCS n.893.”}，{“key”：“35-CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Naqvi，S.，Krishnamurthy，R.，逻辑编程中的数据库更新。在ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会上，251\u20132621988。”，“DOI”：“10.1145\/308386.308451”}，{“key”：“35_CR17”，“DOI-asserted-by”：“crossref”，“first page”：：“演绎数据库和逻辑编程的基础”，“作者”：“F.Sadri”，“年份”：“1988”，“非结构化”：“Sadri，F.，Kowalski，R.，数据库完整性的定理证明方法。J.Minker，编辑，《演绎数据库和逻辑学编程的基础》，Morgan-Kaufmann，Los Altos，CA，313\u20133621988。”}]，“container-title”：[“计算机科学讲义”，“系统信息学的观点”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-62064-8_35.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2024,20]]，“date-time”：“2024-04-20T17:50:29Z”，“timestamp”：1713635429000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-62064-8_35”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[1996]}，‘ISBN’：[”9783540620648“，”97835496373“]，”references-count“：17，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-62064-8_35“，”关系“：{}，”ISSN“用法：[“0302-9743”，“1611-3349”]，“issn-type”：[{“value”：“0302-7743”