Data Types and Persistence

ISBN-13: 9783540187851 / Angielski / Twarda / 1988 / 294 str.

Malcolm P. Atkinson; Peter Buneman; Ronald Morrison

Opis

Based on the proceedings of a workshop held at the Appin in August 1985, this book discusses the issues of data abstraction. It introduces the concept of inheritance as a method of polymorphic modelling. It also discusses the issues of controlled access to large scale data in a concurrent and distributed persistent environment.

Spis treści

I: Data Types and Persistence.- 1. Types, Bindings and Parameters in a Persistent Environment.- 2. Modules and Persistence in Standard ML.- 3. Persistence and Type Abstraction.- 4. An Overview of the Poly Programming Language.- 5. Functional Databases, Functional Languages.- 6. A New Type-Checker for a Functional Language.- II: Database Types in Programming Languages.- 7. Data Types for Database Programming.- 8. The Type System of Galileo.- 9. Integrating Data Type Inheritance into Logic Programming.- 10. Class Hierarchies in Information Systems: Sets, Types, or Prototypes ?.- 11. Language and Methodology for Object-Oriented Database Environments.- 12. Persistence and Aldat.- III: Concurrency, Transactions and Implementation of Persistence.- 13. Linguistic Support for Atomic Data Types.- 14. Building Flexible Multilevel Transactions in a Distributed Persistent Environment.- 15. Addressing Mechanisms and Persistent Programming.- 16. The Implementation of Galileo’s Persistent Values.- References.- List of Authors.