Data Types and Persistence

Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Herausgeber)

Buch | Softcover

XVIII, 294 Seiten

2011 | 1. Softcover reprint of the original 1st ed. 1988
Springer Berlin (Verlag)
978-3-642-64870-0 (ISBN)

Artikel merken

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.

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.

Erscheint lt. Verlag	5.10.2011
Reihe/Serie	Topics in Information Systems
Zusatzinfo	XVIII, 294 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	480 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
Schlagworte	Architectures • Concurrency • Database • data model • Logic • programming • Programming language
ISBN-10	3-642-64870-3 / 3642648703
ISBN-13	978-3-642-64870-0 / 9783642648700
Zustand	Neuware