An Object-Oriented Query Model for Efficient Method Processing