Skip to main content
  • Conference proceedings
  • © 1988

Data Types and Persistence

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

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (16 papers)

  1. Front Matter

    Pages I-XVIII
  2. Data Types and Persistence

    1. Front Matter

      Pages 1-1
    2. Types, Bindings and Parameters in a Persistent Environment

      • Malcolm P. Atkinson, Ronald Morrison
      Pages 3-20
    3. Modules and Persistence in Standard ML

      • Robert Harper
      Pages 21-30
    4. Persistence and Type Abstraction

      • Luca Cardelli, David MacQueen
      Pages 31-41
    5. An Overview of the Poly Programming Language

      • David C. J. Matthews
      Pages 43-50
    6. Functional Databases, Functional Languages

      • Rishiyur S. Nikhil
      Pages 51-67
  3. Database Types in Programming Languages

    1. Front Matter

      Pages 89-89
    2. Data Types For Database Programming

      • Peter Buneman
      Pages 91-100
    3. The Type System of Galileo

      • A. Albano, F. Giannotti, R. Orsini, D. Pedreschi
      Pages 101-119
    4. Integrating Data Type Inheritance into Logic Programming

      • Hassan Aït-Kaci, Roger Nasr
      Pages 121-136
    5. Language and Methodology for Object-Oriented Database Environments

      • Stanley B. Zdonik, Peter Wegner
      Pages 155-171
    6. Persistence and Aldat

      • T. H. Merrett
      Pages 173-188
  4. Concurrency, Transactions and Implementation of Persistence

    1. Front Matter

      Pages 189-189
    2. Linguistic Support for Atomic Data Types

      • William E. Weihl
      Pages 191-212
    3. Addressing Mechanisms and Persistent Programming

      • W. P. Cockshott
      Pages 235-252
    4. The Implementation of Galileo’s Persistent Values

      • A. Albano, G. Ghelli, R. Orsini
      Pages 253-263

About this book

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.

Editors and Affiliations

  • Department of Computing Science, University of Glasgow, Glasgow, Scotland

    Malcolm P. Atkinson

  • Department of Computer Information Science, The Moore School of Electrical Engineering, University of Pennsylvania, Philadelphia, USA

    Peter Buneman

  • Department of Computational Science, University of St. Andrews, St. Andrews, Fife, Scotland

    Ronald Morrison

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access