A Typed Deductive and Object - Oriented Database LanguageMengchi

This paper presents a novel typed deductive object-oriented database language, called ROL (Rule-based Object Language), which is being developed at the University of Regana. This language is a declarative language. It can naturally and directly support object-oriented features such as object identity, complex objects, classes, class hierarchy, multiple inheritance with overriding, and schema in a deductive framework. It also treats sets and relationships as rst class citizens and provides powerful mechanisms for representing both partial and complete information on sets. Another novelty is the introduction of a new ordering which can capture the intended semantics of nested sets. The ROL language is given a logical semantics that cleanly accounts for object-oriented features and the usage of schema in a deductive framework.