吕腾
- 作品数:15 被引量:71H指数:5
- 供职机构:新疆大学数学与系统科学学院更多>>
- 发文基金:国家自然科学基金博士科研启动基金安徽省自然科学基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- XML-Data模式的一致性问题(英文)
- 2004年
- 运用键、外键和 XML-Data模式篱笆等概念研究了 XML-Data模式的一致性问题 .XML-Data模式的一致性问题就是判断是否存在一个既满足 XML-Data模式又满足完整性约束的 XML-Data模式篱笆 .提出了XML-Data模式及 XML-Data模式篱笆的概念 .给出了如何从现有的 XML-Data模式构造 XML-Data模式篱笆的算法并且证明了
- 闫萍吕腾盛其荣
- 关键词:XML
- XML函数依赖及其推理规则被引量:7
- 2005年
- 函数依赖在关系数据库和XML文档中都是一种重要的语义表达.通过分析函数依赖的表现形式在XML文档和关系数据库中的不同之处,提出了基于DTD中的路径表达式的XML函数依赖的概念.它不仅能表达元素的属性和元素的值之间的函数依赖,而且也能表达元素之间的函数依赖.给出了关于XML函数依赖的一组完备的推理规则集,这对解决XML函数依赖的蕴含问题具有重要的意义.
- 吕腾闫萍
- 关键词:XML函数依赖
- 本体的描述逻辑到框架表示的转换
- 1引言信息系统常采用知识导航模块,该模块的核心是框架本体库,因为框架表示能够通过对象的联系属性在不同概念之间建立联系,其数据结构适合知识导航。当前,本体主要有逻辑表示和框架结构表示。框架表示法的优点是直观,其数据结构适合...
- 王真星吕腾
- 关键词:ONTOLOGY
- XML数据集的多值依赖问题
- XML数据集包含冗余的数据,这不仅造成存贮空间的浪费,更为严重的是会引起对XML数据集的各种操作异常,包括插入异常、更新异常和删除异常等,破坏XML数据集的完整性和一致性.提出了基于DTD中节点相等概念的一种新的XML数...
- 吕腾闫萍
- 关键词:数据集多值依赖冗余数据
- XML的规范化与范式
- 给出了XML间接函数依赖和传递函数依赖的概念,据此提出了以DTD为模式的XML文档的一种范式XMLNF,它可以消除XML文档中由于间接函数依赖和传递函数依赖所引起的数据冗余,给出了把DTD无损联接地分解成XMLNF的规范...
- 吕腾闫萍
- 关键词:XML范式
- 线性退化的严格双曲组具慢衰减初值的Cauchy问题的经典解的整体存在唯一性
- 2005年
- 该文给出了线性退化的严格双曲组具慢衰减及小全变差初值的Cauchy问题的经典解的整体存在唯一性.这个结果进一步推广了A Bressan的相关结果.
- 闫萍盛其荣吕腾
- 关键词:拟线性双曲组
- 几种XML函数依赖定义的比较研究
- 当前关于XML函数依赖主要有三种定义方法:基于树元组的XML函数依赖、基于路径的XML函数依赖和基于子图的XML函数依赖.分析了这三种定义之间的内在联系及它们在XML函数依赖语义描述能力上的差别,主要结果是:(1)基于树...
- 吕腾闫萍
- 关键词:XML函数依赖语义描述
- XML的规范化与范式
- 2007年
- 给出了XML间接函数依赖和传递函数依赖的概念,据此提出了以DTD为模式的XML文档的一种范式XMLNF,它可以消除XML文档中由于间接函数依赖和传递函数依赖所引起的数据冗余,给出了把DTD无损联接地分解成XMLNF的规范化方法.
- 吕腾闫萍
- 关键词:XML范式
- 基于XML的Web访问控制策略描述语言被引量:5
- 2006年
- 论文提出了一种基于XML的Web访问控制策略描述语言XACPDL,它使用XMLSchema定义Web的访问控制策略,也可以作为一种维护Web站点的安全工具。
- 闫萍吕腾
- 关键词:WEB安全XML
- 基于本体的协同知识交流模型被引量:6
- 2007年
- 在远程协作环境下,不同背景的人对同一问题的理解会产生差异,这不利于学习效果收敛的场合。为消除这种影响,该文提出了用本体来为人与人的交流提供一致的理解,分析了系统要素和动态行为,给出了基于本体的协同知识交流模型以及相应的原型。
- 王真星但唐仁叶长青刘岩吕腾丁天怀
- 关键词:本体