scispace - formally typeset
Book ChapterDOI

The object-oriented database system manifesto

TLDR
In this article, the main features and characteristics that a system must have to qualify as an object-oriented database system are defined and separated into three groups: mandatory, mandatory, open and optional.
Abstract
This paper attempts to define an object-oriented database system It describes the main features and characteristics that a system must have to qualify as an object-oriented database system We have separated these characteristics into three groups: • Mandatory, the ones the system must satisfy in order to be termed an object-oriented database system These are complex objects, object identity, encapsulation, types or classes, inheritance, overriding combined with late binding, extensibility, computational completeness, persistence, secondary storage management, concurrency, recovery and an ad hoc query facility • Optional, the ones that can be added to make the system better, but which are not mandatory These are multiple inheritance, type checking and inferencing, distribution, design transactions and versions • Open, the points where the designer can make a number of choices These are the programming paradigm, the representation system, the type system, and uniformity We have taken a position, not so much expecting it to be the final word as to erect a provisional landmark to orient further debate

read more

Citations
More filters
Journal ArticleDOI

Logical foundations of object-oriented and frame-based languages

TL;DR: A novel formalism, called Frame Logic (abbr., F-logic), is proposed, that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages.
Journal ArticleDOI

Join processing in relational databases

TL;DR: The different kinds of joins and the various implementation techniques are surveyed and they are classified based on how they partition tuples from different relations.
Journal ArticleDOI

The implementation of POSTGRES

TL;DR: The design and implementation decisions made for the three-dimensional data manager POSTGRES are discussed, and attention is restricted to the DBMS backend functions.
Journal ArticleDOI

OVID: design and implementation of a video-object database system

TL;DR: The OVID system offers a browsing/inspection tool called VideoChart, and adhoc query facility called VideoSQL, and a video-object definition tool.
References
More filters
Book

The C++ Programming Language

TL;DR: Bjarne Stroustrup makes C even more accessible to those new to the language, while adding advanced information and techniques that even expert C programmers will find invaluable.
Journal ArticleDOI

A relational model of data for large shared data banks

TL;DR: In this article, a model based on n-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced, and certain operations on relations are discussed and applied to the problems of redundancy and consistency in the user's model.
Book

Smalltalk-80: The Language and its Implementation

TL;DR: This book is the first detailed account of the Smalltalk-80 system and is divided into four major parts: an overview of the concepts and syntax of the programming language, a specification of the system's functionality, and an example of the design and implementation of a moderate-size application.
Journal Article

A relational model of data for large shared data banks. 1970

TL;DR: A model based on n-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced and certain operations on relations are discussed and applied to the problems of redundancy and consistency in the user's model.
Journal ArticleDOI

The Semantics of Predicate Logic as a Programming Language

TL;DR: In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated, and it is concluded that operational semantics is a part ofProof theory and that fixpoint semantic is a special case of model-theoretic semantics.