XML Transformation Language Based On Monadic Second Order Logic

XML Transformation Language Based On Monadic Second Order Logic
复制标题

基于一元二阶逻辑的XML转换语言

DOI:
--
复制
发表时间:
2006
期刊:
第8回プログラミングおよびプログラミング言語ワークショップ予稿集
影响因子:
--
通讯作者:
細谷 晴夫
細谷 晴夫
中科院分区:
--
文献类型:
--
作者:
稲葉 一浩;細谷 晴夫

文献摘要

参考文献

被引文献

相似文献

基于属性语法的结构化文档查询语言的表达能力
DOI: --
发表时间: 1998
期刊: JACM
影响因子: --
作者:
F. Neven;J. V. D. Bussche
通讯作者: J. V. D. Bussche
二进制查询
DOI: --
发表时间: 2002
期刊: --
影响因子: --
作者:
A. Berlea;H. Seidl
通讯作者: H. Seidl
半结构化数据的类型检查
DOI: --
发表时间: 2001
期刊: International Workshop/Symposium on Database Programming Languages
影响因子: --
作者:
Dan Suciu
通讯作者: Dan Suciu
使用宏树转换器进行 XML 类型检查
DOI: --
发表时间: 2005
期刊: ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
影响因子: --
作者:
S. Maneth;A. Berlea;T. Perst;H. Seidl
通讯作者: H. Seidl
DOI: --
发表时间: 2007
期刊: PLAN-X 2007 Informal Proceedings 1
影响因子: --
作者:
Kazuhiro Inaba;Haruo Hosoya
通讯作者: Haruo Hosoya