Overview

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, and to bring together people from various disciplines who have thought about these problems. Particular topics of""interest include the design of type systems appropriate for database work, the representation of persistent objects such as data types and modules, and the provision of orthogonal persistence and certain aspects of transactions and concurrency. The programme was broken into three sessions: morning, late afternoon and evening to allow the participants to take advantage of two beautiful days in the Scottish Highlands. The financial assistance of the Science and Engineering Research Council, the National Science Foundation and International Computers Ltd. is gratefully acknowledged. We would also like to thank Isabel Graham, Anne Donnelly and Estelle Taylor for their help in organising the workshop. Finally our thanks to Pete Bailey, Ray Carick and Dave Munro for the immense task they undertook in typesetting the book. The convergence of programming languages and databases to a coherent and consistent whole requires ideas from, and adjustment in, both intellectual camps. The first group of chapters in this book present ideas and adjustments coming from the programming language research community. This community frequently discusses types and uses them as a framework for other discussions.

Full Product Details

Author:   Malcolm P. Atkinson ,  Peter Buneman ,  Ronald Morrison
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Softcover reprint of the original 1st ed. 1988
Dimensions:   Width: 15.50cm , Height: 1.60cm , Length: 23.50cm
Weight:   0.482kg
ISBN:  

9783642648700

ISBN 10:   3642648703
Pages:   294
Publication Date:   05 October 2011
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions