Dynamic Aspects Of Semantic And Object-Oriented Databases

近年来，为设计、表示和操作事务或行为而开发技术和方法的需求变得越来越明显。本研究的重点是研究和开发基于对象的数据库操作语言的理论基础。研究了语义模型和基于对象的模型中动态约束和更新事务的几个基本问题。一个方面是在行为建模构造下对对象行为进行形式化分析，该构造用于在TAXIS、INSYDE、DAIDA等项目中组成和构建事务。最初的研究基于一个简单的面向对象数据模型，包括类层次结构、可打印值范围内的属性和方法。另一个主题是研究行为建模原语作为一种新的动态约束，并将其与其他类型的动态约束进行比较。还考虑了更通用的数据库模型（例如，允许跨类的属性范围）。通过对这些问题的研究，可以更好地理解这些建模构造，并深入了解对象标识符对数据库操作语言的影响。

In recent years, the need for developing techniques and methodologies for the design, representation and manipulation of transactions or behaviors has become clear. This research focuses on the study and development of theoretical foundations for object-based database manipulation languages. Several fundamental problems concerning dynamic constraints and update transactions in the context of semantic and object-based models are investigated. One aspect is the formal analysis of object behaviors under a behavior modeling construct used to compose andstructure transactions in projects TAXIS, INSYDE, DAIDA, etc. The initial study is based on a simple object-oriented data model including class hierarchies, attributes ranging over printable values, and methods. Another topic is the study of behavior modeling primitives as new kinds of dynamic constraint and also compare them with other kinds of dynamic constraint. More general database models (e.g., to allow attributes ranging over classes) are also considered. The investigations into these problems yield a better understanding of these modeling constructs and insights into the impact of Object Identifiers on database manipulation languages.