大卫·卡拉尔;马库斯·科洛奇;马克西米利安·马克思;安娜·奥扎基;塞巴斯蒂安·鲁道夫 用稳定追逐保持约束。 （英语） Zbl 1489.68073号 Kimelfeld，Benny（ed.）等人，第21届数据库理论国际会议，ICDT 2018，奥地利维也纳，2018年3月26日至29日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。98，第12条，第19页（2018年）。 摘要：在具有约束（也称为（元组生成）依赖关系）的数据库上回答连接查询被视为一项中心数据库任务。为此，描述了一种叫做chase的结构的几个版本。给定一组依赖项，有意思的是，在计算跟踪时，保留了给定数据库实例中最初满足的、不包含在\（\ Sigma \）中的哪些约束。此类约束是更一般的附带约束类的一个示例，当将其作为新的依赖项添加到\（\Sigma\）中时，不会影响某些答案，甚至可能会加速查询应答。在正式引入附带约束之后，我们表明，对于生成元组的依赖项，决定附带性是不可判定的，即使在查询包含可判定的情况下。对于具有有限通用模型的依赖集，核心追逐可以用来决定偶然性。对于无限情形，我们提出了稳定追赶，它推广了核心追赶，并研究了它与附带约束的关系。有关整个系列，请参见[Zbl 1387.68024号]. 引用于1文件 MSC公司： 第68页，共15页 数据库理论 关键词：附带约束;元组生成依赖项;无限堆芯追逐;通用模型;BCQ牵涉 软件：Ontop（顶部） PDF格式BibTeX公司 XML格式引用 \textit{D.Carral}等人，LIPIcs——莱布尼茨国际程序。通知。98，第12条，第19页（2018；Zbl 1489.68073） 全文： 内政部 参考文献： [2] 谢尔盖·阿比特布尔和理查德·赫尔。数据函数、数据日志和否定。在{it Proc.SIGMOD}{it Int.Conf.on Management of Data（SIGMOD'88）}中，第143-153页。ACM，1988年。 [3] Jean-François Baget、Michel Leclère、Marie-Laure Mugnier和Eric Salvat。用存在变量扩展规则的可判定情况。在Craig Boutiler编辑的《人工智能国际联合会议（IJCAI'09）》中，第677-682页。IJCAI，2009年。 [4] Jean-François Baget、Michel Leclère、Marie-Laure Mugnier和Eric Salvat。关于存在变量的规则：行走可判定线。{人工智能}，175（9-10）：1620-16542011·Zbl 1225.68247号 [5] Jean-François Baget、Marie-Laure Mugnier、Sebastian Rudolph和Michaöl Thomazo。沿着复杂的线寻找广义的保护存在规则。托比·沃尔什（Toby Walsh），编辑，《第22届国际人工智能联合会议（IJCAI’11）》，第712-717页。AAAI出版社/IJCAI，2011年。 [6] 布鲁斯·鲍斯劳（Bruce L.Bauslaugh）。无限图和结构的类核性质。离散数学，138（1）：101-11119995·Zbl 0821.05053号 [7] 布鲁斯·鲍斯劳（Bruce L.Bauslaugh）。无限有向图的核与紧性。《梳理理论杂志》，第68卷第2期，1996年·Zbl 0861.05028号 [8] Catriel Beeri和Moshe Y.Vardi。数据相关性的证明过程。{it J.ACM}，31（4）：718-7411984·兹比尔0632.68097 [9] 曼努埃尔·博迪尔斯基。可数范畴结构的核心。Volker Diekert和Bruno Durand，编辑，第22届计算机理论方面年度研讨会，计算机科学讲义第3404卷，第110-120页。斯普林格，2005年·Zbl 1119.68096号 [11] 皮埃尔·布赫斯（Pierre Bourhis）、马库斯·克罗茨奇（Markus Krötzsch）和塞巴斯蒂安·鲁道夫（Sebastian Rudolph）。合理的高表达性查询语言。杨强（Qiang Yang）和迈克尔·伍尔德里奇（Michael Wooldridge）主编，《第24届国际联合公报》（Proc.24th Int.Joint）第2826-2832页。AAAI出版社，2015年。 [12] 安德烈亚·卡尔、格奥尔格·戈特洛布和安德烈亚斯·皮尔斯。走向更具表现力的本体语言：查询-回答问题。《艺术情报杂志》，193:87-1282012·Zbl 1270.68293号 [13] 迭戈·卡尔瓦内斯（Diego Calvanee）、朱塞佩·德贾科莫（Giuseppe De Giacomo）、毛里齐奥·伦泽里尼（Maurizio Lenzerini）和莫舍·瓦尔迪（Moshe Y.Vardi）。常规路径查询的推理。{\it-SIGMOD记录}，32（4）：83-922003。 [14] ：19最后，∑3包含规则头{\itq}{\ite}（{\itx}）→ 停顿（{\itx}）（17）右（{\it x，y}）∧停顿→ 暂停（{\itx}）（18）下一步（{\it x，y}）∧暂停→ 暂停（{\itx}）（19），如果TM曾经到达{\itq}{\ite}，则将暂停传播回第一个磁带的第一个位置。我们认为，当∑M=∑1∑2∑3∑M是泛停的时，{itρ}是偶然的。实际上，如果M普遍停止，那么∑M的任何通用模型都会停止传播回每个TM模拟中第一个磁带的第一个单元，因此该模型已经满足了规则。相反，如果M不是普遍停止的，那么有一个输入{它w}={它w}1··{它w}{它n}在其上不停止。∑M的任何通用模型都包含{\it w}的初始带，第一个位置没有用停顿标记。BCQ∃{\it} [15] 斯塔夫罗斯·科斯马达基斯（Stavros S.Cosmadakis）、哈伊姆·盖夫曼（Haim Gaifman）、巴黎·C·卡内拉基斯（Paris C.Kanellakis）和摩西·瓦尔迪（Moshe Y.Vardi）。数据库逻辑程序的可决定优化问题（初步报告）。Janos Simon，编辑，《第20届ACM计算机理论年会（STOC'88）》，第477-490页。ACM，1988年。 [16] :17 [17] :18 [18] 伯纳多·昆卡·格劳（Bernardo Cuenca Grau）、伊恩·霍洛克斯（Ian Horrocks）、马克斯·科洛奇（Markus Krötzsch）、克莱门斯·库普克（Clemens Kupke）、德斯波伊娜·马加（Despoina Magka）、鲍里斯·莫蒂克。存在规则的非循环概念及其在本体中查询应答中的应用。{人工智能研究杂志}，47:741-8082013·Zbl 1270.68295号 [19] Alin Deutsch、Alan Nash和Jeffrey B.Remmel。追逐再次上演。编辑Maurizio Lenzerini和Domenico Lembo，第27届数据库系统原理研讨会，第149-158页。ACM，2008年。 [20] Alin Deutsch和Val Tannen。XML查询和约束的重新格式化。在Diego Calvanee、Maurizio Lenzerini和Rajeev Motwani编辑的《数据库第九届国际会议论文集》（ICDT'03）中，第2572卷，第225-241页。斯普林格，2003年·Zbl 1022.68507号 [21] 罗纳德·费金、Phokion G.Kolaitis、Reneée J.Miller和Lucian Popa。数据交换：语义和查询回答。{\it理论计算机科学}，336（1）：89-1242005·兹比尔1080.68019 [22] 罗纳德·费金（Ronald Fagin）、菲肯·G·科莱蒂斯（Phokion G.Kolaitis）和卢西安·波帕（Lucian Popa）。数据交换：到达核心。{\it-ACM事务数据库系统}，30（1）：174-2102005·Zbl 1326.68119号 [23] 丹妮拉·弗洛雷斯库（Daniela Florescu）、阿隆·利维（Alon Levy）和丹·苏西乌（Dan Suciu）。用正则表达式连接查询的查询包含。在Alberto O.Mendelzon和Jan Paredaens编辑的《数据库系统原理研讨会（PODS’98）》中，第139-148页。ACM，1998年。 [24] 乔治·戈特洛布（Georg Gottlob）和克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。关于单规则数据日志查询的复杂性。{信息计算}，183（1）：104-1222003·Zbl 1055.68033号 [25] 帕沃尔·赫尔和雅罗斯拉夫·内什等人。图的核心。{离散数学}，109:117-1261992·Zbl 0803.68080号 [26] 马库斯·克罗茨奇（Markus Krötzsch）和塞巴斯蒂安·鲁道夫（Sebastian Rudolph）。通过加入无环性和警戒性来扩展可判定存在规则。托比·沃尔什（Toby Walsh），编辑，《人工智能第22届国际联合会议》，第963-968页。AAAI出版社/IJCAI，2011年。 [27] Markus Krötzsch和Veronika Thost。知识图的本体论：打破规则。在Yolanda Gil、Elena Simperl、Paul Groth、Freddy Lecue、Markus Krötzsch、Alasdair Gray、Marta Sabou、Fabian Flöck和Hideaki Takeda的编辑中，{it Proc.15th Int.Semantic Web}{it Conf.（ISWC'16）}，第9981卷，第376-392页。斯普林格，2016年。 [28] David Maier、Alberto O.Mendelzon和Yehoshua Sagiv。测试数据依赖性的含义。{\it ACM数据库系统事务}，4:455-4691979。 [29] 布鲁诺·马内特（Bruno Marnette）。广义模式映射：从终止到可处理。编辑Jan Paredans和Jianwen Su，第28届数据库系统原理研讨会（PODS’09），第13-22页。ACM，2009年。 [30] 玛丽亚诺·罗德里格斯·穆罗（Mariano Rodriguez-Muro）、罗曼·孔查科夫（Roman Kontchakov）和迈克尔·扎克哈里亚舍夫（Michael Zakharyaschev）。基于本体的数据访问：在数据库之上。Harith Alani、Lalana Kagal、Achille Fokoue、Paul T.Groth、Chris Biemann、Josiane Xavier Parreira、Lora Aroyo、Natasha F.Noy、Chris Welty和Krzysztof Janowicz，编辑，《第12届国际语义网络会议论文集》（ISWC'13），《计算机科学讲义》第8218卷，第558-573页。施普林格，2013年。 [31] 小哈特利·罗杰斯（Hartley Rogers，Jr.）的递归函数和有效可计算性理论。麻省理工学院出版社，平装版，1987年。 [32] 塞巴斯蒂安·鲁道夫（Sebastian Rudolph）和马库斯·科洛奇（Markus Krötzsch）。标记和检查：使用单数定义的查询进行数据访问。理查德·赫尔（Richard Hull）和范文飞（Wenfei Fan），编辑，第32届数据库系统原理研讨会，第151-162页。ACM，2013年。 [33] 叶霍舒亚·萨吉夫（Yehoshua Sagiv）。优化数据日志程序。在Moshe Y.Vardi编辑的《第六届ACM会议程序》（SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems，PODS'87）中，第349-362页。ACM，1987年。 [34] 王珂和李彦元。在确定的DATALOG程序中保持完整性约束。{\it Inf.Process.Lett.}，44（4）：185-1931992年·Zbl 0774.68036号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。