Type System of an Object-Oriented Database Programming Language (Extended Abstract) (1999)
Cached
Download Links
- [menaik.cs.ualberta.ca]
- [www.cs.ualberta.ca]
- [www.cs.ualberta.ca]
- [web.cs.ualberta.ca]
- [db.uwaterloo.ca]
- DBLP
Other Repositories/Bibliography
| Venue: | ACM COMPUTING SURVEYS (CSUR |
| Citations: | 7 - 0 self |
BibTeX
@ARTICLE{Leontiev99typesystem,
author = {Y. Leontiev and M. Tamer Özsu and Duane Szafron},
title = {Type System of an Object-Oriented Database Programming Language (Extended Abstract)},
journal = {ACM COMPUTING SURVEYS (CSUR},
year = {1999},
volume = {34},
pages = {409--449}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
