Typed Sets as a Basis for Object-Oriented Database Schemas


Balsters, H. and By, R.A. de and Zicari, R. (1993) Typed Sets as a Basis for Object-Oriented Database Schemas. In: Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP 1993), 26-30 July 1993, Kaiserslautern, Germany (pp. pp. 161-184).

[img] PDF
Restricted to UT campus only
: Request a copy
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.
Item Type:Conference or Workshop Item
Additional information:Imported from EWI/DB PMS [db-utwente:inpr:0000003137]
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/63488
Official URL:http://www.springerlink.com/content/0kwr4vnp76v9bwb0
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page