吴永辉
- 作品数：22 被引量：59H指数：5
- 供职机构：复旦大学信息科学与工程学院计算机科学系更多>>
- 发文基金：国家自然科学基金上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 对象依赖集合的性质的研究
- 1引言目前,电子图书馆、电子商务等面向对象的信息系统的研究和开发已经成为计算机领域的热点,而存在的主要问题之一是复杂对象模式不同于关系模式,还没有规范化设计的理论,因此也导致了一系列的问题。
- 吴永辉周傲英
- 文献传递
- 面向对象数据模式的规范化设计
- 目前,面向对象数据库技术缺乏严格的理论基础,以至于没有规范化的范式,因此导致了一系列问题。面向对象数据模式的规范化不仅是将对象组合到相关联的对象关系中,而且要选择一个很好地表示了在现实世界中对象间存在的语义关系的体系结构...
- 吴永辉周傲英
- 关键词：面向对象数据模式数据库
- 广义Fitz－Hugh－Nagumo方程组的整体吸引子及惯性流形被引量：5
- 1996年
- 本文考虑广义Ｆｉｔｚ－Ｈｕｇｈ－Ｎａｇｕｍｏ方程组的初边值问题．去掉解属于某不变区域的限制，我们证明了初值属于Ｌ２情形下整体吸引子的存在性，并给出其维数估计．对二维情形证明了其惯性流形的存在性．我们的方法简化了Ｐ．Ｃｏｎｓｔａｎｔｉｎ等人的工作．
- 吴永辉王明新
- 关键词：整体吸引子惯性流形
- XML模式中隐式冗余不存在的充分条件被引量：2
- 2006年
- XML数据库模式规范化设计是产生一组相关联的、能很好地表示数据间依赖关系、而且消除了冗余的XML模式或DTD,以更好地进行信息检索.XML数据库模式中某些数据依赖是冗余存在的原因.因此在XML数据库模式中数据依赖与冗余的性质以及关联是其规范化设计要解决的关键问题.XML数据库模式的数据依赖包括属性间数据依赖和元素间的数据依赖.在以往的工作中,已经给出XML数据库模式中元素间的数据依赖及其所关联的显式冗余的有关性质,并基于此实现和验证相应的XML数据库模式规范化设计算法.分析XML数据库模式中属性间的数据依赖、元素间的数据依赖及其关联,定义XML数据库模式数据依赖及其相关联的隐式冗余,并论证XML数据库模式中隐式冗余不存在的充分条件.
- 凌波吴永辉
- 关键词：数据依赖标识符
- XML模式中隐式冗余不存在的充要条件被引量：2
- 2007年
- XML数据库模式规范化设计是产生一组相关联的、能表示数据间依赖关系、而且消除了冗余的XML模式或DTD,以更好地进行信息检索.XML数据库模式中某些数据依赖的存在是冗余存在的原因,因此在XML数据库模式中数据依赖与冗余的关联是其规范化设计研究的关键问题,但对这一问题目前还没有专门的研究.XML数据库模式的数据依赖包括属性间数据依赖和元素间的数据依赖,给出综合了属性间和元素间数据依赖的XML数据库模式数据依赖的定义,分析与之关联的隐式冗余,并论证XML模式中隐式冗余不存在当且仅当该XML模式是规范的,为XML数据库模式规范化设计更深一层的研究奠定理论基础.
- 吴永辉
- 关键词：数据依赖标识符
- 对象依赖集合性质的研究被引量：5
- 2001年
- 在复杂对象模式的规范化设计中 ,对象间的语义关系起了重要作用 .然而 ,目前还没有有关的研究报告 .讨论了对象依赖集合的一些性质 .首先概括了基本概念和性质 ;然后给出并证明获取一个 OD集合所有关键字的JINGSI算法 ;最后证明要作为复杂对象模式规范化设计的 MIMI算法输入的 OD集合的特性 ,并基于此改进复杂对象模式规范化设计 .
- 吴永辉周傲英周傲英
- 关键词：数据库
- 对象依赖集合的性质的研究
- 本文对OD集合的性质进行研究的目的,一方面是优化,要求OD集合是无冗余的,并且等价于初始的OD集合,另一方面是规范化设计的充分分解,要求产生的规范化对象模式森林相应于该OD集合的闭包M<'+>也能充分分解.
- 吴永辉华东师范大学计算机科学系(上海)中国科学院软件研究所计算机科学开放实验室(北京)周傲英
- 文献传递
- 消除冗余模式并保证无损联接的XML模式设计
- 1引言目前,XML已经成为基于互联网的信息系统的最重要的基础性语言,而开发这样的系统的第一步是设计XML模式(或DTD)。目前在复杂对象模式和XML模式规范化设计方面开展的研究不多,在关系数据库理论中,Fagin算法产生...
- 吴永辉周傲英
- 文献传递
- 用于XML模式和DTD规范化设计的层次模式设计被引量：37
- 2004年
- XML模式和DTD(documenttypedefinition)规范化设计是给出一个很好地表示数据间依赖关系并消除了冗余的XML模式或DTD的集合.目前在这一方面开展的研究还不多,而且才刚起步.Provost提出将关系数据库理论应用于XML模式规范化设计的思想,这一思想还没有付诸实施.在Provost思想的基础上给出用于XML模式和DTD规范化设计的层次模式设计的算法.首先分析了基于Provost思想的层次分解;然后给出用于消除冗余模式的分解树设计算法;最后给出用于XML模式和DTD规范化设计的层次模式设计算法,这一算法克服了Provost思想的缺陷.相应于其他XML模式和DTD规范化设计的研究,在算法产生的层次模式中,完全MVD(multivalueddependency)和嵌入MVD的集合由给出的MVD集合导出;并且产生的层次模式具有消除冗余模式和满足无损联接的特性.
- 吴永辉
- 关键词：XML模式
- 复杂对象模式的规范化设计
- 复杂对象模式的规范化设计不仅是将对象组合到相关联的对象关系中,而且要选择一个很好的表示对象间语义关系的体系结构.该文的新思想包括:(1)指出对象依赖的定义和性质.(2)指出对象范式的定义和性质.(3)设计规范化对象模式森...
- 吴永辉
- 关键词：冗余
- 文献传递
