该研究课题始于1991年,其目标是研制一个实用化的工程数据库管理系统—ANGEL.该系统独创性地采用了非一范式结合面向对明特征的数据模型,从而既具备直则准确地 描述复杂对能力,又具备方便而快捷的数据操纵能力.该文反映了作者自1996年以来 的主要研究成果,包括:一、在ANGEL对于基本数据类型进行扩充的方式中,重点介绍 了用户定义函数机制(UDF)(包括UDF内上存表示形式的设计,用户函数体目标代码的 生 成与管理手段,以及动态连接手段的实现等),利用UDF还实现了用户自定义操作符及 操作符重载.二、给出了ANGEL数据模型下表模式的形式化描述,探讨了ANGEL查询语 言中复杂对象的语义,设计了对复杂对象的各类表示形式.三、探讨了ORDBMS中作为 完整性约束的引用以及作为类型构造器引用这两种引用形式.四、全面分析了ANGEL基于嵌套关系的多重继承语义,并将全继承语义进行了进一步细分,提出了继承层次选 择表达式的概念,使用户可以自由选择超类表成员的删除在子类表上是采取级联删除 还是迁移策略,继承层次选择表达式还使得ANGEL中的SQL操作目标得以从传统关系系 统中某个特定的表扩展到某继承层次中的表集合.五、通过对动态模式修改底层机制 共性的考察,提出了ORDBMS中DSM的准则化模型,该模型旨在描述不同系统中DSM的语 义,以使DSM在不系统中的比较变得容易.六、提出了ORDBMS中主动性规则的形式化描述,全面探讨了规则各组件及规则的继承、对规则的操作、多规则触发及级联触发等 语义.详细讨论了通过完整性约束的实施以及触发器机制的实现来提供对规则系统的 支持手段,提出了一种适用于ANGEL系统的简化E-C-A模型.该文的研究工作是中国863高技术跟踪计划"工程数据库管理系统ANGEL的实用化开发"课题的组成部分,部分工作得到国防"八五"预研计划和中国自然科学基金的资助.