Advertisement

Data Types and Persistence

  • Malcolm P. Atkinson
  • Peter Buneman
  • Ronald Morrison
Conference proceedings

Part of the Topics in Information Systems book series (TINF)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Data Types and Persistence

    1. Front Matter
      Pages 1-1
    2. Malcolm P. Atkinson, Ronald Morrison
      Pages 3-20
    3. Robert Harper
      Pages 21-30
    4. Luca Cardelli, David MacQueen
      Pages 31-41
    5. David C. J. Matthews
      Pages 43-50
    6. Rishiyur S. Nikhil
      Pages 51-67
  3. Database Types in Programming Languages

    1. Front Matter
      Pages 89-89
    2. Peter Buneman
      Pages 91-100
    3. A. Albano, F. Giannotti, R. Orsini, D. Pedreschi
      Pages 101-119
    4. Hassan Aït-Kaci, Roger Nasr
      Pages 121-136
    5. Stanley B. Zdonik, Peter Wegner
      Pages 155-171
    6. T. H. Merrett
      Pages 173-188
  4. Concurrency, Transactions and Implementation of Persistence

    1. Front Matter
      Pages 189-189
    2. William E. Weihl
      Pages 191-212
    3. W. P. Cockshott
      Pages 235-252
    4. A. Albano, G. Ghelli, R. Orsini
      Pages 253-263
  5. Back Matter
    Pages 265-294

About these proceedings

Introduction

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.

Keywords

architectures concurrency data model database logic programming programming language

Editors and affiliations

  • Malcolm P. Atkinson
    • 1
  • Peter Buneman
    • 2
  • Ronald Morrison
    • 3
  1. 1.Department of Computing ScienceUniversity of GlasgowGlasgowScotland
  2. 2.Department of Computer Information Science, The Moore School of Electrical EngineeringUniversity of PennsylvaniaPhiladelphiaUSA
  3. 3.Department of Computational ScienceUniversity of St. AndrewsSt. Andrews, FifeScotland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-61556-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-64870-0
  • Online ISBN 978-3-642-61556-6
  • Series Print ISSN 1431-9365
  • Buy this book on publisher's site