Text this: Deductive and object-oriented databases :