Class IntersectFOQueryConjunctionEvaluator

java.lang.Object

fr.inria.rules.integraal.query_evaluation.conjunction.IntersectFOQueryConjunctionEvaluator

All Implemented Interfaces:

FOQueryEvaluator<FOFormulaConjunction, QueryableData>, QueryEvaluator<FOQuery<? extends FOFormulaConjunction>, QueryableData>

public class IntersectFOQueryConjunctionEvaluator
extends Object
implements FOQueryEvaluator<FOFormulaConjunction, QueryableData>

Evaluates a conjunction by using intersection to aggregate the result of each sub-query
The intersection of two substitutions is a substitution from the variables of the two substitutions An intersection is considered correct if for each variable that appear in both substitutions, the associated terms are equals

Constructor Summary

Constructors

Constructor	Description
IntersectFOQueryConjunctionEvaluator(FOQueryEvaluator<FOFormula, QueryableData> evaluator)	Creates a new evaluator using the given evaluator to evaluate sub-queries

Method Summary

Modifier and Type	Method	Description
Stream<Substitution>	evaluate(FOQuery<? extends FOFormulaConjunction> query, QueryableData queryableData, Collection<Variable> vars, Substitution preHomomorphism)	//////////////////////////////////////////////

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface FOQueryEvaluator

prepareQuery, prepareQuery

Methods inherited from interface QueryEvaluator

countAnswers, countHomomorphism, evaluate, evaluate, existAnswer, existAnswer, existHomomorphism, existHomomorphism, homomorphism, homomorphism, postprocessResult, postprocessResult

Constructor Details

IntersectFOQueryConjunctionEvaluator

public IntersectFOQueryConjunctionEvaluator(FOQueryEvaluator<FOFormula, QueryableData> evaluator)

Creates a new evaluator using the given evaluator to evaluate sub-queries

Parameters:

evaluator - to evaluate sub-queries

Method Details

evaluate

public Stream<Substitution> evaluate(FOQuery<? extends FOFormulaConjunction> query,
 QueryableData queryableData,
 Collection<Variable> vars,
 Substitution preHomomorphism)
                              throws EvaluationException

//////////////////////////////////////////////

Specified by:

evaluate in interface FOQueryEvaluator<FOFormulaConjunction, QueryableData>

Specified by:

evaluate in interface QueryEvaluator<FOQuery<? extends FOFormulaConjunction>, QueryableData>

Parameters:

query - the query to evaluate

queryableData - the data source against which the query is evaluated

vars - variables constrained to constant answers

preHomomorphism - a partial substitution to extend

Returns:

a stream of substitutions answering the query

Throws:

EvaluationException - if the evaluation cannot be completed