Describir: Deductive and object-oriented databases :