Typed Sets as a Basis for Object-Oriented Database Schemas

H. Balsters, R.A. de By, R. Zicari

Research output: Contribution to conferencePaper

11 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 languageUndefined
Pages161-184
Number of pages24
Publication statusPublished - Jul 1993

Keywords

  • DB-OODB: OBJECT-ORIENTED DATABASES
  • IR-63488
  • DB-PRJTM: TWENTE-MILANO
  • EWI-7165

Cite this