1993 Reports

Optimization of the Binding Mechanism of the Characteristic Function in Marvel

Bunter, Toni A.

The applied binding mechanism in Marvel 3.1 for the characteristic function checks all instances of a given class against the binding formula, regardless of the actual structure of the formula and its predicates. This can cause unnecessary computation overhead while executing a rule. This report displays a more advanced mechanism considering relational information between objects, the structure of the binding formula and optimizing rewriting of the binding formula.