计算机科学与探索
計算機科學與探索
계산궤과학여탐색
JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY
2013年
5期
431-441
,共11页
可扩展标记语言(XML)%树模式%XML树模式描述语言(XTPL)%指称语义%树模式提取
可擴展標記語言(XML)%樹模式%XML樹模式描述語言(XTPL)%指稱語義%樹模式提取
가확전표기어언(XML)%수모식%XML수모식묘술어언(XTPL)%지칭어의%수모식제취
extensible markup language (XML)%tree pattern%XML tree pattern language (XTPL)%denotational semantic%tree pattern extraction
作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义.针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性.同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法.
作為XML(extensible markup language)數據查詢的覈心操作,樹模式查詢的應用前景廣汎,其研究具有重要意義.針對擴展的樹模式GTP++(generalized tree pattern)提齣瞭一種樹模式描述語言XTPL(XML tree pattern language),採用指稱語義方式給齣其完整的語義描述,使得形式化方法可以用于分析樹模式查詢的行為特徵,有助于驗證XML查詢的正確性,以及提高查詢處理方法的可靠性和魯棒性.同時以路徑錶達式為例,以指稱語義的方式給齣瞭從路徑錶達式提取樹模式的算法.
작위XML(extensible markup language)수거사순적핵심조작,수모식사순적응용전경엄범,기연구구유중요의의.침대확전적수모식GTP++(generalized tree pattern)제출료일충수모식묘술어언XTPL(XML tree pattern language),채용지칭어의방식급출기완정적어의묘술,사득형식화방법가이용우분석수모식사순적행위특정,유조우험증XML사순적정학성,이급제고사순처리방법적가고성화로봉성.동시이로경표체식위례,이지칭어의적방식급출료종로경표체식제취수모식적산법.
@@@@As the core operation of XML (extensible markup language) query, tree pattern query has a broad applica-tion prospect. Its study has important significance. This paper presents a tree pattern description language XTPL (XML tree pattern language) for the GTP++which is extended from generalized tree pattern, and uses denotational semantic to give the complete semantic description of XTPL. The denotational semantic of XTPL makes formal methods can be used for the analysis of tree pattern query in the behavior characteristic. It also conduces to verifying the correctness of XML query, and improves the reliability and robustness of query methods. Then, taking the path expression as an example, this paper presents a tree pattern extraction algorithm described by denotational semantic, which extracts tree pattern from path expressions.