This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems while massively reducing the cost of building and maintaining them. It reports on the design and development of new integrated environments to support the construction and operation of persistent application systems, and on the principles employed to design, test, and implement such systems.
| Introduction | 1 | |
| 1 | Persistent Languages: Introduction and Overview | 5 |
| 1.1 | Language Design: Introduction and State of the Art | 9 |
| 1.1.1 | Higher-Order Persistent Polymorphic Programming in Tycoon | 13 |
| 1.1.2 | Fibonacci: A Programming Language for Object Databases | 60 |
| 1.1.3 | The Napier88 Persistent Programming Language and Environment | 98 |
| 1.2 | Linguistic Reflection: Introduction and State of the Art | 155 |
| 1.2.1 | Type-Safe Linguistic Reflection: A Generator Technology | 158 |
| 1.2.2 | Type-Safe Linguistic Run-time Reflection: A Practical Perspective | 189 |
| 1.3 | Type Systems: Introduction and State of the Art | 193 |
| 1.3.1 | A Calculus for Overloaded Functions with Subtyping | 196 |
| 1.3.2 | Protection in Persistent Object Systems | 234 |
| 1.3.3 | Subtyping and Assignment in Database Programming Languages | 238 |
| 1.4 | Bulk Types and Iterators: Introduction and State of the Art | 241 |
| 1.4.1 | The Joy of Sets | 245 |
| 1.4.2 | Bulk Types: Built-In or Add-On? | 257 |
| 1.4.3 | Extensible Objects for Database Evolution: Language Features and Implementation Issues | 262 |
| 1.5 | Concurrency and Transactions: Introduction and State of the Art | 283 |
| 1.5.1 | Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach | 286 |
| 1.5.2 | Persistent Threads | 290 |
| 2 | Persistent Support Systems: Introduction and Overview | 297 |
| 2.1 | Architecture and Abstract Machines: Introduction and State of the Art | 303 |
| 2.1.1 | Persistent Foundations for Scalable Multi-Paradigmal Systems | 310 |
| 2.1.2 | The DBPL Project: Advances in Modular Database Programming | 341 |
| 2.1.3 | The PamCase Machine | 346 |
| 2.1.4 | Tycoon: A Scalable and Interoperable Persistent System Environment | 365 |
| 2.2 | Object Store Design: Introduction and State of the Art | 383 |
| 2.2.1 | An Open System Architecture for a Persistent Object Store | 387 |
| 2.2.2 | Overview of PIOS: a Physically Independent Object Server | 391 |
| 2.2.3 | Efficient Incremental Garbage Collection for Client-Server Object Database Systems | 427 |
| 2.2.4 | Towards a Unified Model of Untyped Object Stores: Experience with the Tycoon Store Protocol | 431 |
| 2.2.5 | Measuring Persistent Object Systems | 434 |
| 2.3 | Implementation Techniques: Introduction and State of the Art | 439 |
| 2.3.1 | Concurrent Shadow Paging in the Flask Architecture | 442 |
| 2.3.2 | Locking in OODBMS Clients Supporting Nested Transactions | 446 |
| 2.3.3 | Query Processing in PIOS | 462 |
| 2.3.4 | Optimization of Nested Queries in Object Bases | 481 |
| 2.3.5 | Integrating Query and Program Optimization Using Persistent CPS Representations | 496 |
| 2.3.6 | An ad hoc Approach to the Implementation of Polymorphism | 502 |
| 3 | Using Persistent Languages: Introduction and Overview | 505 |
| 3.1 | Persistent Programming Environments: Introduction and State of the Art | 507 |
| 3.1.1 | Exploiting Persistent Linkage in Software Engineering Environments | 511 |
| 3.1.2 | Using Persistence Technology to Control Schema Evolution | 515 |
| 3.1.3 | Unifying Interaction with Persistent Data and Program | 519 |
Overview
This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems while massively reducing the cost of building and maintaining them. It reports on the design and development of new integrated environments to support the construction and operation of persistent application systems, and on the principles employed to design, test, and implement such ...