Data Types and Persistence - Brossura

 
9783642648700: Data Types and Persistence
Brossura
ISBN 10: 3642648703 ISBN 13: 9783642648700
Casa editrice: Springer, 2011

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
3642648703
ISBN 13 
9783642648700
Rilegatura
Copertina flessibile
Numero di pagine
316
Redattore
Atkinson Malcolm P., Buneman Peter, Morrison Ronald
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783540187851: Data Types and Persistence

Edizione in evidenza

ISBN 10:  3540187855 ISBN 13:  9783540187851
Casa editrice: Springer-Verlag New York Inc, 1988
Rilegato