it.unibz.inf.ontop.iq.proposal

Interface SubstitutionPropagationProposal<T extends QueryNode>

All Superinterfaces:

NodeCentricOptimizationProposal<T,NodeCentricOptimizationResults<T>>, QueryOptimizationProposal<NodeCentricOptimizationResults<T>>, SimpleNodeCentricOptimizationProposal<T>

All Known Implementing Classes:

SubstitutionPropagationProposalImpl

public interface SubstitutionPropagationProposal<T extends QueryNode>
extends SimpleNodeCentricOptimizationProposal<T>

Proposal to apply a substitution to a focus node and to propagate it down and up. Assumption: the substitution must be directly applicable to the focus node (i.e. the focus node should not reject it).

Method Summary

Modifier and Type	Method and Description
ImmutableSubstitution<? extends ImmutableTerm>	getSubstitution()

Methods inherited from interface it.unibz.inf.ontop.iq.proposal.NodeCentricOptimizationProposal

getFocusNode

Method Detail

getSubstitution

ImmutableSubstitution<? extends ImmutableTerm> getSubstitution()