基于XML路径和类型的决策问题的研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:xibao774313066
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种算法来分析用正则树表示的XML数据中对XPath的决策问题,并用该方法检查XPath静态类型的数据。此外根据对有限顺序树的带逆操作的逻辑的判定性定理,证明了算法时间复杂度为简单的一个表达式的指数级大小。提出了一套实用的、有效的数学模型来解决XPath表达式中的可满足性问题。并通过对一些决策问题,例如带或者不带类型约束的XPath的空、包含、重叠和覆盖问题的实验对算法进行了证实,实验证明该系统能够有效用于对操作XPath表达式和XML类型注释的程序语言的静态分析器中。
其他文献
Ising图模型概率推理的主要工作是通过变量求和来计算配分函数和边缘概率分布。传统计算复杂性理论证明Ising图模型精确概率推理是#P难的,并且Ising图模型近似概率推理是NP难
隐喻识别是自然语言处理的一个重要研究分支。目前人们越来越清楚地认识到隐喻在思维及语言中所处的中心地位。从计算语言学和自然语言处理的角度来考虑,隐喻问题若不能得到
总行于2010年在全国范围推广应用固定资产管理系统(网络版),各级人民银行于2010年5月开始进行系统建账,完成系统设置、卡片录入、历史报表数据录入等初始工作,7月份系统正式上线运
以学习者为中心的学习评价标准从知识转向了能力。把虚拟学习社区作为E-learning学习的平台,基于虚拟学习社区和E-learning学习的特点,结合个人学习能力、学习协作能力以及成
有个小姑娘,很娇,动不动就发脾气,把嘴巴翘得挺高挺高。这一天,奶奶带她去公园玩,奶奶叫她别乱跑,她就把嘴巴翘起来了。奶奶说她:"你怎么不听话啦,别老翘嘴巴呀!"小姑娘回答:
针对YLKJ-3000型数字化粮情测控系统性能进行了相关试验,介绍了数字式温度湿度传感器、数字总线远程采集单元、PLC自动控制器、系统软件和测试结果等。实际运行结果表明:该系统
目的探讨腹腔镜联合胆道镜钬激光碎石治疗肝内外胆管结石的临床效果和体会.方法选取50例肝内外胆管结石患者作为研究对象,采用随机数字抽签分组法分为2组各25例,其中采取腹腔
伍尔夫的“生命三部曲”有着鲜明的废墟化创作特色,即具有破碎化、忧郁化、多义化特征。其笔下的废墟世界充满着拾荒者和城市边缘人的心灵创伤,演绎着死亡与重生的对立统一,
基于对道路交通流量的调查分析和路段车流情况的统计,运用寻优拟合以及K—S检验法提出了确定路段高峰车流分布规律的研究方法,并且运用该方法对实际路段车流分布进行了分析研究
膜分离技术是21世纪最有前途的水处理技术之一,因其具有占地面积小、出水水质稳定、易进行自动控制等优点,在水处理领域受到了广泛的重视。由于微滤膜和超滤膜可截留水中绝大