自调优数据库研究综述

数据库功能和规模的膨胀与数据库性能调优的复杂已渐渐成为应用中一对尖锐的矛盾。自调优数据库是一种新兴的数据库技术,其目标是将日益复杂的数据库调优任务从系统管理人员转移到系统自身,以降低系统管理成本,提高系统性能质量。对数据库调优问题进行了分类,介绍了自调优数据库的研究与发展情况,将其与面向整个计算机系统自我管理的自主计算技术进行了比较,并讨论了自调优数据库未来的研究方向。

自修复数据库系统设计实现关键问题研究

自修复技术对于提高被攻击数据库系统的可生存性具有重要意义.针对自修复数据库系统在设计实现中所面临的一系列关键问题,给出了一个完整的自修复数据库系统解决方案.实现的原型系统ITDM以数据库管理系统DM5.6为基础,采用内嵌式体系结构,支持入侵检测、入侵限制、受损评估及动态修复功能.性能实验结果显示了ITDM自修复机制的存储及时间开销.

自修复数据库系统日志机制研究

选择性恢复使得一个自修复数据库系统在受到恶意攻击后,只需撤销历史中受到恶意事务感染的那部分操作,无需回滚整段历史,但要求日志机制支持对事务间依赖关系的追踪及前像数据的长期保存。通过分析传统日志机制的不足以及现有原型系统实现方法存在的问题,提出了一种新的日志结构。该日志包含事务依赖信息,并以前像表代替传统日志机制中的回滚段。给出了基于该日志结构的数据库恢复方法,并在时间和空间开销方面对本方法与其它方法进行了分析和比较。

DM4过程SQL语言的设计与实现

在商用数据库管理系统DM4中设计并实现了过程SQL语言DMPL/SQL.提出了DMPL/SQL语言解释器的总体结构.该解释器由编译器和虚拟机两部分构成.编译器分析源代码并生成中间代码,虚拟机以立即或延迟的方式对中间代码进行解释执行.介绍了实现DMPL/SQL语言解释器的关键技术.为提高程序的执行效率,在名字解析、SQL语句的执行以及异常处理等阶段采用了多种优化方法.该语言目前已广泛使用于基于DM4的数据库应用中.

DM4触发器机制的设计与实现

本文讨论了触发器机制为达到实用化的目的应遵循的几个原则,提出了简单且符合实际应用特点的S-A模型,阐述了国产商用数据库管理系统DM4的触发器机制。该机制在方案的设计与实现中充分贯彻了上述原则。

数据库课程设计的改革与探究

针对数据库人才需求趋势的变化和"卓越工程师计划"的培养目标,分析了目前数据库课程实践教学内容存在的不足,提出了以实现一个数据库管理系统为目标的实践教学内容,设计了难度适当的实践环节,并对相应的实践教学方法进行了探究。

改制企业职业病危害状况调查分析

目的了解改制企业贯彻执行《中华人民共和国职业病防治法》的具体情况,加强对改制企业职业卫生的管理。方法采取现场全面的调查方法对某石化公司的8家由集体所有制企业改制成的企业进行了职业卫生状况调查。结果共测定了尘毒物质13种:尘毒物质测定点46个,点合格率为71.74%,测定样品177个,样品合格率为71.75%。毒物危害较严重的是挥发的苯在工作场所空气中的浓度超过其职业接触限值9.59倍;2个粉尘检测点全部超标,超标倍数达6.40倍。改制后企业职业卫生管理松懈,甚至被忽视。结论应加强改制企业的职业卫生管理,确保职工的身体健康。

分布式IPC实时性能的研究

抽象出分布式实时ＩＰＣ的一致模型，以此模型为基础，从及时性和可预测性两个方面分析了影响其实时性能的主要因素，最后总结出一个分析评价分布式ＩＰＣ实时性能的客观标准。

数据库管理系统多缓冲池的配置及其多次划分自调优算法

本文针对数据库管理系统中缓冲区的特殊重要地位,介绍了多缓冲池的配置及自调优的概念。将缓冲区分为数个独立的缓冲池,为不同性质的数据库对象分别建立独立的缓冲池,也为不同的负载提供最佳的配置方式,能够减少不同负载下的i/os时间,提高吞吐率。本文介绍了多缓冲池配置的模型,并基于此模型提出了多缓冲池的多次划分自调优算法。

分布式实时消息通信的设计与实现

讨论了在ＵＮＩＸ 原有的消息队列机制基础上设计和实现分布式实时消息通信机制的方法．该机制提供透明的消息通信接口，支持带时间期限约束的实时消息请求．用户在系统调用的参数中可以给定消息请求的时间期限，对于多个远程消息请求，系统能按紧迫程度排队，以保证实时性．系统还可以定时检测消息请求的期限，对能否在期限内完成进行预测并反馈给相应进程．

UNIX中的文件链接机制

ＵＮＩＸ操作系统设计上有很多特色，本文分析了其中文件系统中硬链接和符号链接的实现技术，并加以评价，对当前操作系统的设计和改造有一定的指导作用。

分布式实时应用的两个重要问题

可预测性和分布式实时 IPC是分布式实时应用的两个重要问题。本文探讨了可预测性的概念 ,提出了分布式实时 IPC的抽象模型 ,并分析影响分布式实时 IPC的主要因素 ,为设计分布式实时应用作一定的探讨。

数据库标准工作组2005年工作进展

1研究背景 数据库是信息系统建设的核心组成部分.数据库软件经过30多年的发展,已经形成了目前全球总量达数百亿美元的一个软件产业,并且仍以每年高于10%的速度迅速增长.在我国,信息化建设中用于购买数据库软件的费用每年高达数拾亿元人民币,约占除纯应用软件之外的整个平台软件市场的三分之一,且每年以20%左右的速度增长,这无疑是一个潜力巨大、前景诱人的市场.……

DM3存储模块的设计与实现

详细阐述了具有自主版权的国产分布式数据库管理系统DM3存储模块的设计和实现技术。

DBMS动态资源自调优系统的设计与实现

在数据库管理系统中,DBMS资源的利用率对系统的影响是很大的。对基于反馈回路的自调优模型的基础上设计与实现DBMS资源自调优工具进行了研究。该工具能够根据资源利用情况,自动找到适合提高系统运行效率的DBMS资源配置参数。给出了实现该系统时用到的诊断树、资源关系模型和资源调整规划算法。

基于虚拟机的存储过程设计与实现

存储过程在数据库管理系统中占有重要的地位。虚拟机为解释性语言提供了一套完整的运行环境接口。该文提出了一种基于虚拟机的实现存储过程的方法,并结合存储过程的特点介绍了一些实现细节。该方法已经应用到DM数据库管理系统之中。

实时应用的可预测性研究和分析

阐述了实时应用的可预测性概念，以及实时应用的静态特性和动态特性，并从静态可预测性和动态可预测性两个方面分析支持可预测性的主要策略．

数据库管理系统强制访问控制形式化分析与明证

强制访问控制是保护数据库管理系统安全的有效机制.DMOSMAC是一个依赖于安全操作系统实现强制访问控制机制的数据库管理系统.在分析该系统实现的基础上,对该系统进行了形式化分析.给出了信息流的概念,将信息流集合作为被验证系统状态的一部分.信息流集合始终是一个递增的集合,利用信息集合流可防止删除等操作的证明被绕过的可能,保证验证过程的严密性.在信息流的基础上提出了一种对系统代码进行抽象、抽取的形式化分析方法.即抽象DMOSMAC系统状态,从源代码中提取操作规则,将BLP模型中的状态、访问规则分别与DMOSMAC系统的状态、操作规则建立映射关系,BLP模型中简单安全性和*-特性转换为面向信息流的状态不变式,继承BLP模型的相关安全公理和定理进行分析和证明;最后用定理证明器COQ进行安全性证明的方法.

分布式物理时钟同步的设计与实现

本文讨论了华中分布式UNIX系统(HZDUNIX)中物理时钟同步的设计与实现技术,这种同步策略基于分布式控制,利用相邻结点的时钟值实现整个系统物理时钟的快速精确同步。算法实现基于客户/服务器模型,利用TCP/IP协议,同时提出了一些关键的实现技术,最后对其性能及特点作出了评价。