面向对象数据库中的数据依赖和规范化

从分析面向对象数据库中的数据依赖着手，提出对象函数依赖概念，它反映了面向对象数据库中对象标识符，复杂对象及集合类型的特点，在对象函数依赖基础上，提出了分解为基础为模式规范化方法，并且特别引入语义相关集的概念，最后，给出类模式分解的形式化定义并证明了类模式的任一分解都是无损分解。     

一个分布式电子邮件系统

本文详细介绍了 NITmail(NIT Mail System)的各种功能及实现原理,并和其它一些电子邮件系统作了比较,说明 NITmail 的特点和进一步的开发工作。同时,还阐述了电子邮件系统的一般设计原则和实现技术。     

一种关系DBMS数据更改功能的实现策略

本文介绍了数据库管理系统 NITDB 的数据更改(插入、删除、更新)功能及其实现技术。提出了一种充分利用查询处理的子系统来提高数据更改处理的效率,使处理过程简单有效的方法,以及应用推迟更新技术来解决更新和删除过程中有关问题的思想。文中还讨论了系统实现视图更新所采用的一种“宏扩展”方法。     

关于MicroSQL查询等价的若干定理及查询变换优化策略

Micro SQL是微机关系数据库管理系统NITDB采用的数据语言。为了进行查询优化,本文对Kim W.的思想加以推广,从理论上提出了若干关于Micro SQL查询的等价定理,并把一些结果运用到NITDB中,从而为NITDB提供了一种查询变换优化措施,提高了查询效率。     

分布式数据库中关系运算结果大小的估计

本文在分析了原有的几种估计关系运算结果大小的方法的基础上,提出了一新的估计模型——UDB,并对其建造方法、使用方法、适用情况及估计精度做了较详细的讨论。     

NITDB存取方法层的设计与实现

数据库管理系统NITDB存取方法层提供了四种文件组织,它们是序顺文件,聚集索引顺序文件,二级索引文件和联接索引文件。本文详细讨论了各种文件组织的设计依据、设计思想和实现方法。     

程序测试与一个程序测试工具

在研制计算机软件时,如何提高软件可靠性愈来愈成为一个重要的问题。研究程序测试是当前国际上为解决此问题所作的努力之一。目前程序测试问题无论在理论上或实践上都未获得满意的解决。本文介绍了程序测试的一般概念和方法。提出一种直接产生结构测试数据的方法。本文还介绍了一个程序测试工具。该测试工具可测试用扩充 BASIC 语言书写的程序,尤其适用于批改学生的程序作业。其原理和实现方法也可推广到用其他高级语言书写的程序。该测试工具已在11/B 微计算机上实现,具有较好的测试效果。     

微机关系数据库管理系统NITDB的体系结构和并发控制

本文论述了多用户关系数据库管理系统NITDB (Nanjing Insititute of Technology Database Management system)的体系结构设计和实现过程,特别是进程结构设计,总体数据结构和数据库文件保护,以及核心程序结构。介绍了NITDB的并发控制子系统,它保证多用户并发访问数据库的正确性,支持较灵活的事务概念,时空开销较小。