Treffer: Type System of an Object-Oriented Database Programming Language (Extended Abstract)
Title:
Type System of an Object-Oriented Database Programming Language (Extended Abstract)
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
ftp://menaik.cs.ualberta.ca/pub/yuri/dbpl97eea.ps.gz
Publication Year:
1999
Collection:
CiteSeerX
Document Type:
Fachzeitschrift
text
File Description:
application/postscript
Language:
English
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.99BCE684
Database:
BASE
Weitere Informationen
In this paper we present the type system of the TIGUKAT database programming language. It is a highly parametric object-oriented type system that combines multiple dispatch with reflexivity, separation of interface and implementation, precise behavior typing, and union and intersection types. We demonstrate the inner workings of the type system by considering a concrete example of type specification in TIGUKAT. We also review type systems of several existing programming languages and conclude that the proposed type system has a unique combination of features particularly suited for object-oriented database programming.