再探 Active XML 博弈
数据库
2014-12-19 v1 形式语言与自动机理论
摘要
本文研究了 Active XML 框架中内涵文档的重写机制，并将其抽象为主动上下文无关博弈的形式。本文研究的安全重写问题旨在判定，对于给定的博弈和（嵌套）字，先手玩家 Juliet 是否具有必胜策略；这对应于给定内涵文档是否存在成功的重写策略。本文考察了主动上下文无关博弈的若干扩展。主要扩展允许目标和替换语言使用更具表达力的模式（即 XML 模式和正则嵌套字语言），其效果是博弈在嵌套字而非以往研究中的（平坦）字上进行。其他扩展考虑了 Web 服务输入参数的验证，以及基于服务调用结果插入的替代语义。一般而言，安全重写问题的复杂度极高（双指数时间），但本文识别出了一些有趣的可处理情形。
引用
@article{arxiv.1412.5910,
title = {Games for Active XML Revisited},
author = {Martin Schuster and Thomas Schwentick},
journal= {arXiv preprint arXiv:1412.5910},
year = {2014}
}
备注
To be published in ICDT 2015