it.unibz.inf.ontop.constraints

Interface LinearInclusionDependencies<P extends AtomPredicate>

All Known Implementing Classes:

BasicLinearInclusionDependenciesImpl, DBLinearInclusionDependenciesImpl, FullLinearInclusionDependenciesImpl, LinearInclusionDependenciesImpl

public interface LinearInclusionDependencies<P extends AtomPredicate>

Method Summary

Modifier and Type	Method and Description
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

Method Detail

chaseAtom

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

Parameters:

atom - to be chased

Returns:

set of atoms

chaseAllAtoms

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

Parameters:

atoms - to be chased

Returns:

set of atoms