Module fr.boreal.backward_chaining
Class SingleRuleAggregator
java.lang.Object
fr.boreal.backward_chaining.pure.rewriting_operator.SingleRuleAggregator
- All Implemented Interfaces:
RewritingOperator
From Melanie Konïg's thesis Rewriting operator SRA
Query rewriting engine that rewrite query using aggregation by rule of most
general single piece-unifiers
From Melanie Konïg's thesis
Rewriting operator SRA
Query rewriting engine that rewrite query using aggregation by rule of most general single piece-unifiers
Query rewriting engine that rewrite query using aggregation by rule of most general single piece-unifiers
-
Constructor Summary
ConstructorsConstructorDescriptionCreates a new SingleRuleAggregator using default parameters query unifier algorithm : QueryUnifierAlgorithmSingleRuleAggregator(RuleCompilation compilation) Creates a new SingleRuleAggregator using default parameters query unifier algorithm : QueryUnifierAlgorithmSingleRuleAggregator(QueryUnifierAlgorithm unifier_algo) Creates a new SingleRuleAggregator using the given parametersSingleRuleAggregator(QueryUnifierAlgorithm unifier_algo, RuleCompilation compilation) Creates a new SingleRuleAggregator using the given parameters
The unifier algorithm must have been instantiated with the given compilation if it is not an empty compilation -
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface fr.boreal.backward_chaining.pure.rewriting_operator.RewritingOperator
rewrite
-
Constructor Details
-
SingleRuleAggregator
public SingleRuleAggregator()Creates a new SingleRuleAggregator using default parameters query unifier algorithm : QueryUnifierAlgorithm -
SingleRuleAggregator
Creates a new SingleRuleAggregator using default parameters query unifier algorithm : QueryUnifierAlgorithm- Parameters:
compilation- the compilation of the rules to use
-
SingleRuleAggregator
Creates a new SingleRuleAggregator using the given parameters- Parameters:
unifier_algo- the query unifier algorithm to use
-
SingleRuleAggregator
Creates a new SingleRuleAggregator using the given parameters
The unifier algorithm must have been instantiated with the given compilation if it is not an empty compilation- Parameters:
unifier_algo- the query unifier algorithm to usecompilation- the compilation of the rules to use
-
-
Method Details
-
rewrite
Description copied from interface:RewritingOperatorA rewriting operator rew is a function which takes a conjunctive query Q and a set of rules R and outputs a set of conjunctive queries noted rew(Q, R)- Specified by:
rewritein interfaceRewritingOperator- Parameters:
query- Qrb- R- Returns:
- a set of conjunctive queries, rewritings of Q with R
-