Type-checking OQL queries in the ODMG type systems - ALAGIC, SUAD (ACM transactions on database systems, 1999)
Keywords: C plus plus; Classes and objects; Data base management systems; Data management systems; Database management system engines; Database query languages (principles); Database theory; General programming languages; Information systems; Inheritance; Java; Language features; Language types; Object oriented languages; Object oriented programming; Polymorphism; Programming languages; Query languages; Software and its engineering; Software notations and tools; Theory and algorithms for application domains; Theory of computation; parametric polymorphism; Java; C++; OQL; ODMG standard; type systems