it.unibz.inf.ontop.iq.executor.join

Class SelfJoinLikeExecutor

java.lang.Object

it.unibz.inf.ontop.iq.executor.join.SelfJoinLikeExecutor

Direct Known Subclasses:

RedundantSelfJoinExecutor

public class SelfJoinLikeExecutor
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	SelfJoinLikeExecutor.AtomUnificationException TODO: explain TODO: find valid cases
protected static class	SelfJoinLikeExecutor.ConcreteProposal TODO: explain
protected static class	SelfJoinLikeExecutor.PredicateLevelProposal TODO: explain

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SelfJoinLikeExecutor(SubstitutionFactory substitutionFactory, ImmutableUnificationTools unificationTools, TermFactory termFactory)

Method Summary

Modifier and Type	Method and Description
protected static com.google.common.collect.ImmutableList<VariableOrGroundTerm>	extractArguments(DataAtom atom, com.google.common.collect.ImmutableList<Integer> positions) Returns the list of the terms from atom corresponding to the positions TODO: explain
protected static com.google.common.collect.ImmutableMultimap<RelationPredicate,ExtensionalDataNode>	extractDataNodes(com.google.common.collect.ImmutableList<QueryNode> siblings)
protected com.google.common.collect.ImmutableList<ImmutableSubstitution<VariableOrGroundTerm>>	extractSubstitutions(com.google.common.collect.ImmutableCollection<SelfJoinLikeExecutor.PredicateLevelProposal> predicateProposals)
protected Optional<ImmutableSubstitution<VariableOrGroundTerm>>	mergeSubstitutions(com.google.common.collect.ImmutableList<ImmutableSubstitution<VariableOrGroundTerm>> substitutions, com.google.common.collect.ImmutableMultimap<RelationPredicate,ExtensionalDataNode> initialDataNodeMap, com.google.common.collect.ImmutableList<Variable> priorityVariables)
protected com.google.common.collect.ImmutableList<Variable>	prioritizeVariables(IntermediateQuery query, JoinLikeNode joinLikeNode) TODO: implement seriously
protected SelfJoinLikeExecutor.PredicateLevelProposal	proposeForGroupingMap(com.google.common.collect.ImmutableMultimap<com.google.common.collect.ImmutableList<VariableOrGroundTerm>,ExtensionalDataNode> groupingMap) groupingMap groups data nodes that are being joined on the unique constraints creates proposal to unify redundant nodes
protected ImmutableSubstitution<VariableOrGroundTerm>	unifyRedundantNodes(Collection<ExtensionalDataNode> redundantNodes)
protected <N extends JoinOrFilterNode> NodeCentricOptimizationResults<N>	updateJoinNodeAndPropagateSubstitution(IntermediateQuery query, QueryTreeComponent treeComponent, N joinNode, SelfJoinLikeExecutor.ConcreteProposal proposal)

Methods inherited from class java.lang.Object

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

Constructor Detail

SelfJoinLikeExecutor

protected SelfJoinLikeExecutor(SubstitutionFactory substitutionFactory,
                               ImmutableUnificationTools unificationTools,
                               TermFactory termFactory)

Method Detail

extractDataNodes

protected static com.google.common.collect.ImmutableMultimap<RelationPredicate,ExtensionalDataNode> extractDataNodes(com.google.common.collect.ImmutableList<QueryNode> siblings)

proposeForGroupingMap

protected SelfJoinLikeExecutor.PredicateLevelProposal proposeForGroupingMap(com.google.common.collect.ImmutableMultimap<com.google.common.collect.ImmutableList<VariableOrGroundTerm>,ExtensionalDataNode> groupingMap)
                                                                     throws SelfJoinLikeExecutor.AtomUnificationException

groupingMap groups data nodes that are being joined on the unique constraints creates proposal to unify redundant nodes

Throws:

SelfJoinLikeExecutor.AtomUnificationException

unifyRedundantNodes

protected ImmutableSubstitution<VariableOrGroundTerm> unifyRedundantNodes(Collection<ExtensionalDataNode> redundantNodes)
                                                                   throws SelfJoinLikeExecutor.AtomUnificationException

Throws:

SelfJoinLikeExecutor.AtomUnificationException

mergeSubstitutions

protected Optional<ImmutableSubstitution<VariableOrGroundTerm>> mergeSubstitutions(com.google.common.collect.ImmutableList<ImmutableSubstitution<VariableOrGroundTerm>> substitutions,
                                                                                   com.google.common.collect.ImmutableMultimap<RelationPredicate,ExtensionalDataNode> initialDataNodeMap,
                                                                                   com.google.common.collect.ImmutableList<Variable> priorityVariables)
                                                                            throws SelfJoinLikeExecutor.AtomUnificationException

Throws:

SelfJoinLikeExecutor.AtomUnificationException

extractSubstitutions

protected com.google.common.collect.ImmutableList<ImmutableSubstitution<VariableOrGroundTerm>> extractSubstitutions(com.google.common.collect.ImmutableCollection<SelfJoinLikeExecutor.PredicateLevelProposal> predicateProposals)

extractArguments

protected static com.google.common.collect.ImmutableList<VariableOrGroundTerm> extractArguments(DataAtom atom,
                                                                                                com.google.common.collect.ImmutableList<Integer> positions)

Returns the list of the terms from atom corresponding to the positions TODO: explain

updateJoinNodeAndPropagateSubstitution

protected <N extends JoinOrFilterNode> NodeCentricOptimizationResults<N> updateJoinNodeAndPropagateSubstitution(IntermediateQuery query,
                                                                                                                QueryTreeComponent treeComponent,
                                                                                                                N joinNode,
                                                                                                                SelfJoinLikeExecutor.ConcreteProposal proposal)
                                                                                                         throws EmptyQueryException

Throws:

EmptyQueryException

prioritizeVariables

protected com.google.common.collect.ImmutableList<Variable> prioritizeVariables(IntermediateQuery query,
                                                                                JoinLikeNode joinLikeNode)

TODO: implement seriously