Fully Integrated Data Environments

1. Front Matter

   Pages i-x

   PDF

2. Introduction

   1. Introduction

      • Malcolm P. Atkinson

      Pages 1-4

3. Persistent Languages: Introduction and Overview

   1. Persistent Languages: Introduction and Overview

      • Ron Morrison

      Pages 5-8

   2. Language Design: Introduction and State of the Art

      • Antonio Albano

      Pages 9-12

   3. Higher-Order Persistent Polymorphic Programming in Tycoon

      • Florian Matthes

      Pages 13-59

   4. Fibonacci: A Programming Language for Object Databases

      • Antonio Albano, Giorgio Ghelli, Renzo Orsini

      Pages 60-97

   5. The Napier88 Persistent Programming Language and Environment

      • Ron Morrison, Richard Connor, Graham Kirby, David Munro, Malcolm P. Atkinson, Quintin Cutts et al.

      Pages 98-154

   6. Linguistic Reflection: Introduction and State of the Art

      • Ron Morrison

      Pages 155-157

   7. Type-Safe Linguistic Reflection: A Generator Technology

      • David Stemple, Leo Fegaras, Robin Stanton, Tim Sheard, Paul Philbrow, Richard Cooper et al.

      Pages 158-188

   8. Type-Safe Linguistic Run-time Reflection A Practical Perspective

      • Richard Cooper, Graham Kirby

      Pages 189-192

   9. Type Systems: Introduction and State of the Art

      • Richard Connor, Giorgio Ghelli

      Pages 193-195

   10. A Calculus for Overloaded Functions with Subtyping

       • Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo

       Pages 196-233

   11. Protection in Persistent Object Systems

       • Ron Morrison, Fred Brown, Richard Connor, Quintin Cutts, Graham Kirby, Alan Dearle et al.

       Pages 234-237

   12. Subtyping and Assignment in Database Programming Languages

       • Richard Connor, David McNally, Ron Morrison

       Pages 238-239

   13. Bulk Types and Iterators: Introduction and State of the Art

       • Florian Matthes

       Pages 241-244

   14. The Joy of Sets

       • Richard Connor, Malcolm P. Atkinson, Sonia Berman, Quintin Cutts, Graham Kirby, Ron Morrison

       Pages 245-256

   15. Bulk Types: Built-in or Add-On?

       • Florian Matthes, Joachim W. Schmidt

       Pages 257-261

   16. Extensible Objects for Database Evolution: Language Features and Implementation Issues

       • Antonio Albano, Milena Diotallevi, Giorgio Ghelli

       Pages 262-282

   17. Concurrency and Transactions: Introduction and State of the Art

       • Ron Morrison

       Pages 283-285

   18. Specifying Flexible Concurrency Control Schemes: an Abstract Operational Approach

       • David Stemple, Ron Morrison

       Pages 286-289

Research into Fully Integrated Data Environments (FIDE) has the goal of substantially improving the quality of application systems while reducing the cost of building and maintaining them. Application systems invariably involve the long-term storage of data over months or years. Much unnecessary complexity obstructs the construction of these systems when conventional databases, file systems, operating systems, communication systems, and programming languages are used. This complexity limits the sophistication of the systems that can be built, generates operational and usability problems, and deleteriously impacts both reliability and performance. This book 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. It reports on the principles they employed to design it, the prototypes they built to test it, and their experience using it.

• Database programming languages
• Databases
• Object stores
• Persistent object systems
• Program development environments
• Type systems and data models
• complexity
• database
• design
• operating system
• performance
• programming

• Department of Computing Science, University of Glasgow, Glasgow, UK

  Malcolm P. Atkinson, Ray Welland

Policies and ethics