连接依赖若干问题的讨论

一、引言关系数据库简单灵活,数据独立性高,理论严密,因此获得人们的普遍重视。在关系数据模型中数据必须满足一些约束条件,且数据的语义性质集中体现在依赖约束上。随着对关系数据理论研究的不断深入,已提出各种形式的数据依赖:函数依赖(FD)、多值依赖(MVD)、层次依赖(HD)、连接依赖(JD)等,并相应地给出第一到第五范式的定义。目前文献中对第一范式到第四范式观范化都有较充分的分析和论证,然而,对如何从第四范式规范为第五范式的过程仍缺乏详尽的合理论证,原因在于对连接依赖的定义不够严密,目前文献给出的连接依赖的定义,有时会导出不正确的结果。由于连接依赖是一种强有力的数据约束,从某种意义上讲,FD,MVD,HD 等都可视     

OODCS中图形处理软件设计的讨论

提出了图形系统设计的一种通用标准设计形式,使图形系统软件开发能达到标准化及规范化,进而实现图形系统自动生成的通用环境。     

变量化图形CAD系统中的版本管理

讨论了变量化图形CAD系统中版本管理的任务和有向无循环图版本管理模型的特点。为了减少数据冗余 ,便于新版本的生成 ,提出一种“变量化向前版本管理法”和“变量化关键版本管理法”相结合的变量化版本管理方法 ,并介绍了该版本管理方法的实现技术。     

一个面向对象的三维实体造型工具

论述了面向对象的三维实体造型工具－ＯＯ３Ｄ的功能,并对该软件的开发中的几个关键问题：消隐算法、面向对象图形库、三维对象可视化技术等进行了分析。该工具已在ＯｅｎｔｉｕｍⅡ微机上实现。     

可视化约束程序编程环境的设计与实现

该文提出了一种应用于多数化CAD系统的面向约束的程序设计思想,开发了一个实用的可视化约束程序编程环境。不仅简化了用户在参数化图形设计过程中大量约束程序的编程,而且提出了一种应用于参数化CAD系统设计图形约束程序的可视化方法。     

非冯·诺依曼式计算机的体系结构

本文讨论了“冯·诺依曼式计算机”的特点和存在的缺陷。结合“非冯·诺依曼式高速计算机”(NEDIPS),分析了“非冯·诺依曼式计算机”的工作原理。最后,讨论了“非冯·诺依曼式计算机”与第五代计算机系统的关系。     

面向CAD的可视化的自动程序设计研究

该研究结合程序转换法和过程化法，开发了一个面向ＣＡＤ的可视化程序自动生成系统使得工程技术人员可以借助于该系统快速简捷地完成其工程设计任务。在该系统的开发中，我们采用索引项与数据类相对应的方法组织数据库，按知识出现的频率组织知识库，按二级优化的方法区配知识，使得查询，匹配的效率大为提高。     

参数化设计系统中约束的层次结构

介绍了一种参数化设计系统中约束的层次结构。该结构具有３层约束：工程约束、适配约束和几何约束。适配约束用于将工程约束转换为几何约束,从而实现工程约束对参数化几何图形变动的控制,而整个约束系统的求解也能够通过多个子系统的分别求解来完成。     

用微型机实现大型矿井通风网络的解算

本文论述了用微型计算机解算矿井通风网络的必要性与可能性。介绍了研制改进的适应于微型计算机解算通风网络的CNP—1程序的特点及功能。并从技术指标、安全要求和经济效益等方面对旗山矿的三种不同的通风系统改造方案进行比较,并最后确定了该矿的最优通风设计方案。     

基于供应链的信息系统设计

对企业管理信息系统集成的体系结构可以考虑从纵向和横向两个方面进行研究。按纵向的观点,将系统工程与软件工程结合到三链（决策链,支撑链,主链）中,并使其贯穿于系统珙发设计过程的始终;按横向的观点,使建立在三链上的信息集成通过计算机协同工作,人工智能,数据库等技术得以实现。