Type-Checking OQL Queries In the ODMG Type Systems

Suad Alagic. Type-Checking OQL Queries In the ODMG Type Systems. ACM Trans. Database Syst., 24(3):319-360, 1999. [doi]

Abstract

Abstract is missing.