7 search results - page 1 / 2 » Support for Object Oriented Transactions in Timor |
JOT
2006
13 years 4 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
INFSOF
2002
13 years 4 months ago
2002
In this paper, we present methods of translating transactions from object-oriented database(OODB) to relational database(RDB). The process involves schema mapping in data definiti...
TACAS
1999
Springer
13 years 9 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
ECOOP
1992
Springer
13 years 9 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
HT
1993
ACM
13 years 9 months ago
1993
ACM
This paper discusses issues for the design of a Dexter-based cooperative hypermedia architecture and a specific system, DeVise Hypermedia (DHM), developed from this architecture. ...