it.unibz.inf.ontop.constraints.impl

Class BasicLinearInclusionDependenciesImpl<P extends AtomPredicate>

java.lang.Object

it.unibz.inf.ontop.constraints.impl.BasicLinearInclusionDependenciesImpl<P>

All Implemented Interfaces:

LinearInclusionDependencies<P>

Direct Known Subclasses:

DBLinearInclusionDependenciesImpl, LinearInclusionDependenciesImpl

public abstract class BasicLinearInclusionDependenciesImpl<P extends AtomPredicate>
extends Object
implements LinearInclusionDependencies<P>

Constructor Summary

Constructors

Constructor and Description
BasicLinearInclusionDependenciesImpl()

Method Summary

Modifier and Type	Method and Description
protected abstract Stream<DataAtom<P>>	chase(DataAtom<P> atom)
com.google.common.collect.ImmutableSet<DataAtom<P>>	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>>	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	registerVariables(DataAtom<P> atom)
protected void	registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicLinearInclusionDependenciesImpl

public BasicLinearInclusionDependenciesImpl()

Method Detail

chaseAtom

public com.google.common.collect.ImmutableSet<DataAtom<P>> chaseAtom(DataAtom<P> atom)

Chases a given atom with the linear inclusions dependencies IMPORTANT: each dependency is applied only ONCE to the atom

Specified by:

chaseAtom in interface LinearInclusionDependencies<P extends AtomPredicate>

Parameters:

atom - to be chased

Returns:

set of atoms

chaseAllAtoms

public com.google.common.collect.ImmutableSet<DataAtom<P>> 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

Specified by:

chaseAllAtoms in interface LinearInclusionDependencies<P extends AtomPredicate>

Parameters:

atoms - to be chased

Returns:

set of atoms

chase

protected abstract Stream<DataAtom<P>> chase(DataAtom<P> atom)

registerVariables

protected abstract void registerVariables(DataAtom<P> atom)

registerVariables

protected void registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)