Typed Sets as a Basis for Object-Oriented Database Schemas

Herman Balsters; Rolf A. de By; Roberto Zicari

doi:10.1007/3-540-47910-4_10

Typed Sets as a Basis for Object-Oriented Database Schemas

Herman Balsters, Rolf A. de By, Roberto Zicari

Databases (Former)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (Scopus)

37 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 language	English
Title of host publication	ECOOP’ 93 — Object-Oriented Programming
Subtitle of host publication	7th European Conference Kaiserslautern, Germany, July 26–30, 1993: Proceedings
Editors	Oscar M. Nierstrasz
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	161-184
Number of pages	24
ISBN (Electronic)	978-3-540-47910-9
ISBN (Print)	978-3-540-57120-9
DOIs	https://doi.org/10.1007/3-540-47910-4_10
Publication status	Published - Jul 1993
Event	7th European Conference on Object-Oriented Programming (ECOOP 1993) - Kaiserslautern, Germany Duration: 26 Jul 1993 → 30 Jul 1993

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	707
ISSN (Print)	0302-9743

Conference

Conference	7th European Conference on Object-Oriented Programming (ECOOP 1993)
Period	26/07/93 → 30/07/93
Other	26-30 July 1993

Keywords

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

Access to Document

10.1007/3-540-47910-4_10

Balsters1993typedFinal published version, 1.29 MB

9 Citations
1 Conference contribution

Typed Sets as a Basis for Object-Oriented Database Schemas
Balsters, H., de By, R. & Zicari, R., Nov 1991, Computer Science in the Netherlands, CSN 1991: Jaarbeurs Utrecht 7 en 8 november 1991 : proceedings . van Leeuwen, J. (ed.). Amsterdam: Stichting Mathematisch Centrum, p. 62-77 16 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Cite this

Balsters, H., de By, R. A., & Zicari, R. (1993). Typed Sets as a Basis for Object-Oriented Database Schemas. In O. M. Nierstrasz (Ed.), ECOOP’ 93 — Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26–30, 1993: Proceedings (pp. 161-184). (Lecture Notes in Computer Science; Vol. 707). Springer. https://doi.org/10.1007/3-540-47910-4_10

@inproceedings{ff7249e190044305ad51428ad358ebb5,

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, DB-PRJTM: TWENTE-MILANO",

author = "Herman Balsters and {de By}, {Rolf A.} and Roberto Zicari",

year = "1993",

month = jul,

doi = "10.1007/3-540-47910-4_10",

language = "English",

isbn = "978-3-540-57120-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "161--184",

editor = "Nierstrasz, {Oscar M.}",

booktitle = "ECOOP{\textquoteright} 93 — Object-Oriented Programming",

note = "7th European Conference on Object-Oriented Programming (ECOOP 1993) ; Conference date: 26-07-1993 Through 30-07-1993",

}

Balsters, H, de By, RA & Zicari, R 1993, Typed Sets as a Basis for Object-Oriented Database Schemas. in OM Nierstrasz (ed.), ECOOP’ 93 — Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26–30, 1993: Proceedings. Lecture Notes in Computer Science, vol. 707, Springer, Berlin, Heidelberg, pp. 161-184, 7th European Conference on Object-Oriented Programming (ECOOP 1993), 26/07/93. https://doi.org/10.1007/3-540-47910-4_10

Typed Sets as a Basis for Object-Oriented Database Schemas. / Balsters, Herman; de By, Rolf A.; Zicari, Roberto.
ECOOP’ 93 — Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26–30, 1993: Proceedings. ed. / Oscar M. Nierstrasz. Berlin, Heidelberg: Springer, 1993. p. 161-184 (Lecture Notes in Computer Science; Vol. 707).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Balsters, Herman

AU - de By, Rolf A.

AU - Zicari, Roberto

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 - DB-PRJTM: TWENTE-MILANO

U2 - 10.1007/3-540-47910-4_10

DO - 10.1007/3-540-47910-4_10

M3 - Conference contribution

SN - 978-3-540-57120-9

T3 - Lecture Notes in Computer Science

SP - 161

EP - 184

BT - ECOOP’ 93 — Object-Oriented Programming

A2 - Nierstrasz, Oscar M.

PB - Springer

CY - Berlin, Heidelberg

T2 - 7th European Conference on Object-Oriented Programming (ECOOP 1993)

Y2 - 26 July 1993 through 30 July 1993

ER -

Typed Sets as a Basis for Object-Oriented Database Schemas

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Research output

Typed Sets as a Basis for Object-Oriented Database Schemas

Cite this