The design of deductive rules turns out to be a non-trivial task in the presence of inheritance and redefinition. For example, the concepts of safety and stratifiability have to be extended accordingly. Our Passive Rule Design Tool graphically guides the user through the task of deductive rule design and supports him in the detection and removal of inconsistencies.
The Passive Rule Design Tool analyses the passive rules of a Chimera schema and displays its results graphically to the schema designer. Dependencies between rules are visualized as well as non-stratifiable cycles, unsafe rules are detected and, at least in some cases, unsatisfiable rules are identified.
The Passive Rule Design Tool (PRDT) is available for download as well as our publications on this topic.