Describir: Logic and data bases /