it.unibz.inf.ontop.constraints.impl

Class ImmutableCQSyntacticContainmentCheck<P extends AtomPredicate>

java.lang.Object

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

All Implemented Interfaces:

ImmutableCQContainmentCheck<P>

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

Constructor Summary

Constructors

Constructor and Description
ImmutableCQSyntacticContainmentCheck()

Method Summary

Modifier and Type	Method and Description
boolean	isContainedIn(ImmutableCQ<P> cq1, ImmutableCQ<P> cq2) Check if query cq1 is contained in cq2, syntactically.

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

ImmutableCQSyntacticContainmentCheck

public ImmutableCQSyntacticContainmentCheck()

Method Detail

isContainedIn

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

Check if query cq1 is contained in cq2, syntactically. That is, if the head of cq1 and cq2 are equal and each atom in cq2 is also in the body of cq1

Specified by:

isContainedIn in interface ImmutableCQContainmentCheck<P extends AtomPredicate>

Returns:

true if the first query is contained in the second query