移动计算环境下的数据库事务管理

对移动数据库系统的体系结构、移动终端的接入方式、移动计算环境下事务处理的真正需求等进行了详细的分析，通过引入接入代理层的概念，屏蔽了计算终端的移动性；利用同步服务器屏蔽了后台中心数据库系统的异构性，并且能够解决多个移动终端在同步时的更新冲突，从新的角度提出了一个完整的在移动计算环境下实现数据库事务管理的方案，并结合正在开发的一个移动数据库系统加以实现，实践证明这种方案是简单有效、切实可行的。     

一个支持逐步求精的程序设计工具

本文介绍了一个交互式的程序设计工具SPA。借助于这个工具,能方便地运用逐步求精的方法发展一个程序并生成以发展历史作为注释、具有缩排格式的清晰易读的程序正文。SPA所包含的一种便条设施可用来对发展过程中出现的任何实体进行说明,从而使得到的程序能为计算机立即执行。本工具用C语言写成,并已在运行UNIX的MC68D00系统上实现。它可适用于C、PASCAL或其它结构化程序设计语言的程序生成。     

数据仓库中实视图聚集函数的增量更新

提出在视图表达式树中以由下到上的方式计算中间结点的变化 ,将计算出的中间结果作为辅助视图保存在数据仓库中 ,利用这些辅助视图或子视图计算出来的聚集函数的变化 ,来计算本视图聚集函数值的更新 ,实现视图的增量维护 ,从而缩短数据仓库更新维护时间 ,提高OLAP查询效率 .同时 ,介绍了实视图中聚集函数的增量更新算法 ,实现实视图聚集函数的更新维护     

分布式数据库辅助设计工具SUNDDBA

本文较详细地介绍了ＳＵＮＤＤＢＡ的设计与实现，并以此为例，对分布式数据库设计中的一些主要问题诸如水平分割、垂直分割、代价估算及数据分布等进行了讨论。     

CIMS中的集成支撑技术

ＣＩＭＳ中的集成支撑技术董逸生集成是ＣＩＭＳ的灵魂，ＣＩＭＳ正是通过集成才使一个制造业中的各种过程有机地连接起来，从而增强了企业的整体性及灵活应变能力。系统集成的理想目标是单一系统映像（ＳＳＩ－ＳｉｎｇｌｅＳｙｓｔｅｍＩｍａｇｅ），即所有系统成分间的...     

面向对象MRPI系统的建模研究

讨论增强对象建模方法,引入了功能对象的概念,并以功能对象作为系统级功能建模的主要手段,定义了一种将状态转换图和消息触发机制相结合的消息流图来描述系统的行为模型,较好地解决了ＭＲＰⅡ系统面向对象建模的问题     

分布式数据库辅设计工具SUNDDBA

本文较详细地介绍了ＳＵＮＤＤＢＡ的设计与实现，并以此为例，对分布式数据库设计中的一些主要问题诸如水平分割，垂直分割、代价估算及数据分布等进行了讨论。     

一种基于遗传算法的TTP问题求解算法

提出并实现了一种高校自动排课算法，利用遗传算法建立数据模型，定义一个四维的染色体编码方式和包含学生人数，教室座位、特殊课程、教师、班级、一门课的时间间隔等因数的适应度函数，通过切片算子，生成指数要求的基因型个体，用交叉算子和变异算子对基因型个体进行运算，再利用选择算子选择适应度函数值较高的染色体编码方案，最后对优化的染色体按指定方向切片，生成教师课表，学生课表和教室课表，对某高校的真实数据进行实验，结果显示无一例教室，教师，班级冲突，在PⅢ866PC机上运行，耗时为2323．573s，该算法可以推广到车辆调度，会议安排、超大规模电路板设计等应用领域。     

共享连接结果的连续查询处理

深入研究了适合数据流连续查询处理的Shared PushDown,PullUp和Filtered PullUp三种可共享连接结果的策略.通过理论分析和实验证明,在数据流的连续查询处理中,PullUp策略性能较低,而Filtered PullUp和Shared PushDown策略各占优势.Filtered PullUp处理简单,消耗内存相对较少.而Shared PushDown增加内存使用,但在注册查询的选择因子覆盖较少时有一定优势.考虑到处理的方便,一般情况下Filtered PullUp是适合数据流连续查询处理的最佳方案.