大数据查询路径和类型决策问题的研究  

作　　者：沈洁 王向辉[2] 

机构地区：[1]哈尔滨商业大学计算机与信息工程学院 [2]哈尔滨工程大学计算机科学与技术学院

出　　处：《经济技术协作信息》2019年第33期10-10,共1页

基　　金：黑龙江省教育科学技术研究面上项目(No.12531149);哈尔滨商业大学博士科研启动项目(No.12DL025)。

摘　　要：用正则树表示的XML数据中对XPath的决策问题,是大数据查询中常见的方法之一,本文提出了一套实用的、有效的数学模型来解决XPath表达式中的可满足性问题。并通过对一些决策问题,例如带或者不带类型约束的XPath的空、包含、重叠和覆盖问题的实验对于算法进行了证实,实验证明该系统能够有效的被使用于对操作XPath表达式和XML类型注释的程序语言的静态分析器中。

关 键 词：可满足性问题 程序语言 决策问题 大数据查询 XML数据 静态分析器 正则树 类型约束 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]