Data Types and Persistence

There is an established interest in integrating databases and programming languages. This book on Data Types and Persistence evolved from the proceedings of a workshop held at the Appin in August 1985. The purpose of the Appin workshop was to focus on these two aspects: persistence and data types, a...

Full description

Bibliographic Details
Other Authors: Atkinson, Malcolm P. (Editor), Buneman, Peter (Editor), Morrison, Ronald (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1988, 1988
Edition:1st ed. 1988
Series:Topics in Information Systems
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 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