it.unibz.inf.ontop.iq.node.impl

Class DataNodeImpl<P extends AtomPredicate>

java.lang.Object

it.unibz.inf.ontop.iq.node.impl.QueryNodeImpl

it.unibz.inf.ontop.iq.node.impl.LeafIQTreeImpl

it.unibz.inf.ontop.iq.node.impl.DataNodeImpl<P>

All Implemented Interfaces:

IQTree, LeafIQTree, DataNode<P>, ExplicitVariableProjectionNode, QueryNode, Cloneable

Direct Known Subclasses:

ExtensionalDataNodeImpl, IntensionalDataNodeImpl

public abstract class DataNodeImpl<P extends AtomPredicate>
extends LeafIQTreeImpl
implements DataNode<P>

Field Summary

Fields inherited from class it.unibz.inf.ontop.iq.node.impl.LeafIQTreeImpl

iqFactory

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DataNodeImpl(DataAtom<P> atom, IQTreeTools iqTreeTools, IntermediateQueryFactory iqFactory)

Method Summary

Modifier and Type	Method and Description
IQTree	applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution) Applies the descending substitution WITHOUT applying any additional optimization.
com.google.common.collect.ImmutableSet<Variable>	getKnownVariables() Variables present in the tree
com.google.common.collect.ImmutableSet<Variable>	getLocallyDefinedVariables() Locally defined variables must not appear in the sub-tree
com.google.common.collect.ImmutableSet<Variable>	getLocallyRequiredVariables() Set of variables that this node, INDEPENDENTLY OF THE REQUIREMENTS OF ITS ANCESTORS, requires to be defined in the sub-tree.
com.google.common.collect.ImmutableSet<Variable>	getLocalVariables() Set of variables MENTIONED in the node, INDEPENDENTLY of its sub-tree.
DataAtom<P>	getProjectionAtom() Data atom containing the projected variables
com.google.common.collect.ImmutableSet<Variable>	getRequiredVariables(IntermediateQuery query) Set of variables which, individually, must be provided by at least one child, INDEPENDENTLY OF THE REQUIREMENTS OF THIS NODE'S ANCESTORS.
com.google.common.collect.ImmutableSet<Variable>	getVariables() Variables projected by the tree
boolean	isDeclaredAsEmpty() Returns true if corresponds to a EmptyNode

Methods inherited from class it.unibz.inf.ontop.iq.node.impl.LeafIQTreeImpl

applyDescendingSubstitution, getChildren, getPossibleVariableDefinitions, getRootNode, isConstructed, isEquivalentTo, liftIncompatibleDefinitions, normalizeForOptimization, propagateDownConstraint, removeDistincts, replaceSubTree

Methods inherited from class it.unibz.inf.ontop.iq.node.impl.QueryNodeImpl

clone

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unibz.inf.ontop.iq.node.DataNode

newAtom

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

acceptNodeTransformer, getRootNode

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

acceptTransformer, acceptVisitor, applyDescendingSubstitution, applyFreshRenaming, getChildren, getPossibleVariableDefinitions, getVariableNullability, inferUniqueConstraints, isConstructed, isDistinct, isEquivalentTo, isLeaf, liftIncompatibleDefinitions, normalizeForOptimization, propagateDownConstraint, removeDistincts, replaceSubTree, validate

Methods inherited from interface it.unibz.inf.ontop.iq.node.QueryNode

acceptVisitor, clone, isEquivalentTo, isSyntacticallyEquivalentTo, isVariableNullable

Constructor Detail

DataNodeImpl

protected DataNodeImpl(DataAtom<P> atom,
                       IQTreeTools iqTreeTools,
                       IntermediateQueryFactory iqFactory)

Method Detail

getProjectionAtom

public DataAtom<P> getProjectionAtom()

Description copied from interface: DataNode

Data atom containing the projected variables

Specified by:

getProjectionAtom in interface DataNode<P extends AtomPredicate>

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

Specified by:

getVariables in interface ExplicitVariableProjectionNode

getLocalVariables

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

Description copied from interface: QueryNode

Set of variables MENTIONED in the node, INDEPENDENTLY of its sub-tree. See ImmutableQuery.getVariables(QueryNode node) for getting all the variables returned by the QueryNode.

Specified by:

getLocalVariables in interface QueryNode

applyDescendingSubstitutionWithoutOptimizing

public IQTree applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)

Description copied from interface: IQTree

Applies the descending substitution WITHOUT applying any additional optimization. Designed to be called AFTER the "structural/semantic optimization" phase.

Specified by:

applyDescendingSubstitutionWithoutOptimizing in interface IQTree

getLocallyRequiredVariables

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

Description copied from interface: QueryNode

Set of variables that this node, INDEPENDENTLY OF THE REQUIREMENTS OF ITS ANCESTORS, requires to be defined in the sub-tree. Said differently, additional variable requirements may come from its ancestors.

Specified by:

getLocallyRequiredVariables in interface QueryNode

getLocallyDefinedVariables

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

Description copied from interface: QueryNode

Locally defined variables must not appear in the sub-tree

Specified by:

getLocallyDefinedVariables in interface QueryNode

getRequiredVariables

public com.google.common.collect.ImmutableSet<Variable> getRequiredVariables(IntermediateQuery query)

Description copied from interface: QueryNode

Set of variables which, individually, must be provided by at least one child, INDEPENDENTLY OF THE REQUIREMENTS OF THIS NODE'S ANCESTORS. This may extend locally required variables. For instance, for a join node, this includes variables used in implicit joining conditions

Specified by:

getRequiredVariables in interface QueryNode

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

isDeclaredAsEmpty

public boolean isDeclaredAsEmpty()

Description copied from interface: IQTree

Returns true if corresponds to a EmptyNode

Specified by:

isDeclaredAsEmpty in interface IQTree