Type System of an Object-Oriented Database Programming Language (Extended Abstract)

Type System of an Object-Oriented Database Programming Language (Extended Abstract) (1999)

by Y. Leontiev , M. Tamer Özsu , Duane Szafron

Venue:	ACM COMPUTING SURVEYS (CSUR
Citations:	7 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Type System of an Object-Oriented Database Programming Language (Extended Abstract)	user correction - Legacy Corrections
AUTHOR NAME	Y. Leontiev	user correction
AUTHOR AFFIL	Laboratory for Database Systems Research; Department of Computing Science; University of Alberta	user correction
AUTHOR ADDR	Edmonton, Alberta, Canada T6G 2E1	user correction
AUTHOR NAME	M. Tamer Özsu	user correction
AUTHOR AFFIL	Laboratory for Database Systems Research; Department of Computing Science; University of Alberta	user correction
AUTHOR ADDR	Edmonton, Alberta, Canada T6G 2E1	user correction
AUTHOR NAME	Duane Szafron	user correction
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.	user correction
YEAR	1999	INFERENCE
VENUE	ACM COMPUTING SURVEYS (CSUR	user correction
VENUE TYPE	JOURNAL	INFERENCE
PAGES	409--449	INFERENCE
VOLUME	34	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	40 found	ParsCit 1.0