| Modifier and Type | Method and Description |
|---|---|
com.google.common.collect.ImmutableSet<DataAtom<P>> |
LinearInclusionDependencies.chaseAllAtoms(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)
Chases given atoms with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to each atom
|
com.google.common.collect.ImmutableSet<DataAtom<P>> |
LinearInclusionDependencies.chaseAtom(DataAtom<P> atom)
Chases a given atom with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to the atom
|
com.google.common.collect.ImmutableList<DataAtom<P>> |
ImmutableCQ.getAtoms() |
| Modifier and Type | Method and Description |
|---|---|
com.google.common.collect.ImmutableSet<DataAtom<P>> |
LinearInclusionDependencies.chaseAtom(DataAtom<P> atom)
Chases a given atom with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to the atom
|
| Modifier and Type | Method and Description |
|---|---|
com.google.common.collect.ImmutableSet<DataAtom<P>> |
LinearInclusionDependencies.chaseAllAtoms(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)
Chases given atoms with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to each atom
|
| Constructor and Description |
|---|
ImmutableCQ(com.google.common.collect.ImmutableList<Variable> answerVariables,
com.google.common.collect.ImmutableList<DataAtom<P>> atoms) |
ImmutableHomomorphismIterator(ImmutableHomomorphism baseHomomorphism,
com.google.common.collect.ImmutableList<DataAtom<P>> from,
com.google.common.collect.ImmutableCollection<DataAtom<P>> to) |
ImmutableHomomorphismIterator(ImmutableHomomorphism baseHomomorphism,
com.google.common.collect.ImmutableList<DataAtom<P>> from,
com.google.common.collect.ImmutableCollection<DataAtom<P>> to) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom<P> |
LinearInclusionDependenciesImpl.LinearInclusionDependency.getBody() |
DataAtom<P> |
LinearInclusionDependenciesImpl.LinearInclusionDependency.getHead() |
| Modifier and Type | Method and Description |
|---|---|
protected abstract Stream<DataAtom<P>> |
BasicLinearInclusionDependenciesImpl.chase(DataAtom<P> atom) |
protected Stream<DataAtom<P>> |
LinearInclusionDependenciesImpl.chase(DataAtom<P> atom) |
protected Stream<DataAtom<RelationPredicate>> |
DBLinearInclusionDependenciesImpl.chase(DataAtom<RelationPredicate> atom) |
com.google.common.collect.ImmutableSet<DataAtom<P>> |
BasicLinearInclusionDependenciesImpl.chaseAllAtoms(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)
Chases given atoms with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to each atom
|
com.google.common.collect.ImmutableSet<DataAtom<P>> |
BasicLinearInclusionDependenciesImpl.chaseAtom(DataAtom<P> atom)
Chases a given atom with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to the atom
|
| Modifier and Type | Method and Description |
|---|---|
LinearInclusionDependenciesImpl.Builder<P> |
LinearInclusionDependenciesImpl.Builder.add(DataAtom<P> head,
DataAtom<P> body) |
LinearInclusionDependenciesImpl.Builder<P> |
LinearInclusionDependenciesImpl.Builder.add(DataAtom<P> head,
DataAtom<P> body) |
FullLinearInclusionDependenciesImpl.Builder<P> |
FullLinearInclusionDependenciesImpl.Builder.add(DataAtom<P> head,
DataAtom<P> body) |
FullLinearInclusionDependenciesImpl.Builder<P> |
FullLinearInclusionDependenciesImpl.Builder.add(DataAtom<P> head,
DataAtom<P> body) |
protected abstract Stream<DataAtom<P>> |
BasicLinearInclusionDependenciesImpl.chase(DataAtom<P> atom) |
protected Stream<DataAtom<P>> |
LinearInclusionDependenciesImpl.chase(DataAtom<P> atom) |
protected Stream<DataAtom<RelationPredicate>> |
DBLinearInclusionDependenciesImpl.chase(DataAtom<RelationPredicate> atom) |
com.google.common.collect.ImmutableSet<DataAtom<P>> |
BasicLinearInclusionDependenciesImpl.chaseAtom(DataAtom<P> atom)
Chases a given atom with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to the atom
|
protected abstract void |
BasicLinearInclusionDependenciesImpl.registerVariables(DataAtom<P> atom) |
protected void |
LinearInclusionDependenciesImpl.registerVariables(DataAtom<P> atom) |
protected void |
FullLinearInclusionDependenciesImpl.registerVariables(DataAtom<P> atom) |
protected void |
DBLinearInclusionDependenciesImpl.registerVariables(DataAtom<RelationPredicate> atom) |
| Modifier and Type | Method and Description |
|---|---|
com.google.common.collect.ImmutableSet<DataAtom<P>> |
BasicLinearInclusionDependenciesImpl.chaseAllAtoms(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)
Chases given atoms with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to each atom
|
ImmutableHomomorphismIterator<P> |
ImmutableCQContainmentCheckUnderLIDs.homomorphismIterator(ImmutableHomomorphism base,
com.google.common.collect.ImmutableList<DataAtom<P>> from,
com.google.common.collect.ImmutableList<DataAtom<P>> to) |
ImmutableHomomorphismIterator<P> |
ImmutableCQContainmentCheckUnderLIDs.homomorphismIterator(ImmutableHomomorphism base,
com.google.common.collect.ImmutableList<DataAtom<P>> from,
com.google.common.collect.ImmutableList<DataAtom<P>> to) |
protected void |
BasicLinearInclusionDependenciesImpl.registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms) |
protected void |
FullLinearInclusionDependenciesImpl.registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms) |
| Modifier and Type | Method and Description |
|---|---|
IntensionalDataNode |
IntermediateQueryFactory.createIntensionalDataNode(DataAtom<AtomPredicate> atom) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom<AtomPredicate> |
IntensionalDataNode.getProjectionAtom() |
| Modifier and Type | Method and Description |
|---|---|
IntensionalDataNode |
IntensionalDataNode.newAtom(DataAtom<AtomPredicate> newAtom) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom<P> |
DataNodeImpl.getProjectionAtom() |
| Modifier and Type | Method and Description |
|---|---|
IntensionalDataNode |
IntensionalDataNodeImpl.newAtom(DataAtom newAtom) |
| Constructor and Description |
|---|
DataNodeImpl(DataAtom<P> atom,
IQTreeTools iqTreeTools,
IntermediateQueryFactory iqFactory) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
DistinctVariableOnlyDataAtom
TODO: find a better name
Data atom only composed of variables; all these variables are distinct.
|
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
AtomFactory.getDataAtom(P predicate,
com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> terms)
Beware: a DataAtom is immutable
|
<P extends AtomPredicate> |
AtomFactory.getDataAtom(P predicate,
VariableOrGroundTerm... terms)
Beware: a DataAtom is immutable
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalQuadAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI classIRI,
VariableOrGroundTerm graph) |
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalQuadAtom(VariableOrGroundTerm subject,
VariableOrGroundTerm property,
VariableOrGroundTerm object,
VariableOrGroundTerm graph)
TODO: change the generic-type to RDFAtomPredicate?
Davide> For provenance TODO: Add quads version for each method in this intereface
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI classIRI)
TODO: change the generic-type to RDFAtomPredicate?
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI propertyIRI,
VariableOrGroundTerm object)
TODO: change the generic-type to RDFAtomPredicate?
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject,
VariableOrGroundTerm property,
VariableOrGroundTerm object)
TODO: change the generic-type to RDFAtomPredicate?
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractDataAtomImpl<P extends AtomPredicate> |
class |
DataAtomImpl<P extends AtomPredicate> |
class |
DistinctVariableOnlyDataAtomImpl |
| Modifier and Type | Method and Description |
|---|---|
protected static boolean |
AbstractDataAtomImpl.hasDuplicates(DataAtom atom) |
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
ImmutableSubstitution.applyToDataAtom(DataAtom<P> atom)
Only guaranteed for T extends VariableOrGroundTerm.
|
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
ImmutableSubstitution.applyToDataAtom(DataAtom<P> atom)
Only guaranteed for T extends VariableOrGroundTerm.
|
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
AbstractImmutableSubstitutionImpl.applyToDataAtom(DataAtom<P> atom) |
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
AbstractImmutableSubstitutionImpl.applyToDataAtom(DataAtom<P> atom) |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.