Re: deductive database support?