Class AtomicFOQueryEvaluator<QD extends QueryableData>

java.lang.Object

fr.inria.rules.integraal.query_evaluation.atomic.AtomicFOQueryEvaluator<QD>

Type Parameters:

QD - concrete QueryableData type

All Implemented Interfaces:

FOQueryEvaluator<Atom,QD>, QueryEvaluator<FOQuery<? extends Atom>, QD>

public class AtomicFOQueryEvaluator<QD extends QueryableData>
extends Object
implements FOQueryEvaluator<Atom,QD>

Specialised evaluator for atomic first-order queries.

The implementation is optimised for both function-free and function-enabled formulas. Equalities and answer reconstruction are delegated to the shared utility classes in fr.inria.rules.integraal.query_evaluation.util.

Author:

Guillaume Perution-Kihli

Constructor Summary

Constructors

Constructor	Description
AtomicFOQueryEvaluator()	Creates an atomic query evaluator.

Method Summary

Modifier and Type	Method	Description
Stream<Substitution>	evaluate(FOQuery<? extends Atom> query, QD qd, Collection<Variable> mustGround, Substitution assign)	Evaluates a first-order query against a data source.
PreparedFOQuery<Atom,QD>	prepareQuery(FOQuery<? extends Atom> query, QD qd, Collection<Variable> mustGround)	Creates a prepared first-order query bound to a data source and ground-term policy.

Methods inherited from class Object

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

Methods inherited from interface FOQueryEvaluator

prepareQuery

Methods inherited from interface QueryEvaluator

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

Constructor Details

AtomicFOQueryEvaluator

public AtomicFOQueryEvaluator()

Creates an atomic query evaluator.

Method Details

evaluate

public Stream<Substitution> evaluate(FOQuery<? extends Atom> query,
 QD qd,
 Collection<Variable> mustGround,
 Substitution assign)
                              throws EvaluationException

Description copied from interface: FOQueryEvaluator

Evaluates a first-order query against a data source.

Specified by:

evaluate in interface FOQueryEvaluator<Atom, QD extends QueryableData>

Specified by:

evaluate in interface QueryEvaluator<FOQuery<? extends Atom>, QD extends QueryableData>

Parameters:

query - the query to evaluate

qd - the data source against which the query is evaluated

mustGround - variables constrained to constant answers

assign - a partial substitution to extend

Returns:

a stream of substitutions answering the query

Throws:

EvaluationException - if the evaluation cannot be completed

prepareQuery

public PreparedFOQuery<Atom,QD> prepareQuery(FOQuery<? extends Atom> query,
 QD qd,
 Collection<Variable> mustGround)

Description copied from interface: FOQueryEvaluator

Creates a prepared first-order query bound to a data source and ground-term policy.

Specified by:

prepareQuery in interface FOQueryEvaluator<Atom, QD extends QueryableData>

Specified by:

prepareQuery in interface QueryEvaluator<FOQuery<? extends Atom>, QD extends QueryableData>

Parameters:

query - the query to prepare

qd - the data source against which the query will run

mustGround - variables constrained to ground answers

Returns:

a prepared query wrapper