具有无损联结性且保持依赖性关系模式的BCNF完备分解算法

本文给出一种具有完备性的合成方法，来把一个关系模式分解成具有无损性和保持依赖性的ＢＣ范式关系数据库模式，只要这个模式“本质上能作这种分解的话”；同时对这种“本质上能分解为保持某些性质的某一范式”提法进行了形式化描述；最后，讨论了这种合成法的固有复杂度．     

用户界面中一种面向对象图形和输入处理的新方法

创建可直接操纵式图形用户界面的困难之一是需要管理图形对象之间的相互关系,图形的数据结构以及处理各种输入设备,本文提出了一种面向对象的图形用户界面(OOGUI)的处理新方法,通过一些图形对象来帮助设计与实现图形用户界面,同时还提出了一种处理异步输入设备的新方法.为输入处理,图形系统,应用程序的设计提供了清晰的界面。这种方法已被实践证明是相当方便、有效.