it.unibz.inf.ontop.iq.impl

Class AbstractCompositeIQTree<N extends QueryNode>

java.lang.Object

it.unibz.inf.ontop.iq.impl.AbstractCompositeIQTree<N>

All Implemented Interfaces:

CompositeIQTree<N>, IQTree

Direct Known Subclasses:

BinaryNonCommutativeIQTreeImpl, NaryIQTreeImpl, UnaryIQTreeImpl

public abstract class AbstractCompositeIQTree<N extends QueryNode>
extends Object
implements CompositeIQTree<N>

Field Summary

Fields

Modifier and Type	Field and Description
protected IntermediateQueryFactory	iqFactory
protected IQTreeTools	iqTreeTools

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractCompositeIQTree(N rootNode, com.google.common.collect.ImmutableList<IQTree> children, IQProperties iqProperties, IQTreeTools iqTreeTools, IntermediateQueryFactory iqFactory, TermFactory termFactory)
protected	AbstractCompositeIQTree(N rootNode, com.google.common.collect.ImmutableList<IQTree> children, IQTreeCache treeCache, IQTreeTools iqTreeTools, IntermediateQueryFactory iqFactory, TermFactory termFactory)

Method Summary

Modifier and Type	Method and Description
IQTree	applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint) Applies the descending substitution and performs SOME optimizations.
IQTree	applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution) Particular type of descending substitution: only renaming some variables by external ones.
protected abstract IQTree	applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution, boolean alreadyNormalized)
protected abstract IQTree	applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
protected abstract boolean	computeIsDistinct()
protected abstract com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>>	computePossibleVariableDefinitions()
protected abstract com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>>	computeUniqueConstraints()
protected abstract VariableNullability	computeVariableNullability()
protected com.google.common.collect.ImmutableSet<Variable>	computeVariables()
boolean	equals(Object o)
com.google.common.collect.ImmutableList<IQTree>	getChildren()
com.google.common.collect.ImmutableSet<Variable>	getKnownVariables() Variables present in the tree
com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>>	getPossibleVariableDefinitions() Returns a set of substitutions that define the projected variables when they are constructed.
protected IQProperties	getProperties()
N	getRootNode()
protected IQTreeCache	getTreeCache()
VariableNullability	getVariableNullability()
com.google.common.collect.ImmutableSet<Variable>	getVariables() Variables projected by the tree
int	hashCode()
com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>>	inferUniqueConstraints() NOT guaranteed to return all the unique constraints (MAY BE INCOMPLETE) Set of sets of determinants
boolean	isDistinct() Returns true if it guarantees that all its results will be distinct
boolean	isEquivalentTo(IQTree tree)
protected Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>>	normalizeDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
String	toString()
void	validate()
protected abstract void	validateNode() Only validates the node, not its children

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.iq.IQTree

acceptTransformer, acceptVisitor, applyDescendingSubstitutionWithoutOptimizing, isConstructed, isDeclaredAsEmpty, isLeaf, liftIncompatibleDefinitions, normalizeForOptimization, propagateDownConstraint, removeDistincts, replaceSubTree

Field Detail

iqTreeTools

protected final IQTreeTools iqTreeTools

iqFactory

protected final IntermediateQueryFactory iqFactory

Constructor Detail

AbstractCompositeIQTree

protected AbstractCompositeIQTree(N rootNode,
                                  com.google.common.collect.ImmutableList<IQTree> children,
                                  IQProperties iqProperties,
                                  IQTreeTools iqTreeTools,
                                  IntermediateQueryFactory iqFactory,
                                  TermFactory termFactory)

AbstractCompositeIQTree

protected AbstractCompositeIQTree(N rootNode,
                                  com.google.common.collect.ImmutableList<IQTree> children,
                                  IQTreeCache treeCache,
                                  IQTreeTools iqTreeTools,
                                  IntermediateQueryFactory iqFactory,
                                  TermFactory termFactory)

Method Detail

getRootNode

public N getRootNode()

Specified by:

getRootNode in interface CompositeIQTree<N extends QueryNode>

Specified by:

getRootNode in interface IQTree

getChildren

public com.google.common.collect.ImmutableList<IQTree> getChildren()

Specified by:

getChildren in interface IQTree

getVariables

public com.google.common.collect.ImmutableSet<Variable> getVariables()

Description copied from interface: IQTree

Variables projected by the tree

Specified by:

getVariables in interface IQTree

computeVariables

protected com.google.common.collect.ImmutableSet<Variable> computeVariables()

getKnownVariables

public com.google.common.collect.ImmutableSet<Variable> getKnownVariables()

Description copied from interface: IQTree

Variables present in the tree

Specified by:

getKnownVariables in interface IQTree

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isEquivalentTo

public boolean isEquivalentTo(IQTree tree)

Specified by:

isEquivalentTo in interface IQTree

getProperties

protected IQProperties getProperties()

normalizeDescendingSubstitution

protected Optional<ImmutableSubstitution<? extends VariableOrGroundTerm>> normalizeDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
                                                                                                   throws IQTreeTools.UnsatisfiableDescendingSubstitutionException

Throws:

IQTreeTools.UnsatisfiableDescendingSubstitutionException

applyDescendingSubstitution

public IQTree applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                          Optional<ImmutableExpression> constraint)

Description copied from interface: IQTree

Applies the descending substitution and performs SOME optimizations. Designed to be called DURING the "structural/semantic optimization" phase.

Specified by:

applyDescendingSubstitution in interface IQTree

applyFreshRenaming

public IQTree applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)

Description copied from interface: IQTree

Particular type of descending substitution: only renaming some variables by external ones. Isolated from regular descending substitutions as it preserves the properties of the tree (e.g. it remains normalized if it was already)

Specified by:

applyFreshRenaming in interface IQTree

applyFreshRenaming

protected abstract IQTree applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution,
                                             boolean alreadyNormalized)

applyRegularDescendingSubstitution

protected abstract IQTree applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                                             Optional<ImmutableExpression> constraint)

validate

public final void validate()
                    throws InvalidIntermediateQueryException

Specified by:

validate in interface IQTree

Throws:

InvalidIntermediateQueryException

validateNode

protected abstract void validateNode()
                              throws InvalidIntermediateQueryException

Only validates the node, not its children

Throws:

InvalidIntermediateQueryException

getVariableNullability

public VariableNullability getVariableNullability()

Specified by:

getVariableNullability in interface IQTree

computeVariableNullability

protected abstract VariableNullability computeVariableNullability()

getTreeCache

protected IQTreeCache getTreeCache()

getPossibleVariableDefinitions

public com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> getPossibleVariableDefinitions()

Description copied from interface: IQTree

Returns a set of substitutions that define the projected variables when they are constructed. Guarantee: each tuple in the result set having constructed values matches at least one of these substitutions. It is advised to call this method on a normalized IQ so as to reduce the number of possible substitutions (normalization drops unsatisfiable substitutions). The intended usage of this method it to determine the definition of a variable from the returned substitution. Therefore this method is robust to simple variable renaming and to multiple complex substitutions. E.g. if [x/x2], [x2/x3] and [x3/URI("http://myURI{}", x4] are three substitutions found in that order in a same branch, then x/URI("http://myURI{}", x4) will be the only output substitution for that branch.

Specified by:

getPossibleVariableDefinitions in interface IQTree

computePossibleVariableDefinitions

protected abstract com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> computePossibleVariableDefinitions()

inferUniqueConstraints

public com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> inferUniqueConstraints()

Description copied from interface: IQTree

NOT guaranteed to return all the unique constraints (MAY BE INCOMPLETE) Set of sets of determinants

Specified by:

inferUniqueConstraints in interface IQTree

computeUniqueConstraints

protected abstract com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> computeUniqueConstraints()

isDistinct

public boolean isDistinct()

Description copied from interface: IQTree

Returns true if it guarantees that all its results will be distinct

Specified by:

isDistinct in interface IQTree

computeIsDistinct

protected abstract boolean computeIsDistinct()