Inferring the Principal Type and the Schema Requirements of an OQL Query - Trigoni, N; Bierman, G (2001)