XML函数依赖等价的研究

近年来.人们已经提出了XML函数依赖多种定义方法.本文给出了基于树元组的XML函数依赖和基于路径的XML函数依赖的两种定义方法.一般说来,这两种方法是不可比较的,但是在DTD存在、XML文档没有信息缺失的情况下,这两种方法是可比较的, 并且是一致的.     

XML的函数依赖

为了表达引起数据冗余的XML函数依赖,研究了XML中存在的复杂的多种形式的函数依赖约束,提出了一种DTD的路径语言,对于导航和定位XML文档的内容具有较强的表达能力.提出了一套XML模式及文档的形式化描述方法,进而提出了一种XML函数依赖(XFD)的定义.与以前的XML函数依赖的定义进行比较,展示了XFD可以表达更多的XML上存在的函数依赖,可以概括以前的基于路径表达式定义的XML函数依赖的约束能力.     

强函数依赖及其在XML范式中的应用

本文用一种“强满足”的方法，把函数依赖的定义扩展，使其符合不完全XML文档的情况，并把这种函数依赖称作XFD。在此基础上，给出了XML文档的一种范式。     

空值环境下XML函数依赖的研究

空值环境下的XML函数依赖是XML数据库理论和应用中的一类新的问题.本文首先给出空值环境下XML全树元组等价、全树元组相容、元素节点相等、元素节点相容和元素节点等价等概念,根据XML树型结构本身的特点.给出了空值环境下XML函数依赖的两个满足条件.     

对XMLDTD中的键和函数依赖的探讨

对基于DTD模式的XML的键和函数依赖做了进一步讨论。提出了关于XML的简化键、简化函数依赖的定义，分析了XML中的键和函数依赖的之间的区别和联系。     

XML函数依赖

函数依赖在关系数据库中起着基本的作用,尤其是用在完整性约束和数据库设计方面。近年来已定义了XML上的函数依赖。本文采用了一种新的定义方式,即在树元组上定义函数依赖,同时给出了函数依赖的推理规则。     

XML函数依赖集的逻辑蕴含

提出了一组适合于M.Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性.在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法.     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中．由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多．就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法．对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果。     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中.由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多.就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法.对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果.     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中.由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多.就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法.对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果.     

文献检索课多媒体教学课件的研发

本文对利用PowerPoint软件开发文献检索课多媒体教学课件进行了研究,并对课件制作的主要技术问题进行了进一步的探讨。     

浅谈信息检索课多媒体教学

分析了信息检索课多媒体教学中存在的问题,并提出了相应的应对措施。从而提高了信息检索课多媒体教学的效果。     

高职医药文献检索的多媒体课件设计

在高职医药文献检索教学过程中,多媒体课件的作用至关重要,文章从多方面详细阐述了多媒体课件的设计思路,高职医药文献检索教学模块设计,多媒体课件的制作技巧。提高多媒体课件的制作水平,最大程度发挥其作用。     

多媒体教学实践中应注意的几个问题

多媒体教学有时并未取得人们预想的效果,原因可能是教师在教学过程中不恰当地使用它。分析了多媒体教学在实际应用中存在的问题,并针对这些问题提出了合理化建议。     

使用多媒体课件存在问题及改进建议

对多媒体课件中存在的一些问题进行分析,并提出如何科学应用多媒体的建议。     

制作多媒体教学课件要注意的几个问题

讨论了制作多媒体课件的选题、应遵循的原则和获取多媒体素材的方法.     

多媒体计算机辅助教学课件研究与展望

从MCAI教学系统所涉技术角度,归纳了MCAI软件设计中的关键问题,较全面地讨论了MCAI软件设计的创作要求、主要特征、主要类型、开发步骤,并对MCAI前景进行了展望.     

基于AuthorWare的多媒体课件开发解决方案

针对多媒体教学好,但开发多媒体教学课件难的问题,利用开发工具Ａuthorware摸索出了一整套解决方案,经过教学实践证明,该解决方案是切实可行的,具有很大的实用价值。     

浅谈多媒体计算机辅助教学的特点及课件的应用

探讨了多媒体教学相对于传统教学方式的特点和优势，分析了多媒体课件制作的原则及使用方法，提出了多媒体教学实践中需要注意的问题。     

多媒体教学课件开发中的关键技术

本就多媒体教学课件开发过程中几个关键技术进行了探讨，提出了设计过程中应注意的一些问题和应遵循的原则，以此来保证多媒体教学课件开发的质量和性能。