可扩充DBMS的用户扩充存取方法的研究

介绍可扩充 DBMS- NHEDB的用户扩充新索引方法的原理、方法及实现策略。提出一种以数据字典为联接媒介 ,借助于存取数据库的函数库的实现方案 ,并详细讨论了对 DBMS的各种主要影响及处理方法     

多媒介数据库系统NHMDB中的数据字典

ＮＨＭＤＢ是基于扩充关系数据模型的多媒介数据库系统，它以扩充关系为基础支持面向对象的主要特性。数据字典在格式化数据的管理中发挥了重要作用。但在非格式化数据诸如图形、图像、语音等形式的数据管理方面的应用尚未得到很好的研究。本文主要讨论把传统的数据字典技术加以扩充使其支持多媒介数据对象的管理，支持复杂对象的描述，支持抽象数据类型，对象类、超类、子类和继承性的概念。     

一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。     

一种基于嵌套关系模型的超文本数据库设计

多媒体数据库系统要求具有图象存储和文本检索的能力,传统的关系数据库不可支持文本的存储、检索与索引,特别是超文本数据的存储与索引。本文提出的一个嵌套关系模型支持文本存储和文本检索操作,其中特征文件索引为文本检索提供了技术支持。该设计方法为存储和检索其他二进制数据也提供了一个参考。     

NHDB数据库系统的用户接口

本文为NHDB数据库系统设计并实现了一个友好的用户接口。用户只要遵循接口提供的提示信息,在一张表格上(显示在屏幕上)填入必要的信息,即能完成用户所希望的各种数据操作。     

第四代语言NH4GL系统

本文介绍了第四代语言系统NH4GL,并论述了其设计准则和实现方案。     

NHDB关系数据库系统

本文介绍南航计算机系数据库小组研制的中文关系数据库系统NHDB,概述它的系统结构、功能和特点,并讨论在微机环境中解决内存容量有限的方法,然后将NHDB与dBASE作一比较。     

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。