Integrating UML Activity Diagrams with Temporal Logic Expressions
UML is a standard modelling language that is able to specify a wide range of object-oriented concepts. However, the...
“Part” relations for object-oriented databases
It has long been recognized that the “part” relation is an extremely useful modeling tool. This is especially true...
Unified class evolution by object-oriented views
Object-oriented databases are said to support evolution and incremental development. On the schema level, a firm restriction in this...
Nesting quantification in a visual data manipulation language
In this paper we propose a new approach to provide us with (universal and existential) quantification in a visual...
An EER prototyping environment and its implementation in a datalog language
In this paper we present an approach to represent schema information, application data and integrity constraints as a logic...
A theory for Entity-Relationship view updates
The traditional problem of updating relational databases through views is an important practical problem that has attracted much interest....
Transforming conceptual data models into an object model
In this paper a conceptually simple structural object model focusing on object types, attributes and ISA relationships is introduced....
Meta object management and its application to database evolution
In this paper, we address the problem of supporting more flexibility on the schema of object-oriented databases. We describe...
Modelling of audio/video data
Advances in data compression are creating new possibilities for applications combining digital audio and digital video. These applications, such...
Local referential integrity
This paper introduces the concept of local referential integrity according to which an object may only reference objects belonging...





