托尼·谭 用数据值及其自动机的顺序扩展数据树上的双变量逻辑。 （英语） Zbl 1287.03077号 ACM事务处理。计算。日志。 第15号第1条第8条第39页（2014年）. 引用于6文件 MSC公司： 03B70号 计算机科学中的逻辑 05年3月 与逻辑问题相关的自动机和形式文法 68第05页 数据结构 65年第68季度 算法和问题复杂性分析 关键词：有限状态自动机;数据树;有序数据值;双变量逻辑 软件：XPath（XPath） PDF格式BibTeX公司 XML格式引用 \textit{T.Tan}，ACM事务处理。计算。日志。15，第1号，第8条，第39页（2014年；Zbl 1287.03077） 全文： 内政部 arXiv公司 链接 参考文献： [1] N.Alon、T.Milo、F.Neven、D.Suciu和V.Vianu。2003.带数据值的XML：重新检查类型。J.计算。系统。科学。66, 4, 688–727. ·Zbl 1054.68035号 ·doi:10.1016/S0022-0000（03）00032-1 [2] M.Arenas、W.Fan和L.Libkin，2008年。关于验证XML规范一致性的复杂性。SIAM J.计算。38841–880·Zbl 1186.68156号 ·doi:10.1137/050646895 [3] M.Benedikt、C.Ley和G.Puppis。2010.数据词的自动与逻辑。第24届计算机科学逻辑国际研讨会论文集（CSL’10）。《计算机科学讲义》，第6247卷，柏林斯普林格·弗拉格，110-124·Zbl 1287.03086号 [4] H.Bjö；rklund和M.Bojanczyk。2007.有界深度数据树。第34届国际自动化、语言和编程学术讨论会（ICALP’07）会议记录。《计算机科学讲义》，第4596卷，柏林施普林格-弗拉格，862-874·Zbl 1171.68432号 [5] H.Bjö；rklund、W.Martens和T.Schwentick。2008.使用模式信息优化树上的连接查询。第33届计算机科学数学基础国际研讨会论文集（MFCS'08）。《计算机科学讲义》，第5162卷，柏林斯普林格-Verlag，132-143·Zbl 1173.68473号 [6] M.Bojanczyk、C.David、A.Muscholl、T.Schwentick和L.Segoufin。2011年a。数据字上的双变量逻辑。ACM事务处理。计算。逻辑12、4、27·Zbl 1352.03041号 [7] M.Bojanczyk、B.Klin和S.Lasota。2011年b。自动执行组操作。在第26届IEEE计算机科学逻辑年度研讨会（LICS’11）上发表。355–364. [8] M.Bojanczyk、A.Muscholl、T.Schwentick和L.Segoufin。2009.关于数据树和XML推理的双变量逻辑。《美国临床医学杂志》第56卷第3页·Zbl 1325.68078号 ·doi:10.1145/1516512.1516515 [9] P.Bouyer、A.Petit和D.Thé；里恩。2001.数据和时间语言的代数特征。第十二届并行理论国际会议论文集（CONCUR’01）。《计算机科学讲义》，第2154卷，施普林格出版社，柏林，248-261·Zbl 1006.68078号 [10] H.Comon，M.Dauchet，R.Gilleron，C.Lö；丁、F.Jacquemard、D.Lugiez、S.Tison和M.Tommasi。2007.树自动机技术和应用。http://www.grappa.univ-lille3.fr/tata。（上次访问时间10/07）。 [11] C.David、L.Libkin和T.Tan。2010.关于数据字上二元逻辑的可满足性。第17届国际程序设计、人工智能和推理逻辑会议（LPAR-17）论文集。《计算机科学讲义》，第6397卷，柏林斯普林格-Verlag，248-262·Zbl 1307.03020号 [12] C.David、L.Libkin和T.Tan。2012.通过整数线性规划对数据树进行高效推理。ACM事务处理。数据库。系统。37, 3, 19. [13] S.Demri、D.D’Souza和R.Gascon。2007.重复值的可判定时间逻辑。计算机科学逻辑基础国际研讨会论文集（LFCS'07）。《计算机科学讲义》，第4514卷，柏林斯普林格·弗拉格，180-194年·Zbl 1132.03337号 [14] S.Demri和R.Lazić；。2009.带有冻结量词和注册自动机的LTL。ACM事务处理。计算。逻辑10，3·Zbl 1351.68158号 [15] A.Deutsch、R.Hull、F.Patrizi和V.Vianu。2009.以数据为中心的业务流程的自动验证。第十二届数据库理论国际会议论文集（ICDT'09）。252–267之间·数字对象标识代码：10.1145/1514894.1514924 [16] W.Fan和L.Libkin，2002年。DTD存在时的XML完整性约束。美国临床医学杂志49、3、368–406·Zbl 1326.68120号 ·doi:10.1145/567112.567117 [17] D.菲格拉。2009.向下XPath与数据相等测试的可满足性。第28届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会会议记录（PODS'09）。197–206. ·doi:10.145/1559795.1559827 [18] D.菲格拉。2011.关于数据词的可判定双向逻辑。第26届计算机科学逻辑年度研讨会（LICS’11）论文集。365–374. [19] D.菲格拉。2012年a。有限数据字和树上的交替寄存器自动机。逻辑。计算方法。科学。8, 1. ·Zbl 1238.68074号 ·doi:10.2168/LMCS-8（1:22）2012 [20] D.菲格拉。2012年b。有限线性阶上具有两个后继关系的二元逻辑的可满足性。http://arxiv.org/abs/1204.2495。 [21] D.Figueira、P.Hofman和S.Lasota。2010.关联定时和注册自动机。第17届并发表达能力国际研讨会论文集（EXPRESS’10）·Zbl 1362.68138号 ·doi:10.4204/EPTCS.41.5 [22] D.Figueira和L.Segoufin。2011.数据树和垂直XPath上的自下而上自动机。《计算机科学理论方面研讨会论文集》（STACS’11）·Zbl 1230.68128号 [23] O.Grumberg、O.Kupferman和S.Sheinvald。2010.无限字母上的可变自动机。第四届语言与自动机理论与应用国际会议论文集（LATA’10）。《计算机科学讲义》，第6031卷，柏林斯普林格-Verlag，561-572·兹比尔1284.68352 [24] J.哈尔佩恩。1991.带有一元谓词的Presburger算术是&pi<；子62；1</子>；完成。J.符号。逻辑56、2、637–642·Zbl 0738.03017号 ·doi:10.2307/2274706 [25] M.Jurdzinski和R.Lazic。2011.数据树上的交替自动机和XPath可满足性。ACM事务处理。计算。逻辑12、3、19。 [26] M.Kaminski和N.Francez。1994年。有限记忆自动机。西奥。计算。科学。134, 2, 329–363. ·Zbl 0938.68711号 ·doi:10.1016/0304-3975（94）90242-9 [27] A.Kara、T.Schwentick和T.Tan。2012.双变量逻辑的可行自动机，数据字上有后继。第六届语言与自动机理论与应用国际会议论文集（LATA’12）。《计算机科学讲义》，第7183卷，柏林斯普林格-Verlag，351-362·Zbl 1351.03026号 [28] R.Lazić；。2011.数据字安全交替自动机。ACM事务处理。计算。逻辑12、2、10·Zbl 1352.03014号 [29] L.Libkin，2004年。有限模型理论基础。理论计算机科学课文，施普林格·Zbl 1060.03002号 ·doi:10.1007/978-3-662-07003-1 [30] A.D.曼努埃尔。2010年。两个变量和两个后继变量。第35届计算机科学数学基础国际研讨会（MFCS’10）论文集。《计算机科学讲义》，第6281卷，柏林斯普林格-Verlag，513-524·Zbl 1287.03027号 [31] F.内文。2002.自动化、逻辑和XML。第16届计算机科学逻辑国际研讨会论文集（CSL’02）。《计算机科学讲义》，第2471卷，施普林格出版社，柏林，2-26·Zbl 1020.68044号 [32] F.Neven、T.Schwentick和V.Vianu。2004.无限字母字符串的有限状态机。ACM事务处理。计算。逻辑5、3、403–435·Zbl 1367.68175号 ·doi:10.1145/101350.1013562 [33] T.Schwentick。2004.XPath查询包含。SIGMOD记录33、1、101–109·数字对象标识代码：10.1145/974121.974140 [34] T.施文提克和T.泽姆。2010.具有二阶关系的双变量逻辑。第24届计算机科学逻辑国际研讨会论文集（CSL’10）。《计算机科学讲义》，第6247卷，柏林斯普林格-Verlag，499–513·Zbl 1238.03030号 [35] L.Segoufin和S.Torunczyk。2011.线性排序数据域上基于自动化的验证。《计算机科学理论方面研讨会论文集》（STACS’11）。 [36] H.Seidl、T.Schwentick、A.Muscholl和P.Habermehl。2004年，在树上免费计数。第31届国际自动化、语言和编程学术讨论会（ICALP’04）会议记录。《计算机科学讲义》，第3142卷，柏林斯普林格·弗拉格，1136-1149·Zbl 1099.03010号 [37] J.撒切尔。1967年。通过有限自动机理论的推广刻画无上下文文法的派生树。J.计算。系统。科学。1, 4, 317–322. ·Zbl 0155.01802 ·doi:10.1016/S0022-0000（67）80022-9 [38] W·托马斯。1997.语言、自动机和逻辑。《形式语言手册》，第3卷，超越文字，斯普林格出版社，389–455。 [39] K.N.Verma、H.Seidl和T.Schwentick。2005.关于等式Horn子句的复杂性。第20届自动扣除国际会议（CADE-20）论文集。《计算机科学讲义》，第3632卷，柏林斯普林格·弗拉格，337-352·Zbl 1135.94331号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。