deductive database support?