计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2013年
z1期
32-43
,共12页
XML%类型推导%Twig查询%XML Schema
XML%類型推導%Twig查詢%XML Schema
XML%류형추도%Twig사순%XML Schema
XML%type inference%Twig query%XML Schema
Twig查询是XML数据查询的核心操作.在复杂的XML数据处理中,Twig查询结果的类型信息可以用于优化后续的XML数据查询与处理.针对这种情况,分析了Twig查询的类型推导问题,提出了一种精确的XML类型推导方法,能够根据Twig查询中的结构约束和输入数据的数据类型,推导出查询结果的精确类型,从而为作用于Twig查询结果的XML数据处理提供更加精确的XML类型信息,以支持更深入的静态类型检查和提供更多的类型相关的查询优化的机会.该方法包括XML模式图到XML类型树的转换、XML类型树上的Twig模式匹配、可共存类型节点判断和XML类型树的子类型化,以不同子类型化的XML类型树的形式为不同种类的Twig查询结果提供了精确的类型信息.实验说明了这种类型推导方法的有效性.
Twig查詢是XML數據查詢的覈心操作.在複雜的XML數據處理中,Twig查詢結果的類型信息可以用于優化後續的XML數據查詢與處理.針對這種情況,分析瞭Twig查詢的類型推導問題,提齣瞭一種精確的XML類型推導方法,能夠根據Twig查詢中的結構約束和輸入數據的數據類型,推導齣查詢結果的精確類型,從而為作用于Twig查詢結果的XML數據處理提供更加精確的XML類型信息,以支持更深入的靜態類型檢查和提供更多的類型相關的查詢優化的機會.該方法包括XML模式圖到XML類型樹的轉換、XML類型樹上的Twig模式匹配、可共存類型節點判斷和XML類型樹的子類型化,以不同子類型化的XML類型樹的形式為不同種類的Twig查詢結果提供瞭精確的類型信息.實驗說明瞭這種類型推導方法的有效性.
Twig사순시XML수거사순적핵심조작.재복잡적XML수거처리중,Twig사순결과적류형신식가이용우우화후속적XML수거사순여처리.침대저충정황,분석료Twig사순적류형추도문제,제출료일충정학적XML류형추도방법,능구근거Twig사순중적결구약속화수입수거적수거류형,추도출사순결과적정학류형,종이위작용우Twig사순결과적XML수거처리제공경가정학적XML류형신식,이지지경심입적정태류형검사화제공경다적류형상관적사순우화적궤회.해방법포괄XML모식도도XML류형수적전환、XML류형수상적Twig모식필배、가공존류형절점판단화XML류형수적자류형화,이불동자류형화적XML류형수적형식위불동충류적Twig사순결과제공료정학적류형신식.실험설명료저충류형추도방법적유효성.