×
杰罗姆香槟;雷米·吉伦;奥雷连·勒梅;约阿希姆·尼伦

确定性树自动机和XML模式的有效包含检查。 （英语） Zbl 1191.68377号

Inf.计算。 207，第11期，1181-1208（2009）.
摘要：我们提出了在时间（O（|A|\cdot|B|）中测试树自动机之间的语言包含（L（A）\subseteq L（B））的算法，其中（B）是确定性的（自下而上或自上而下）。我们扩展了我们的算法，用于测试确定性DTD或确定性EDTD中无秩树（A）的自动机的包含情况，它们在时间上具有约束竞争（D）（O（|A|\cdot|\Sigma|\cdot |D|））。以前的算法效率较低或通用性较差。

引用于4文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

树自动机;语言包容性;算法复杂性;XML shemas

软件：

数据日志LITE;勒图尔
PDF格式BibTeX公司 XML格式引用
\textit{J.Champavère}等人，《信息计算》。207，第11号，1181--1208（2009；Zbl 1191.68377）
全文： 内政部

参考文献：

[1] H.Comon、M.Dauchet、R.Gilleron、C.Löding、F.Jacquemard、D.Lugiez、S.Tison、M.Tommasi，《树自动机技术和应用》，可从以下网站获得：<http://www.grappa.univ-lille3.fr/tata网站/; H.Comon、M.Dauchet、R.Gilleron、C.Löding、F.Jacquemard、D.Lugiez、S.Tison、M.Tommasi，《树自动机技术和应用》，可从以下网站获得：<http://www.grappa.univ-lille3.fr/tata网站/
[2] Seidl，H.，有限树自动机的判定等价性，SIAM计算杂志，19，3，424-437（1990）·Zbl 0699.68075号
[3] Seidl，H.，Haskell重载是DEXPTIME-complete，Information Processing Letters，52，2，57-60（1994）·兹比尔083568008
[4] A.Neumann，H.Seidl，《森林中树型的定位匹配》，载于：软件技术和理论计算机科学基础国际会议（FCTTCS），1998年，第134-145页。；A.Neumann，H.Seidl，《森林中树型的定位匹配》，载于：软件技术和理论计算机科学基础国际会议（FCTTCS），1998年，第134-145页。
[5] S.D.Zilio，D.Lugiez，XML模式、树逻辑和滑轮自动机，收录于：重写技术和应用国际会议（RTA），2003年，第246-263页。；S.D.Zilio，D.Lugiez，XML模式，树逻辑和滑轮自动机，收录于：重写技术和应用国际会议（RTA），2003年，第246-263页。
[6] S.Maneth，A.Berlea，T.Perst，H.Seidl，使用宏树转换器进行XML类型检查，见：数据库系统原理研讨会，2005年，第283-294页。；S.Maneth，A.Berlea，T.Perst，H.Seidl，使用宏树转换器进行XML类型检查，收录于：数据库系统原理研讨会，2005年，第283-294页。
[7] Schwentick，T.，XML的自动机——一项调查，《计算机与系统科学杂志》，73，3289-315（2007）·Zbl 1115.68101号
[8] Milo，T。；苏秋（D.Suciu）。；Vianu，V.，类型检查XML转换器，《计算机与系统科学杂志》，第1期，第66期，第66-97页（2003年）·Zbl 1026.68045号
[9] J.Champavère，R.Gilleron，A.Lemay，J.Niehren，一元查询的图式引导归纳法，收录于：语法推理国际学术讨论会（ICGI），2008年，第15-28页。；J.Champavère，R.Gilleron，A.Lemay，J.Niehren，一元查询的图式引导归纳法，收录于：语法推理国际学术讨论会（ICGI），2008年，第15-28页·Zbl 1177.68080号
[10] J.Carme，J.Niehren，M.Tommasi，用逐步树自动机查询未排序的树，载于：国际重写技术与应用会议（RTA），2004年，第105-118页。；J.Carme，J.Niehren，M.Tommasi，用逐步树自动机查询未分类树，收录于：重写技术和应用国际会议（RTA），2004年，第105-118页·Zbl 1187.68188号
[11] G.J.Bex，F.Neven，J.V.den Bussche，DTD与XML Schema:一项实践研究，载于：Web和数据库国际研讨会（WebDB），2004年，第79-84页。；G.J.Bex、F.Neven、J.V.den Bussche，《DTD与XML模式：实践研究》，载于：《网络与数据库国际研讨会》（WebDB），2004年，第79-84页。
[12] Brüggemann-Klein，A。；Wood，D.，《一种明确的正则语言，信息与计算》，142，2182-206（1998）·Zbl 0912.68112号
[13] 马滕斯，W。；Niehren，J.，《关于无等级树的XML模式和树自动机最小化》，《计算机与系统科学杂志》，73，4，550-583（2007）·Zbl 1115.68099号
[14] S.Raeymaekers，基于树自动机归纳的网页信息提取，博士论文，鲁汶大学（2008年1月）。；S.Raeymaekers，基于树自动机归纳的网页信息提取，博士论文，卡托利克大学鲁汶分校（2008年1月）。
[15] Thatcher，J.W.，《通过泛化自动机理论刻画上下文无关文法的派生树》，《计算机与系统科学杂志》，1317-322（1967）·Zbl 0155.01802
[16] A.Brüggemann-Klein，D.Wood，M.Murata，无等级字母上的规则树和规则树篱语言：第1版（2001年4月7日）。可从以下位置获得：<http://www.cs.ust.hk/tcsc/RR/2001-05.ps.gz/; A.Brüggemann-Klein，D.Wood，M.Murata，无等级字母上的规则树和规则树篱语言：第1版（2001年4月7日）。可从以下位置获得：<http://www.cs.ust.hk/tcsc/RR/2001-05.ps.gz/
[17] W.Martens，F.Neven，T.Schwentick，哪些XML模式允许1-pass预订单类型？，摘自：2005年数据库理论国际会议，第68-82页。；W.Martens，F.Neven，T.Schwentick，哪些XML模式允许1-pass预订单类型？，摘自：2005年数据库理论国际会议，第68-82页·Zbl 1112.68356号
[18] 马滕斯，W。；Neven，F。；Schwentick，T。；Bex，G.J.，XML模式的表达性和复杂性，ACM数据库系统事务，31，3，770-813（2006）
[19] van der Vlist，E.，《XML模式》（2002），O'Reilly Media，Inc·Zbl 1001.68026号
[20] van der Vlist，E.，Relax NG（2003），O'Reilly Media公司。
[21] J.Champavère，R.Gilleron，A.Lemay，J.Niehren，确定性树自动机和DTD的有效包含检查，收录于：语言和自动机理论与应用国际会议（LATA），2008年，第184-195页。；J.Champavère，R.Gilleron，A.Lemay，J.Niehren，确定性树自动机和DTD的有效包含检查，收录于：语言和自动机理论与应用国际会议（LATA），2008年，第184-195页·Zbl 1156.68448号
[22] W.Martens，F.Neven，T.Schwentick，简单正则表达式决策问题的复杂性，收录于：计算机科学数学基础国际研讨会，2004年，第889-900页。；W.Martens，F.Neven，T.Schwentick，简单正则表达式决策问题的复杂性，收录于：计算机科学数学基础国际研讨会（MFCS），2004年，第889-900页·Zbl 1097.68066号
[23] A.Tozawa，M.Hagiya，基于半隐式技术的XML模式包含检查，收录于：自动化实现和应用国际会议（CIAA），2003年，第51-61页。；A.Tozawa，M.Hagiya，基于半隐式技术的XML模式包含检查，收录于：自动化实现和应用国际会议（CIAA），2003年，第51-61页。
[24] Ceri，S。；Gottlob，G。；Tanca，L.，关于数据日志，你一直想知道什么（但从来不敢问），IEEE知识数据工程汇刊，1，1146-166（1989）
[25] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，ACM计算调查，33，3，374-425（2001）
[26] Gottlob，G。；Grädel，大肠杆菌。；Veith，H.，Datalog LITE：一种带有线性时间模型检查的演绎查询语言，ACM计算逻辑事务，3，1，42-79（2002）·Zbl 1365.68203号
[27] Minoux，M.，LTUR:Horn公式和计算机实现的简化线性时间单位分辨率算法，《信息处理快报》，29，1，1-12（1988）·Zbl 0658.68110号
[28] Brüggemann-Klein，A.，有限自动机的正则表达式，理论计算机科学，120，2，197-213（1993）·Zbl 0811.68096号
[29] G.Gottlob，C.Koch，树结构数据上的Monadic查询，载于：IEEE计算机科学逻辑研讨会（LICS），2002年，第189-202页。；G.Gottlob，C.Koch，树结构数据上的单数查询，收录于：IEEE计算机科学逻辑研讨会（LICS），2002年，第189-202页。
[30] Virágh，J.，确定性上升树自动机I，《控制论学报》，5，1，33-42（1980）·Zbl 0454.68044号
[31] Murata，M。；Lee，D。；Mani，M.，《使用形式语言理论对XML模式语言进行分类》，ACM Transactions on Internet Technology，5，4，660-704（2005）
[32] 高文，O。；Niehren，J。；Roos，Y.，流树自动机，信息处理快报，109，1，13-17（2008）·Zbl 1191.68241号
[33] R.Alur，《词语与树的结合》，载于：数据库系统原理研讨会，2007年，第233-242页。；R.Alur，《将单词和树结合起来》，载于：数据库系统原理研讨会，2007年，第233-242页·Zbl 1167.68379号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。