鲍里斯·莫提克；亚沃·内诺夫；罗伯特·皮罗；伊恩·霍洛克斯 重新审查数据日志实体化的维护。 （英语） Zbl 1478.68076号 Artif公司。智力。 269, 76-136 (2019). 概要：数据日志是一种基于规则的形式主义，可以公理化递归属性，例如可达性和传递闭包。数据日志实现通常会实现（即预计算和存储）数据日志程序所包含的所有事实和一组显式事实。因此，可以直接在物化事实中回答查询，这有利于查询回答的性能，但当显式事实发生变化时，必须更新物化事实。“从头开始”将所有事实重新实体化可能效率很低，因此已经开发了许多实体化维护算法，旨在有效识别需要更新的事实，从而减少总体工作量。大多数此类方法是计数或删除/重新驱动（DRed）算法的变体。前一组中的算法维护额外的数据结构，并且通常只有在数据日志规则不是递归的情况下才适用，这限制了它们在实践中的适用性。后者中的算法不需要额外的数据结构，可以处理递归规则，但当事实有多个派生时，它们可能效率低下。最后，据我们所知，尚未对这些方法进行比较，也未对其实际适用性进行研究。数据日志在实践中变得越来越重要，因此需要更全面地了解不同物化维护方法之间的权衡。在本文中，我们提出了三种用于分层否定的数据日志的算法：一种可以处理递归规则的新计数算法，一种不重复推导的DRed算法的优化变体，以及一种新的向前/向后/向前（FBF）算法，该算法扩展了DRed以更好地处理具有多重推导的事实。此外，我们还研究了这些算法的最坏情况性能，并在几个示例上比较了这些算法。最后，我们给出了一个广泛的、第一类经验评估的结果，其中我们研究了算法的鲁棒性和缩放行为。因此，我们对所有三种算法提供了重要的理论和实践见解，这将为数据日志系统的未来实现者提供宝贵的指导。 引用于6文件 MSC公司： 第68页，共15页 数据库理论 68N17号 逻辑编程 关键词：数据记录；物化维护；推理；增量更新 软件：DBpedia（数据库）；UniProt公司；LUBM公司；ChEMBL公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Motik}等人，Artif。智力。269、76-136（2019年；Zbl 1478.68076） 全文： 内政部 参考文献： [1] 阿比特布尔，S。；船体，R。；维亚努，V.，《数据库基础》（1995），艾迪森·卫斯理·兹比尔0848.68031 [2] 莫蒂克，B。；格劳（Grau，B.C.）。；霍洛克斯，I。；吴，Z。；Fokoue，A。；Lutz，C.，OWL 2 Web Ontology Language:Profiles（2009），W3C建议书 [3] Luteberget，B。；Johansen，C。；Steffen，M.，《铁路基础设施设计的基于规则的一致性检查》（A braháM，E.；Huisman，M.），《第十二届综合形式方法国际会议议事录》，第十二届关于综合形式方法的国际会议议事记》，IFM 2016。程序。第12届国际集成形式化方法大会。程序。第12届综合形式方法国际会议，IFM 2016，LNCS，第9681卷（2016），Springer，491-507 [4] 皮罗，R。；尼诺夫，Y。；莫蒂克，B。；霍洛克斯，I。；亨德勒，P。；金伯利，S。；Rossman，M.，《医疗保健中数据分析的语义技术》，（Groth，P.T.；Simperl，E.；Gray，A.J.G.；Sabou，M.；Krötzsch，M.、Lécué，F.；Flöck，F.、Gil，Y.，《第15届国际语义网络会议议事录》，第二部分。《第15次国际语义网络大会议事录》第二部分，ISWC 2016。程序。第15届国际语义网大会第二部分。程序。第15届国际语义网络会议，第二部分，ISWC 2016，LNCS，第9982卷（2016），Springer），400-417 [5] Aref，M.，《企业软件的数据日志：从工业应用到研究》（特邀演讲），（Hermenegildo，M.V.；Schaub，T.，《第26届逻辑编程国际会议的技术通信》，第26届国际逻辑编程会议的技术通信》，ICLP 2010。第26届国际逻辑编程会议的技术交流。第26届逻辑编程国际会议的技术交流，ICLP 2010，LIPIcs，第7卷（2010），Schloss Dagstuhl-Leibniz-Zentrum für Informatik），1 [6] Loo，B.T。；康迪，T。；Garofalakis，M.N。；盖伊，D.E。；Hellerstein，J.M。；马尼蒂斯，P。；Ramakrishnan，R。；罗斯科，T。；Stoica，I.，宣言式网络，Commun。ACM，5287-95（2009年） [7] 吴，Z。；Eadon，G。；达斯，S。；Chong，E.I。；科洛夫斯基，V。；Annamalai，M。；Srinivasan，J.，《在oracle中实现RDFS/OWL构造和用户定义规则的推理引擎》，（Alonso，G.；Blakeley，J.A.；Chen，A.L.P.，《第24届数据工程国际会议议事录》，第24届国际数据工程会议议事录，ICDE 2008（2008），IEEE Computer Society），1239-1248 [8] （Gärdefors，P.，信念修订。信念修订，剑桥理论计算机科学丛书，第29卷（2003），剑桥大学出版社）·Zbl 1082.03503号 [9] Dewan，H.M。；奥西·D·。；斯托尔福，S.J。；O.沃尔夫森。；Silva，S.D.，《PARADISER中的增量数据库规则处理》，J.Intell。信息系统。，1, 177-209 (1992) [10] 莫蒂克，B。；尼诺夫，Y。；皮罗，R。；Horrocks，I.，《数据日志物化的增量更新：向后/向前算法》，（Bonet，B.；Koenig，S.，《第29届AAAI人工智能大会议事录》，第29届APAI人工智慧大会议事录，AAAI 2015（2015），AAAI-出版社），1560-1568 [11] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，ACM计算。调查。，33, 374-425 (2001) [12] 乌尔巴尼，J。；Margara，A。；雅各布斯，C.J.H。；范·哈梅伦（F.van Harmelen）。；Bal，H.E.，DynamicTE：动态RDF数据的并行物化，（Alani，H.；Kagal，L.；Fokoue，A.；Groth，P.T.；Biemann，C.；Parreira，J.X.；Aroyo，L.，Noy，N.F.；Welty，C.；Janowicz，K.，《第十二届国际语义网络会议程序》，ISWC 2013。程序。第十二届国际语义网络会议。第十二届国际语义网络会议，ISWC 2013，LNCS，第8218卷（2013），Springer），657-672 [13] 古普塔，A。；Mumick，I.S.，《物化视图的维护：问题、技术和应用》，IEEE数据工程公告。，18, 3-18 (1995) [14] Vista，D.，通过增量查询评估查看关系数据库和演绎数据库中的维护，（Botsford，J.E.；Gawman，A.；Gentleman，W.M.；Kidd，E.；Lyons，K.A.；Slonim，J.；Johnson，J。H.，程序。1994年合作研究高级研究中心会议。程序。1994年合作研究高级研究中心会议，CASCON 1994（1994），IBM，70-76 [15] 布雷克利，J.A。；Larson，P。；Tompa，F.W.，高效更新物化视图，（Zaniolo，C.，ACM SIGMOD Int.Conf.on Management of Data，ACM SI GMOD Interna.Conf.Proc.on Management on Data，SGIGMOD 1986（1986），ACM出版社），61-71 [16] Hanson，E.N.，《视图物化策略的性能分析》，（Dayal，U.；Traiger，I.L.，ACM SIGMOD Int.Conf.on Management of Data。ACM SIGMOD Int Conf.on Management of Data，SIGMOD1987（1987），ACM Press），第440-453页 [17] Ceri，S。；Widom，J.，《导出增量视图维护的生成规则》，（Lohman，G.M.；Sernadas，A.；Camps，R.，第17届超大数据库国际会议论文集。第17届超大数据库国际会议论文集，VLDB 1991（1991），Morgan Kaufmann），577-589 [18] Roussopoulos，N.，《视图缓存的增量访问方法：概念、算法和成本分析》，ACM Trans。数据库系统。，16, 535-563 (1991) [19] 钱，X。；Wiederhold，G.，活动关系表达式的增量重新计算，IEEE Trans。知识。数据工程，337-341（1991） [20] 格里芬，T。；利布金，L。；Trickey，H.，活动关系表达式增量重新计算的改进算法，IEEE Trans。知识。数据工程，9508-511（1997） [21] 格里芬，T。；Libkin，L.，《使用重复项对视图进行增量维护》（Carey，M.J.；Schneider，D.A.，1995年ACM SIGMOD Int.Conf.on Management of Data（1995），ACM出版社），328-339 [22] Vista，D.，《将增量视图维护集成到查询优化器中》，（Schek，H.；Saltor，F.；Ramos，I.；Alonso，G.，《第六届扩展数据库技术国际会议论文集》，EDBT 1998年。程序。第六届扩展数据库技术国际会议。程序。第六届扩展数据库技术国际会议，EDBT 1998，LNCS，vol.1377（1998），Springer），374-388 [23] Vista，D.，优化关系数据库中的增量视图维护表达式（1997），多伦多大学：加拿大安大略省多伦多大学，博士论文 [24] 尼古拉斯·J·M。；Yazdanian，K.，《BDGEN:演绎数据库管理系统概述》，（Mason，R.E.a.，IFIP第九届世界计算机大会（1983），Elsevier Science），711-717 [25] 古普塔，A。；穆米克，I.S。；Subrahmanian，V.S.，《以增量方式维护视图》（Buneman，P.；Jajodia，S.，ACM SIGMOD Int.Conf.on Management of Data。ACM SIGMOD Int Conf.Proc.on Management on Data，SIGMOD1993（1993），ACM Press），157-166 [26] 古普塔，A。；Katiyar，D。；Mumick，I.S.，《视图维护问题的计数解决方案》，（Ramamohanarao，K.；Harland，J.；Dong，G.，演绎数据库研讨会议事录，与演绎数据库研讨会的联合国际会议和逻辑编程专题讨论会议事录，以及联合国际会议。逻辑编程会议和研讨会，技术报告，第CITRI/TR-92-6卷（1992年），墨尔本大学计算机科学系，185-194 [27] O.沃尔夫森。；Dewan，H.M。；斯托尔福，S.J。；Yemini，Y.，《规则的增量评估及其与平行性的关系》，（Clifford，J.；King，R.，《1991年ACM SIGMOD国际数据管理大会议事录》，1991年ACM-SIGMOD-国际数据管理会议议事录，SIGMOD1991（1991），ACM出版社），78-87 [28] 斯塔特，M。；Jarke，M.，《外部物化视图的增量维护》，（Vijayaraman，T.M.；Buchmann，A.P.；Mohan，C.；Sarda，N.L.，《第22届超大数据库国际会议议事录》，VLDB 1996（1996），Morgan Kaufmann），75-86 [29] Kotowski，J。；布莱，F。；Brodt，S.，《推理作为公理的改变——重新考虑增量视图维护》，（Rudolph，S.；Gutierrez，C.，《第五届网络推理和规则系统国际会议的议事录》，第五届互联网推理和规则系统国际会议议事录，RR 2011。程序。第五届国际网络推理与规则系统大会。程序。第五届网络推理和规则系统国际会议，RR 2011，LNCS，第6902卷（2011），Springer），139-154 [30] 卢，J.J。；莫尔科特，G。；施ü，J。；Subrahmanian，V.S.，《物化中介观点的有效维护》，（Carey，M.J.；Schneider，D.A.，《1995年ACM SIGMOD国际数据管理会议议事录》（1995），ACM出版社），340-351 [31] Apt，K.R。；Pugin，J.-M.，《被视为信念修正系统的分层数据库维护》，（Vardi，M.Y.，第六届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集，第六次ACM SIGA CT-SIGMD-SIGART数据库系统原理会论文集，PODS 1987（1987），ACM出版社），136-145 [32] Barbieri，D.F。；布拉加，D。；Ceri，S。；瓦莱，E.D。；Grossniklaus，M.，《关于流和丰富背景知识的增量推理》，（Aroyo，L.；Antoniou，G.；Hyvönen，E.；ten Teije，A.；Stuckenschmidt，H.；Cabral，L.，Tudorace，T.，第七届扩展语义网络会议议事录，ESWC 2010。程序。第七届扩展语义网络会议。程序。第七届扩展语义网络会议，ESWC 2010，LNCS，第6088卷（2010），Springer），1-15 [33] Küchenhoff，V.，《关于有效计算连续数据库状态之间的差异》，（Delobel，C.；Kifer，M.；Masunaga，Y.，《演绎数据库和面向对象数据库第二届国际会议的议事录》，《演绎和面向对象数据库第二届会议的议事记》，DOOD 1991年。程序。第二届演绎和面向对象数据库国际会议。程序。第二届演绎数据库和面向对象数据库国际会议，DOOD 1991，LNCS，第566卷（1991），Springer），478-502 [34] Urpí，T。；Olivé，A.，演绎数据库中的变化计算方法，（Yuan，L.，《第18届超大数据库国际会议议事录》，第18届特大数据库国际会议会议议事录，VLDB 1992（1992），Morgan Kaufmann），225-237 [35] 哈里森·J·V。；Dietrich，S.W.，《演绎数据库中物化视图的维护：更新传播方法》，（Ramamohanarao，K.；Harland，J.；Dong，G.，演绎数据库研讨会论文集，联合国际会议和逻辑编程研讨会论文集。逻辑编程会议和研讨会，技术报告，第CITRI/TR-92-65卷（1992年），墨尔本大学计算机科学系，56-65 [36] Dong，G。；Topor，R.W.，《数据日志查询的增量评估》，（Biskup，J.；Hull，R.，《第四届数据库理论国际会议议事录》，第四届国际数据库理论会议议事录，ICDT 1992年。程序。第四届国际数据库理论大会。程序。第四届数据库理论国际会议，ICDT 1992，LNCS，第646卷（1992），Springer），282-296 [37] Dong，G。；苏，J。；Topor，R.W.，《数据日志查询的非递归增量评估》，Ann.Math。Artif公司。智力。，14, 187-223 (1995) ·Zbl 0855.68026号 [38] Dong，G。；Su，J.，通过一阶查询对传递闭包进行增量和减量计算，Inf.Compute。，120, 101-106 (1995) ·兹比尔083568031 [39] Dong，G。；Pang，C.，在删除节点集和边集后保持第一顺序的传递闭包，Inf.Process。莱特。，62, 193-199 (1997) ·Zbl 1337.68087号 [40] Dong，G。；Ramamohanarao，K.，《通过连接查询维护约束传递闭包》，（Bry，F.；Ramakrishnan，R.；Ramohanaroa，K..，《演绎和面向对象数据库第五届国际会议的议事录》，《演绎数据库和面向对象的数据库第五次国际会议的开会录》，DOOD，1997年。程序。第五届演绎和面向对象数据库国际会议。程序。第五届演绎数据库和面向对象数据库国际会议，DOOD，1997，LNCS，第1341卷（1997），Springer），35-51 [41] 庞，C。；Ramamohanarao，K。；Dong，G.，插入和删除后无向图的所有对最短路径的增量\（FO（+，<）\）维护，（Beeri，C.；Buneman，P.，Proc.of the 7th Int.Conf.on Database Theory。Proc.of the 7th Int.Conf.on Database Theory，ICDT，1999。程序。第七届国际数据库理论大会。程序。第七届数据库理论国际会议，ICDT，1999，LNCS，第1540卷（1999），Springer），365-382 [42] Dong，G。；Su，J.，《数据日志查询的增量有界性和非递归增量评估》，（Gottlob，G.；Vardi，M.Y.，《第五届数据库理论国际会议论文集》，第五届国际数据库理论会议论文集，ICDT，1995年。程序。第五届国际数据库理论大会。程序。第五届数据库理论国际会议，ICDT，1995，LNCS，第893卷（1995），Springer），397-410 [43] Dong，G。；Su，J.，多项式时间数据库查询的一阶增量求值和定义中的Arity界，J.Compute。系统。科学。，57, 289-308 (1998) ·Zbl 0936.68029号 [44] Dong，G。；Su，J.，《确定性FOIES严格来说较弱》，Ann，Math。Artif公司。智力。，19, 127-146 (1997) ·Zbl 0880.68031号 [45] Dong，G。；利布金，L。；Wong，L.，《关系演算和SQL中递归查询的递减重计算不可能》（Atzeni，P.；Tannen，V.，第五届数据库编程语言国际研讨会论文集DBPL-5）。程序。第五届数据库编程语言国际研讨会DBPL-5，计算电子研讨会（1995），Springer，7 [46] 利布金，L。；Wong，L.，带嵌套集和聚合函数的递归查询的增量重新计算，（Cluet，S.；Hull，R.，《第六届数据库编程语言国际研讨会论文集》，第六届国际数据库编程语言研讨会论文集，DBPL-6。程序。第六届数据库编程语言国际研讨会。程序。第六届数据库编程语言国际研讨会，DBPL-6，LNCS，第1369卷（1997），Springer），222-238 [47] Dong，G。；利布金，L。；苏，J。；Wong，L.，《在SQL中维护图的传递闭包》，国际期刊信息技术。，5, 46-78 (1999) [48] Patnaik，S。；Immerman，N.，Dyn-FO：一个并行的动态复杂性类，J.Compute。系统。科学。，55, 199-209 (1997) ·Zbl 0889.68063号 [49] 达塔，S。；Kulkarni，R。；穆克吉，A。；Schwentick，T。；Zeume，T.，《可达性》（Reachability is in DynFO，（Halldórsson，M.M.；Iwama，K.；Kobayashi，N.；Speckmann，B.），第42届自动化、语言和编程国际学术讨论会的会议记录。第42届国际自动化、语言与编程学术讨论会会议记录，ICALP 2015。程序。第42届国际自动化、语言和编程学术讨论会。程序。第42届国际自动化、语言和编程学术讨论会，ICALP 2015，LNCS，第9135卷（2015），Springer），159-170·Zbl 1440.68107号 [50] 泽姆，T。；Schwentick，T.，《动态连接查询》，J.Compute。系统。科学。，88, 3-26 (2017) ·Zbl 1371.68064号 [51] 布雷克利，J.A。；科本，N。；Larson，P.，《更新派生关系：检测无关和自主计算的更新》，ACM Trans。数据库系统。，14, 369-400 (1989) [52] Elkan，C.，《逻辑数据库查询和更新的独立性》，（Rosenkrantz，D.J.；Sagiv，Y.，第九届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集，第九次ACM SIGA CT-SIGMOD-SIGART数据库系统原理会议论文集，PODS 1990（1990），ACM出版社），154-160 [53] 莱维，A.Y。；Sagiv，Y.，《独立于更新的查询》，（Agrawal，R.；Baker，S.；Bell，D.A.，《第19届超大数据库国际会议议事录》，《第十九届超大数据库国家会议议事录，VLDB 1993（1993），Morgan Kaufmann），171-181 [54] 古普塔，A。；贾加迪什，H.V。；Mumick，I.S.，《使用可自我维护视图的数据集成》，（Apers，P.M.G.；Bouzeghoub，M.；Gardarin，G.，第五届国际扩展数据库技术会议议事录。第五届扩展数据库技术国际会议议事录，EDBT，1996年。程序。第五届国际扩展数据库技术大会。程序。第五届扩展数据库技术国际会议，EDBT，1996，LNCS，第1057卷（1996），Springer），140-144 [55] 汤帕，F.W。；Blakeley，J.A.，《在不访问基础数据的情况下维护物化视图》，《信息系统》。，13, 393-406 (1988) ·Zbl 0664.68108号 [56] Segev，A。；Park，J.，《更新分布式物化视图》，IEEE Trans。知识。数据工程，1173-184（1989） [57] 诸葛，Y。；Garcia-Molina，H。；哈默，J。；Widom，J.，在仓库环境中查看维护，（Carey，M.J.；Schneider，D.a.，1995年ACM SIGMOD Int.Conf.on Management of Data 1995年ACM-SIGMOD.Int.Conf on Management of the Data，SIGMOD1995（1995），ACM Press），316-327 [58] 科尔比，L.S。；格里芬，T。；利布金，L。；穆米克，I.S。；Trickey，H.，《延迟视图维护的算法》，（Jagadish，H.V.；Mumick，I.S.，《1996年ACM SIGMOD国际数据管理大会议事录》，1996年ACM-SIGMOD-国际数据管理会议议事录，SIGMOD1996（1996），ACM出版社），469-480 [59] 格里芬，T。；Hull，R.，《实现假设查询的框架》（Peckham，J.，1997年ACM SIGMOD Int.Conf.on Management of Data，1997年AC M SIGMOD Int.Conf on Management of the Data，1997（1997），ACM出版社），231-242 [60] 林赛，B.G。；哈斯，L.M。；莫汉，C。；Pirahesh，H。；Wilms，P.F.，《快照差分刷新算法》，（Zaniolo，C.，《1986年ACM SIGMOD国际数据管理会议议事录》，1986年ACM-SIGMOD-国际数据管理大会议事录，SIGMOD1986（1986），ACM出版社），53-60 [61] 卡勒，B。；Risnes，O.，《为数据库快照刷新扩展日志记录》，（Stocker，P.M.；Kent，W.；Hammersley，P.，《第13届超大数据库国际会议议事录》，《第十三届超大数据库国际会议议事记》，VLDB 1987（1987），Morgan Kaufmann），389-398 [62] de Kleer，J.，《基于假设的TMS》，Artif。智力。，28, 127-162 (1986) [63] Doyle，J.，《真相维护系统》，Artif。智力。，12, 231-272 (1979) [64] Forgy，C.L.，Rete：多模式/多对象模式匹配问题的快速算法，Artif。智力。，19, 17-37 (1982) [65] Klyne，G。；卡罗尔·J·J。；McBride，B.，RDF 1.1：概念和抽象语法（2014） [66] Ross，K.A.，《带否定的数据日志程序的模块分层和魔术集》，J.ACM，41，1216-1266（1994）·Zbl 0830.68028号 [67] 罗马克里希南，I.V。；塞卡尔·R。；Voronkov，A.，术语索引，（Robinson，A.；Voronkov，A.，《自动推理手册》，第二卷（2001年），爱思唯尔科学），1853-1964·Zbl 0992.68189号 [68] Gaulton，A。；Bellis，L.J。；Bento，A.P。；钱伯斯，J。；戴维斯，M。；Hersey，A。；光，Y。；麦克林奇，S。；米哈洛维奇，D。；Al-Lazikani，B。；Overington，J.P.，ChEMBL:药物发现的大规模生物活性数据库，核酸研究，40，1100-1107（2012） [69] 莱曼，J。；Isele，R。；雅各布，M。；Jentzsch，A。；Kontokostas，D。；Mendes，P.N。；Hellmann，S。；莫西，M。；van Kleef，P。；奥尔，S。；Bizer，C.，DBpedia——从维基百科Semant中提取的大规模多语言知识库。Web，6167-195（2015） [70] Fabregat，A。；西迪罗普洛斯，K。；加拉帕蒂，P。；Gillespie，M。；豪斯曼，K。；霍·R。；贾萨尔，B。；朱佩，S。；Korninger，F。；McKay，S.J。；马修斯，L。；B·梅。；米拉西奇，M。；Rothfels，K。；沙莫夫斯基，V。；韦伯，M。；韦瑟，J。；威廉姆斯，M。；吴，G。；斯坦因，L。；Herjakob，H。；D’Eustachio，P.，反应体途径知识库，核酸研究，44，481-487（2016） [71] Consortium，T.U.，UniProt:蛋白质信息中心，核酸研究，43，204-212（2015） [72] 马，L。；杨，Y。；邱，Z。；谢国泰。；潘，Y。；Liu，S.，《走向一个完整的OWL本体基准》，（Sure，Y.；Domingue，J.，《第三届欧洲语义网会议议事录》。《第三次欧洲语义网大会议事录》，ESWC 2006。程序。第三届欧洲语义网络会议。第三届欧洲语义网会议，ESWC 2006，LNCS，第4011卷（2006），Springer），125-139 [73] 郭毅。；潘，Z。；Heflin，J.，LUBM:OWL知识库系统的基准，J.Web Semant。，3, 158-182 (2005) [74] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2007），剑桥大学出版社）·Zbl 1132.68055号 [75] Grosof，B.N。；霍洛克斯，I。；沃尔兹·R。；Decker，S.，《描述逻辑程序：将逻辑程序与描述逻辑相结合》，（第十二届国际万维网会议议事录，第十二届世界万维网大会议事录，WWW 2003（2003），美国计算机学会出版社），48-57 [76] 卡明斯基，M。；尼诺夫，Y。；Grau，B.C.，《析取数据日志程序和非Horn本体的数据日志可重写性》，Artif。智力。，236, 90-118 (2016) ·Zbl 1357.68228号 [77] Hustadt，U。；莫蒂克，B。；美国塞特勒，《通过简化析取数据日志进行描述逻辑推理》，J.Autom。原因。，39, 351-384 (2007) ·Zbl 1132.68735号 [78] 周，Y。；Cuenca Grau，B。；霍洛克斯，I。；吴，Z。；Banerjee，J.，《充分利用你的三重存储：使用RL推理器在OWL 2中进行查询应答》，（Schwabe，D.；Almeida，V.A.F.；Glaser，H.；Baeza-Yates，R.A.；Moon，S.B.，《第22届国际万维网会议议事录》，2013年万维网（WWW），ACM出版社），1569-1580 [79] 莫蒂克，B。；尼诺夫，Y。；皮罗，R。；Horrocks，I.，《将数据日志程序的重写和增量物化维护与平等相结合》，（Yang，Q.；Wooldridge，M.，《第24届国际人工智能联合会议议事录》，《第二十四届国际人工智能联合会议议事稿》，IJCAI 2015（2015），AAAI出版社），3127-3133 [80] Rice，J.A.，《数理统计与数据分析》（2006），布鲁克斯·科尔 [81] 莫蒂克，B。；尼诺夫，Y。；皮罗，R。；霍洛克斯，I。；Olteanu，D.，《集中式主存RDF系统中数据日志程序的并行物化》（Brodley，C.E.；Stone，P.，《第28届AAAI人工智能大会议事录》，第28届APAI人工智能大会议事录，AAAI 2014（2014），APAI出版社），129-137 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。