Status of the Aditi Deductive Database System