作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方...作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。展开更多
针对异构数据格式转换问题,提出一种基于上下文无关文法(Context-Free LanguageCFG)的数据格式转换描述语言(Data Format Transformation Language DFTL)。DFTL采用XMLSchema描述数据的逻辑结构,定义扩展标记描述数据解析和模型映射规...针对异构数据格式转换问题,提出一种基于上下文无关文法(Context-Free LanguageCFG)的数据格式转换描述语言(Data Format Transformation Language DFTL)。DFTL采用XMLSchema描述数据的逻辑结构,定义扩展标记描述数据解析和模型映射规则。实验研究证明,基于DFTL可实现不同类型的数据格式到XML格式的转换,为异构数据访问提供统一的XML视图。展开更多
文摘作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。
基金"十一五"国防预研项目(513060601)Xidian Graduate in Novation Foundation(05009)
文摘针对异构数据格式转换问题,提出一种基于上下文无关文法(Context-Free LanguageCFG)的数据格式转换描述语言(Data Format Transformation Language DFTL)。DFTL采用XMLSchema描述数据的逻辑结构,定义扩展标记描述数据解析和模型映射规则。实验研究证明,基于DFTL可实现不同类型的数据格式到XML格式的转换,为异构数据访问提供统一的XML视图。