Fully Integrated Data Environments

by Atkinson, Malcolm P.; Welland, Ray

• ISBN13: 9783540657729
• ISBN10: 354065772X
• Format: Hardcover
• Copyright: 2000-02-01
• Publisher: Springer-Verlag New York Inc

Summary

Reports on the work of researchers in the Esprit FIDE projects to design and develop a new integrated environment to support the construction and operation of such persistent application systems. Presents the principles they employed to design it, the prototypes they built to test it and their experience using it. DLC: Database management.

Table of Contents

Introduction	1	(4)
Malcolm P. Atkinson
Persistent Languages: Introduction and Overview	5	(292)
Ron Morrison
Language Design: Introduction and State of the Art	9	(146)
Antonio Albano
Higher-Order Persistent Polymorphic Programming in Tycoon	13	(47)
Florian Matthes
Fibonacci: A Programming Language for Object Databases	60	(38)
Antonio Albano
Giorgio Ghelli
Renzo Orsini
The Napier88 Persistent Programming Language and Environment	98	(57)
Ron Morrison
Richard Connor
Graham Kirby
David Munro
Malcolm P. Atkinson
Quintin Cutts
Fred Brown
Alan Dearle
Linguistic Reflection: Introduction and State of the Art	155	(38)
Ron Morrison
Type-Safe Linguistic Reflection: A Generator Technology	158	(31)
David Stemple
Leo Fegaras
Robin Stanton
Tim Sheard
Paul C. Philbrow
Richard Cooper
Malcolm P. Atkinson
Ron Morrison
Graham Kirby
Richard Connor
Suad Alagic
Type-Safe Linguistic Run-time Reflection: A Practical Perspective	189	(4)
Richard Cooper
Graham Kirby
Type Systems: Introduction and State of the Art	193	(48)
Richard Connor
Giorgio Ghelli
A Calculus for Overloaded Functions with Subtyping	196	(38)
Giuseppe Castagna
Giorgio Ghelli
Giuseppe Longo
Protection in Persistent Object Systems	234	(4)
Ron Morrison
Fred Brown
Richard Connor
Quintin Cutts
Graham Kirby
Alan Dearle
John Rosenberg
David Stemple
Subtyping and Assignment in Database Programming Languages	238	(3)
Richard Connor
David McNally
Ron Morrison
Bulk Types and Iterators: Introduction and State of the Art	241	(42)
Florian Matthes
The Joy of Sets	245	(12)
Richard Connor
Malcolm P. Atkinson
Sonia Berman
Quintin Cutts
Graham Kirby
Ron Morrison
Bulk Types: Built-In or Add-On?	257	(5)
Florian Matthes
Joachim W. Schmidt
Extensible Objects for Database Evolution: Language Features and Implementation Issues	262	(21)
Antonio Albano
Milena Diotallevi
Giorgio Ghelli
Concurrency and Transactions: Introduction and State of the Art	283	(14)
Ron Morrison
Specifying Flexible Concurrancy Control Schemes: an Abstract Operational Approach	286	(4)
David Stemple
Ron Morrison
Persistent Threads	290	(7)
Florian Matthes
Joachim W. Schmidt
Persistent Support Systems: Introduction and Overview	297	(208)
Florian Matthes
Architecture and Abstract Machines: Introduction and State of the Art	303	(80)
Malcolm P. Atkinson
Persistent Foundations for Scalable Multi-Paradigmal Systems	310	(31)
Malcolm P. Atkinson
The DBPL Project: Advances in Modular Database Programming	341	(5)
Joachim W. Schmidt
Florian Matthes
The PamCase Machine	346	(19)
Quintin Cutts
Richard Connor
Ron Morrison
Tycoon: A Scalable and Interoperable Persistent System Environment	365	(18)
Florian Matthes
Gerald Schroder
Joachim W. Schmidt
Object Store Design: Introduction and State of the Art	383	(56)
Fausto Rabitti
An Open System Architecture for a Persistent Object Store	387	(4)
Fred Brown
Giovanni Mainetto
Florian Matthes
Rainer Muller
David McNally
Overview of PIOS: a Physically Independent Object Server	391	(36)
Guiseppe Amato
Salvatore Biscari
Giovanni Mainetto
Fausto Rabitti
Efficient Incremental Garbage Collection for Client-Server Object Database Systems	427	(4)
Laurent Amsaleg
Michael Franklin
Olivier Gruber
Towards a Unified Model of Untyped Object Stores: Experience with the Tycoon Store Protocol	431	(3)
Florian Matthes
Rainer Muller
Joachim W. Schmidt
Measuring Persistent Object Systems	434	(5)
Malcolm P. Atkinson
Anthony Birnie
Niall Jackson
Paul C. Philbrow
Implementation Techniques: Introduction and State of the Art	439	(66)
Ron Morrison
Concurrent Shadow Paging in the Flask Architecture	442	(4)
David Munro
Richard Connor
Ron Morrison
Stephan Scheuerl
David Stemple
Locking in OODBMS Clients Supporting Nested Transactions	446	(16)
Laurent Daynes
Olivier Gruber
Patrick Valduriez
Query Processing in PIOS	462	(19)
Fausto Rabitti
Leonardo Benedetti
Federico Demi
Optimization of Nested Queries in Object Bases	481	(15)
Sophie Cluet
Guido Moerkotte
Integrating Query and Program Optimization Using Persistent CPS Representations	496	(6)
Andreas Gawecki
Florian Matthes
An ad hoc Approach to the Implementation of Polymorphism	502	(3)
Ron Morrison
Alan Dearle
Richard Connor
Fred Brown
Using Persistent Languages: Introduction and Overview	505	(124)
Ray Welland
Persistent Programming Environments: Introduction and State of the Art	507	(42)
Ray Welland
Exploiting Persistent Linkage in Software Engineering Environments	511	(4)
Ron Morrison
Richard Connor
Quintin Cutts
Vivienne Dunstan
Graham Kirby
Using Persistence Technology to Control Schema Evolution	515	(4)
Richard Connor
Quintin Cutts
Graham Kirby
Ron Morrison
Unifying Interaction with Persistent Data and Program	519	(4)
Richard Connor
Quintin Cutts
Graham Kirby
Vivienne Dunstan
Ron Morrison
The Persistent Workshop: Programming Environment for Napier88	523	(4)
Dag Sj&oslass;berg
Ray Welland
Malcolm P. Atkinson
Paul C. Philbrow
Cathy Waite
Stewart Macneill
The Glasgow Persistent Libraries	527	(13)
Malcolm P. Atkinson
Ray Welland
Paul C. Philbrow
Cathy Waite
Richard Cooper
Darryn Lavery
Alan Froggatt
Claudia Herzig
Stewart Macneill
Miguel Mira da Silva
Greig Montgomery
Alex Pirmohamed
Tony Printezis
Visualising Persistent Stores	540	(9)
Gilbert Cockton
Darryn Lavery
Data Modelling: Introduction and State of the Art	549	(50)
Richard Cooper
Application Development using Data Modelling	553	(17)
Richard Cooper
The STYLE Workbech: Systematics of Typed Language Environments	570	(14)
Ingrid Wetzel
Florian Matthes
Joachim W. Schmidt
Using Extensible Grammars for Data Modelling	584	(15)
Florian Matthes
Joachim W. Schmidt
Jens Wahlen
Interoperability: Introduction and State of the Art	599	(30)
Florian Matthes
Querying the File	602	(19)
Serge Abiteboui
Sophie Cluet
Tova Milc
Updating the File	621	(2)
Serge Abiteboul
Sophie Cluet
Tova Milo
Lean Languages and Models: Towards an Interoperable Kernel for Persistent Object Systems	623	(6)
Joachim W. Schmidt
Florian Matthes
List of Contributors	629