Type System for an Object-Oriented Database Programming Language Yuri Leontiev [email protected] yuri University of Alberta.