Typed Sets as a Basis for Object-Oriented Database Schemas

Herman Balsters, Rolf A. de By, Roberto Zicari

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
12 Downloads (Pure)

Abstract

The object-oriented data model TM is a language that is based on the formal theory of FM, a typed language with object-oriented features such as attributes and methods in the presence of subtyping. The general (typed) set constructs of FM allow one to deal with (database) constraints in TM. The paper describes the theory of FM, and discusses the role that set expressions may play in conceptual database schemes. Special attention is paid to the treatment of constraints, and a three-step specification approach is proposed. This approach results in the formal notion of database universe stated as an FM expression. Keywords. object-oriented databases, constraint specification, sets, type theory.
Original languageEnglish
Title of host publicationECOOP’ 93 — Object-Oriented Programming
Subtitle of host publication7th European Conference Kaiserslautern, Germany, July 26–30, 1993: Proceedings
EditorsOscar M. Nierstrasz
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages161-184
Number of pages24
ISBN (Electronic)978-3-540-47910-9
ISBN (Print)978-3-540-57120-9
Publication statusPublished - Jul 1993
Event7th European Conference on Object-Oriented Programming (ECOOP 1993) - Kaiserslautern, Germany
Duration: 26 Jul 199330 Jul 1993

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume707
ISSN (Print)0302-9743

Conference

Conference7th European Conference on Object-Oriented Programming (ECOOP 1993)
Period26/07/9330/07/93
Other26-30 July 1993

Keywords

  • DB-OODB: OBJECT-ORIENTED DATABASES
  • DB-PRJTM: TWENTE-MILANO

Fingerprint

Dive into the research topics of 'Typed Sets as a Basis for Object-Oriented Database Schemas'. Together they form a unique fingerprint.

Cite this