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

Class RightProvenanceNormalizer

java.lang.Object

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

public class RightProvenanceNormalizer
extends Object

Provides a provenance variable for the right child of a LJ. Such a provenance variable is guaranteed to be non-null on the right. This provenance variable might be: - 1) an existing non-null variable not shared with the left child - 2) a fresh non-nullable variable inserted in a sparse data node of the right child - 3) a binding in a construction node (with a special constant, so as to be never lifted). This normalizer may alter the right child. Note that in the case #3, we take advantage of the inserted construction node for projecting away non-required variables from the right child (in anticipation of what would have been done later on otherwise).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	RightProvenanceNormalizer.FreshVariableTransformer Tries to insert a fresh variable into a sparse data node of the right tree
static class	RightProvenanceNormalizer.RightProvenance Elements that keep track that the right part contributed to the intermediate results: - provenance variable: right-specific, not nullable on the right - right tree: may have been updated so as to provide the provenance variable

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	RightProvenanceNormalizer(CoreSingletons coreSingletons)

Method Summary

Modifier and Type	Method and Description
RightProvenanceNormalizer.RightProvenance	normalizeRightProvenance(IQTree rightTree, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> leftVariables, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> rightRequiredVariables, VariableGenerator variableGenerator)
RightProvenanceNormalizer.RightProvenance	normalizeRightProvenance(IQTree rightTree, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> leftVariables, Optional<ImmutableExpression> leftJoinExpression, VariableGenerator variableGenerator)

Methods inherited from class java.lang.Object

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

Constructor Detail

RightProvenanceNormalizer

@Inject
protected RightProvenanceNormalizer(CoreSingletons coreSingletons)

Method Detail

normalizeRightProvenance

public RightProvenanceNormalizer.RightProvenance normalizeRightProvenance(IQTree rightTree,
                                                                          it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> leftVariables,
                                                                          Optional<ImmutableExpression> leftJoinExpression,
                                                                          VariableGenerator variableGenerator)

normalizeRightProvenance

public RightProvenanceNormalizer.RightProvenance normalizeRightProvenance(IQTree rightTree,
                                                                          it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> leftVariables,
                                                                          it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> rightRequiredVariables,
                                                                          VariableGenerator variableGenerator)