Skip to main content
SpringerLink
Log in

Data Types and Persistence

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. Malcolm P. Atkinson

    1. Department of Computing Science, University of Glasgow, Glasgow, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Buneman

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ronald Morrison

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Data Types and Persistence

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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

    7. A New Type-Checker for a Functional Language

      • Jon Fairbairn
      Pages 69-87

  3. Database Types in Programming Languages

    1. Front Matter

      Pages 89-89
      Download chapter PDF

    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. Class Hierarchies in Information Systems: Sets, Types, or Prototypes?

      • Alexander Borgida
      Pages 137-154

    6. Language and Methodology for Object-Oriented Database Environments

      • Stanley B. Zdonik, Peter Wegner
      Pages 155-171

    7. Persistence and Aldat

      • T. H. Merrett
      Pages 173-188

  4. Concurrency, Transactions and Implementation of Persistence

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Linguistic Support for Atomic Data Types

      • William E. Weihl
      Pages 191-212

    3. Building Flexible Multilevel Transactions in a Distributed Persistent Environment

      • G. Lawrence Krablin
      Pages 213-234

    4. Addressing Mechanisms and Persistent Programming

      • W. P. Cockshott
      Pages 235-252

    5. The Implementation of Galileo’s Persistent Values

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

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation