【摘 要】
：
数据库计划是由它的实体之间的模式关系构成,该计划随着时间的改变被称为计划演进。XML数据库计划的公理化演进指的是当该计划产生根本的变动时,XML数据库能自动维持其数据的完整性。提出的公理化模式为XML数据库演进的问题提供了一个一般的解决方案,它能明确地决定计划的修改行为和自动维持其数据的完整性。
论文部分内容阅读
数据库计划是由它的实体之间的模式关系构成,该计划随着时间的改变被称为计划演进。XML数据库计划的公理化演进指的是当该计划产生根本的变动时,XML数据库能自动维持其数据的完整性。提出的公理化模式为XML数据库演进的问题提供了一个一般的解决方案,它能明确地决定计划的修改行为和自动维持其数据的完整性。
其他文献
介绍构造两级数据库系统的设计方案,重点研究数据库设计、同步和实现技术。该方案支持两级数据库之间数据的双向复制、局部复制,支持异种数据库系统间的同步,可以处理任意类型的数据项,并提供机制来处理同步过程中的各种异常情况,具有较高的扩展性、易用性,并在实际项目中运用。
在传统的软件可修改性定义的基础上提出了基于软件开发过程的软件可修改性,确定了垂直软件可修改性和水平软件可修改性的关系和基本度量方法。建立了基于软件开发过程的软件可修改性模型,得到了软件开发过程各阶段中软件可修改性的度量方法,从而为在软件开发过程中控制软件的可修改性提供了基础。
分析了墙纸产品的颜色、图案布局特点,提出了一种针对墙纸产品图像的基于内容的检索算法设计并开发了一个基于此设计的原型系统YL-WRS,实现了墙纸检索的信息化。实验结果表明了该检索算法设计的可行性和对基于内容的图像检索准确率的提高。
给出了用颜色Petri网来对W eb服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟W eb服务执行的引发规则,从静态、动态两方面描述了W eb服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。
在分析城市智能交通技术应用现状以及城市智能交通发展趋势的基础上,设计了一个以城市交通视频数据和城市地理信息系统为主源数据的智能交通模式,重点讨论了其中的智能交通路口、城市交通控制中心以及个性化出行导航的关键技术。以视频和G IS为主源数据的城市智能交通模式能够采取主动服务的方式,能在较少车辆客户端投入和参与的情况下,满足大规模的城市交通信息服务等高级的交通智能要求。
粮食轮换决策一直是困扰国家粮食存储企业的难题。粮食管理信息系统多年的成功应用,积累了大量的粮食数据信息。粮食轮换决策支持系统基于数据挖掘中的决策树分类方法,在大量的粮食轮换样本数据的基础上,发掘粮食轮换的决策知识,并利用这些知识指导粮食轮换决策。该系统运行稳定,已成功试运行于某地区的粮食管理部门和企业,并明显改善了其粮食轮换决策的效能。
提出了一种对在网上传送的信息内容进行检查的方案,符合要求的内容才可以在我国的网上传播,不符合的就予以堵塞,以实现对网络内容的管理。
TCP/IP卸载引擎(TOE)技术能够减少处理器的协议处理行为,有效提高网络性能。比较TOE的两种实现方式,并基于部分卸载方式提出Linux下TOE网络接口卡软件系统设计方案。针对提出的软件系统结构,介绍各个部分的功能和接口,阐明了软件系统如何支持TOE功能。
基于最大熵的光学层析图像的正则化重建方法是将图像重建问题转化为对目标函数的优化问题,进而用基于梯度的迭代图像重建方法实现对目标函数的求解。针对此优化问题,给出了一个具体的梯度求解方法。实验证明,该方法能够降低光学层析图像重建的病态性,提高图像重建质量。
比较了lαβ色彩空间与其他颜色模型的特点,阐述了lαβ色彩空间在图像处理中的应用,包括颜色传递技术和图像类比技术。