com.bigdata.relation.rule.eval

Interface ISolution<E>

Type Parameters:

E - The generic type of elements materialized from the head of the rule.

All Known Implementing Classes:

Solution

public interface ISolution<E>

A solution bundles together any of (a) the materialized element corresponding to the bindings on the head of an IRule; (b) the IBindingSet used to generate that solution; and (c) the IRule from which those bindings were computed. All data are optional. Which data are included depends on a set of bit flags known to the IJoinNexus implementation and the behavior of its IJoinNexus.newSolution(IRule, IBindingSet) implementation.

Note: The IBindingSet is useful both for high-level query and to materialize the justifications for the entailments. The RDF DB uses this for to maintain a justifications index in support of truth maintenance.

Version:

$Id$

Author:

Bryan Thompson

Method Summary

Methods

Modifier and Type	Method and Description
E	get() Return the element materialized from the head of the rule given a set of bindings for that rule (optional operation).
IBindingSet	getBindingSet() Return the IBindingSet for this solution (optional operation).
IRule<E>	getRule() Return the IRule that generated this solution (optional operation).

Method Detail

get

E get()

Return the element materialized from the head of the rule given a set of bindings for that rule (optional operation).

Returns:

The element -or- null if the element was not requested.

getRule

IRule<E> getRule()

Return the IRule that generated this solution (optional operation).

Returns:

The IRule -or- null if the rule was not requested.

getBindingSet

IBindingSet getBindingSet()

Return the IBindingSet for this solution (optional operation).

Returns:

The IBindingSet.