Typed Sets as a Basis for Object-Oriented Database Schemas

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

Research output: Contribution to conferencePaper

10 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

@conference{0e6578f1fdf04da9a71e98dea0d45cd2,
title = "Typed Sets as a Basis for Object-Oriented Database Schemas",
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.",
keywords = "DB-OODB: OBJECT-ORIENTED DATABASES, IR-63488, DB-PRJTM: TWENTE-MILANO, EWI-7165",
author = "H. Balsters and {de By}, R.A. and R. Zicari",
note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003137]",
year = "1993",
month = "7",
language = "Undefined",
pages = "161--184",

}

Typed Sets as a Basis for Object-Oriented Database Schemas. / Balsters, H.; de By, R.A.; Zicari, R.

1993. 161-184.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Typed Sets as a Basis for Object-Oriented Database Schemas

AU - Balsters, H.

AU - de By, R.A.

AU - Zicari, R.

N1 - Imported from EWI/DB PMS [db-utwente:inpr:0000003137]

PY - 1993/7

Y1 - 1993/7

N2 - 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.

AB - 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.

KW - DB-OODB: OBJECT-ORIENTED DATABASES

KW - IR-63488

KW - DB-PRJTM: TWENTE-MILANO

KW - EWI-7165

M3 - Paper

SP - 161

EP - 184

ER -