it.unibz.inf.ontop.constraints.impl

Class ImmutableCQContainmentCheckUnderLIDs<P extends AtomPredicate>

java.lang.Object

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

All Implemented Interfaces:

ImmutableCQContainmentCheck<P>

public class ImmutableCQContainmentCheckUnderLIDs<P extends AtomPredicate>
extends Object
implements ImmutableCQContainmentCheck<P>

Constructor Summary

Constructors

Constructor and Description
ImmutableCQContainmentCheckUnderLIDs(LinearInclusionDependencies<P> dependencies)

Method Summary

Modifier and Type	Method and Description
ImmutableHomomorphismIterator<P>	homomorphismIterator(ImmutableHomomorphism base, com.google.common.collect.ImmutableList<DataAtom<P>> from, com.google.common.collect.ImmutableList<DataAtom<P>> to)
boolean	isContainedIn(ImmutableCQ<P> cq1, ImmutableCQ<P> cq2) Returns true if the query cq1 is contained in the query cq2 (in other words, the first query is more specific, it has fewer answers)

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unibz.inf.ontop.constraints.ImmutableCQContainmentCheck

removeContainedQueries

Constructor Detail

ImmutableCQContainmentCheckUnderLIDs

public ImmutableCQContainmentCheckUnderLIDs(LinearInclusionDependencies<P> dependencies)

Method Detail

isContainedIn

public boolean isContainedIn(ImmutableCQ<P> cq1,
                             ImmutableCQ<P> cq2)

Description copied from interface: ImmutableCQContainmentCheck

Returns true if the query cq1 is contained in the query cq2 (in other words, the first query is more specific, it has fewer answers)

Specified by:

isContainedIn in interface ImmutableCQContainmentCheck<P extends AtomPredicate>

Returns:

true if the first query is contained in the second query

homomorphismIterator

public ImmutableHomomorphismIterator<P> homomorphismIterator(ImmutableHomomorphism base,
                                                             com.google.common.collect.ImmutableList<DataAtom<P>> from,
                                                             com.google.common.collect.ImmutableList<DataAtom<P>> to)