Re: Rule based RDBMS design

Kresimir Fabijanic wrote:
>
> I did use Aditi (a deductive database which uses Prolog as a
> interface and query language), as you see from the two constraints, I
> have to derive information, I can not configure constraints. I could
> capture rules in the code, but the maintenance of the code would make
> this option unworkable.

Ok. So, just to get things clear, you have static and *dynamic* constraints. Right? And do you really derive information? Do you have derived tables like views? Can I specify that a certain table is the transitive closure of another? And how complex are the rules? Is it like datalog, like first order logic, like higher order logic, like SQL, like ... well, you understand the question. :-)

-- 
  Jan Hidders