Book ChapterDOI
Fibonacci: a programming language for object databases
Antonio Albano,Giorgio Ghelli,Renzo Orsini +2 more
- Vol. 4, Iss: 3, pp 403-444
TLDR
A brief introduction to the Fibonacci language is provided to present its features, which are particularly suited to modeling complex databases.Abstract:
Fibonacci is an object-oriented database programming language characterized by static and strong typing, and by new mechanisms for modeling databases in terms of objects with roles, classes, and associations. A brief introduction to the language is provided to present those features, which are particularly suited to modeling complex databases. Examples of the use of Fibonacci are given with reference to the prototype implementation of the language.read more
Citations
More filters
Journal ArticleDOI
Orthogonally persistent object systems
Malcolm Atkinson,Ronald Morrison +1 more
TL;DR: The motivation for orthogonal persistence is reviewed, the concepts for integrating programming languages and databases through the persistence abstraction, and their benefits, are given and the technology to support persistence is discussed.
Proceedings ArticleDOI
Role analysis
TL;DR: An interprocedural, compositional, and context-sensitive role analysis algorithm that verifies that a program maintains role constraints is presented.
Journal ArticleDOI
Emergent semantics
TL;DR: The article discusses ways to let semantics emerge from simple observations from the bottom-up, rather than imposing concepts on the observations top-down, to provide precise query, retrieval, communication or translation for a wide variety of applications.
Book ChapterDOI
The essence of data access in Cω: the power is in the dot!
TL;DR: In this paper, the authors describe the data access features of Cω, an experimental programming language based on C# currently under development at Microsoft Research, which targets distributed, data-intensive applications and accordingly extends C#'s support of both data and control.
Proceedings ArticleDOI
Lost in translation: formalizing proposed extensions to c#
TL;DR: This paper considers proposals for C# 3.0, the next version of the C# programming language, and gives both an informal introduction to the new language features, and a precise formal account by defining a translation from C#3.0 to C# 2.0.
References
More filters
Journal ArticleDOI
On understanding types, data abstraction, and polymorphism
Luca Cardelli,Peter Wegner +1 more
TL;DR: A λ-calculus-based model for type systems that allows us to explore the interaction among the concepts of type, data abstraction, and polymorphism in a simple setting, unencumbered by complexities of production programming languages is developed.
Journal ArticleDOI
The Mechanical Evaluation of Expressions
TL;DR: It is shown how some forms of expression in current programming languages can be modelled in Church's X-notation, and a way of "interpreting" such expressions is described, which suggests a method of analyzing the things computer users write.
Book ChapterDOI
The object-oriented database system manifesto
Malcolm Atkinson,David J. DeWitt,David Maier,François Bancilhon,Klaus R. Dittrich,Stanley B. Zdonik +5 more
TL;DR: 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.
The Object-Oriented Database System Manifesto.
Malcolm Atkinson,François Bancilhon,David J. DeWitt,Klaus R. Dittrich,David Maier,Stanley B. Zdonik +5 more
TL;DR: This paper attempts to define an object-oriented database system and takes a position, not so much expecting it to be the final word as to erect a provisional landmark to orient further debate.
Book
Introduction to object-oriented databases
TL;DR: This book draws on the author's Orion project at MCC, currently the most advanced object-oriented database system, and places this work in a larger context by using relational database systems and other object- oriented systems for comparison.