图形对数据库管理系统的要求

确定CAD/CAM环境中图形对数据库技术的要求是建立面向CAD/CAM数据库管理系统的先决条件。本文通过对图形信息、图形操作的讨论和分析,指出CAD/CAM环境中图形数据库系统所应具有的功能,在此基础上提出一种更适用于图形的数据库组织结构。     

一种面向CAD/CAM DBMS的数据模型

目前,数据库技术已广泛应用于各式CAD/CAM系统中,并且取得了良好的应用成效。然而现有DBMS并不能满足CAD/CAM应用环境对DBMS的特殊要求。因此设计面向CAD/CAM的DBMS显得尤为重要。本文给出了CAD/CAM应用环境对DBMS的一些要求,提出了一种新的DBMS结构组织,基于这样的结构组织,提出了一种新的数据模型——结构网状数据模型(SNDM),并初步探讨了实现这种DBMS的一个关键问题——视图更新问题。     

工程数据库中复杂物体和事务处理的管理

本文讨论一种工程数据库管理模型上复杂物体的数据库表示,工程事务处理(Tran-saction)的管理以及它们两者之间的关系并提出一种完备的工程事务处理管理模型。     

关于依赖性完备公理存在问题研究

数据依赖在数据库设计中起着十分重要的作用。自Codd提出函数依赖,Fagin引入多值依赖后,近年来人们又根据设计中的需要引入了许多种新的依赖。然而对这些依赖可从原则上控是否具备完备的公理系统划分为两大类,因为完备公理系统往往是具有有效判定算法为先决条件。本文给出了一种具有完备公理系统的充要条件,并利用它来证明几种依赖(嵌入型多值依赖、嵌入型联接依赖、包含依赖与函数依赖)不具备完备的公理系统。     

关于依赖性完备公理存在问题的研究

本文讨论了数据依赖的完备公理系统存在性的问题。首先,给出了完备公理系统存在的一个充要条件,并利用这一条件证明了嵌入型多值依赖集、嵌入型联接依赖集以及函数依赖与包含依赖集没有完备的公理系统存在。尽管这三个结论前人均已分别证明过,但是本文中的证明是以所给充要条件为依据,证明是新颖的并且更加具有系统性。     

图形数据库的设计方法及其对数据库管理系统的要求

本文综述了图形数据库的设计方法和过程,并进一步讨论了图形信息、图形操作的特点,指出 CAD/CAM 环境中图形数据库管理系统所应具有的功能,在此基础上提出一种更适用于图形的数据库组织。