Formal specification, object oriented design, and implementation of an ephemeral logger for database systems

1996 ◽  
pp. 333-355 ◽  
Author(s):  
Paul Hennessey ◽  
Mohamed T. Ibrahim ◽  
Alexander M. Fedorec
Keyword(s):  
Formal Specification ◽  
Object Oriented ◽  
Database Systems ◽  
Object Oriented Design ◽  
Design And Implementation

Implementation Techniques for Extensible Object Storage Systems

2011 ◽  
pp. 104-127
Author(s):  
Jung-Ho Ahn ◽  
Ha-Joo Song ◽  
Hyoung-Joo Kim
Keyword(s):  
High Performance ◽  
Storage System ◽  
Object Oriented ◽  
Middle Layer ◽  
Database Systems ◽  
Object Oriented Design ◽  
Design And Implementation ◽  
Pointer Swizzling ◽  
Implementation Techniques ◽  
Object Storage

An efficient object manager, a middle layer on top of a storage system, is essential to ensure acceptable performance of object-oriented database systems, since a traditional record-based storage system is too simple to provide object abstraction. In this chapter, we design and implement an extensible object storage system, called Soprano, in an object-oriented fashion which has shown great potential in extensibility and code reusability. Soprano provides a uniform object abstraction and gives us the convenience of persistent programming through many useful persistent classes. Also, Soprano supports efficient object management and pointer swizzling for fast object access. This chapter investigates several aspects of the design and implementation of the extensible object storage system. Our experience shows the feasibility of using an object-oriented design and implementation in building an object storage system that should have both extensibility and high performance.

RELATIONAL DEDUCTIVE OBJECT-ORIENTED MODELING (RDOOM) APPROACH FOR FINDING, REPRESENTING AND INTEGRATING APPLICATION-SPECIFIC CONCEPTS

2002 ◽  
Vol 12 (04) ◽  
pp. 415-451 ◽  
Author(s):  
TIMO NIEMI ◽  
MARKO JUNKKARI ◽  
KALERVO JÄRVELIN
Keyword(s):  
Object Oriented ◽  
Database Systems ◽  
Modeling Method ◽  
Relational Model ◽  
Specific Information ◽  
Modeling Methods ◽  
Design And Implementation ◽  
Starting Point ◽  
Application Specific ◽  
Oriented Approach

Next generation information systems (NGISs) have to support the manipulation of data-oriented, behavioral and deductive aspects of application domains. Many modeling methods, e.g. UML and other object-oriented modeling methods offer primitives for modeling data-oriented and behavioral aspects but they do not support the modeling of deductive aspects. In addition, NGISs may be implemented by several separate software/database systems that are based on different paradigms. Therefore it is not appropriate to use such a modeling method which is based on one paradigm. In NGISs it is essential to integrate the value-oriented approach with the object-oriented approach. We develop a relational deductive object-oriented modeling (RDOOM) approach for NGISs. Our goal is to combine into one modeling method, the navigation power of the relational model, the modeling power of the object-orientation and the inference power of the deductive (logical) framework. It is obvious that in NGISs complex and large specifications have to be embedded in application-specific concepts and structures that are defined beforehand for users to facilitate their query formulation. The detection and specification of application-specific concepts and structures means a new challenge for analysis methods. We show that on the basis of the primitives of RDOOM it is possible to represent this kind of application-specific information in a natural way. It is also necessary that the appropriateness and adequacy of application-specific concepts and structures can be tested before their expensive design and implementation phases. For the definition of these concepts and structures a diagrammatic representation typical of many modeling methods is not sufficient. Rather, a precise and executable representation is needed. Especially the complex and large derivation rules behind deductive concepts cannot be expressed precisely with diagrammatic representations. We develop set-theoretical representations for our primitives. The precise representation of the result of systems analysis also gives a more substantial starting point for the design and implementation of NGISs.

Sign in / Sign up

Export Citation Format

Share Document