Representing object identity in a pure functional language

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

One of the central concepts in the field of object-oriented databases is object identity, which nicely captures mutability, sharing and cyclic structures. Although the concept is intuitively clear, its precise semantics has not yet been well established. This seems to be a major obstacle to achieve a clean integration of object-oriented databases and other paradigms of database programming in a modern type system of a programming language. This paper attempts to establish a mathematical model for object identity in a framework of typed pure functional languages. We argue that the properties of object identity are accurately captured by references as they are implemented in Standard ML. We then present a method to interpret an impure higher-order functional language with references in a typed pure functional language using Moggi’s recent result on the categorical structure of monads. This establishes a precise semantics to the primitive operations for references and allows us to analyze various property of object identity. We investigate the interaction between set data types and object identity. Since the interpretation is shown to preserve all the properties of the existing data structures for databases, it enables us to integrate object identity with various existing data models within a type system of a programming language. We show that object identity and a generalized relational model can be uniformly integrated in a programming language.

Original languageEnglish
Title of host publicationICDT 1990 - 3rd International Conference on Database Theory, Proceedings
EditorsSerge Abiteboul, Paris C. Kanetlakis
PublisherSpringer-Verlag
Pages39-55
Number of pages17
ISBN (Print)9783540535072
DOIs
Publication statusPublished - 1990 Jan 1
Externally publishedYes
Event3rd International Conference on Database Theory, ICDT 1990 - Paris, France
Duration: 1990 Dec 121990 Dec 14

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume470 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Conference on Database Theory, ICDT 1990
CountryFrance
CityParis
Period90/12/1290/12/14

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Representing object identity in a pure functional language'. Together they form a unique fingerprint.

Cite this