org.jbpt.bp

Class RelSetAlgebra

java.lang.Object

org.jbpt.bp.RelSetAlgebra

public class RelSetAlgebra
extends Object

This class implements set-algebraic operations and relations for relation sets. It comprises only those operations and relations that are defined for pairs of aligned relation sets. The emptiness check and the complement operation are defined in RelSet. All methods are implemented for an alignment that is captured by RelSetAlignment. All methods require the alignment to be non-overlapping, functional, and injective. If this is not the case, an IllegalArgumentException is thrown.

Author:

matthias.weidlich

Constructor Summary

Constructors

Constructor and Description
RelSetAlgebra()

Method Summary

Methods

Modifier and Type	Method and Description
static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> void	fillIntersection(Alignment<R,N> alignment, R relSet) Constructs the intersection of the relation sets under the given alignment.
static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> void	fillUnion(Alignment<R,N> alignment, R relSet) Constructs the union of the relation sets under the given alignment.
static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> boolean	firstSubsumesSecond(Alignment<R,N> alignment) Checks subsumption between the first and the second relation set of the given alignment.
static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> boolean	isEqual(Alignment<R,N> alignment) Checks equivalence of the relation sets under the given alignment.
static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> boolean	secondSubsumesFirst(Alignment<R,N> alignment) Checks subsumption between the second and the first relation set of the given alignment.

Methods inherited from class java.lang.Object

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

Constructor Detail

RelSetAlgebra

public RelSetAlgebra()

Method Detail

isEqual

public static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> boolean isEqual(Alignment<R,N> alignment)
                       throws IllegalArgumentException

Checks equivalence of the relation sets under the given alignment. That is, it checks whether all relations coincide for pairs of aligned nodes. The alignment is required to comprise only non-overlapping, functional, and injective.

Parameters:

alignment, - defined between two models and their relation sets

Returns:

true, if the aligned relation sets show equal relations

Throws:

IllegalArgumentException, - if alignment is overlapping, not functional, or not injective

IllegalArgumentException

secondSubsumesFirst

public static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> boolean secondSubsumesFirst(Alignment<R,N> alignment)
                                   throws IllegalArgumentException

Checks subsumption between the second and the first relation set of the given alignment. That is, it checks whether all relations of the second relation set subsume those of the first set. The alignment is required to comprise only non-overlapping, functional, and injective.

Parameters:

alignment, - defined between two models and their relation sets

Returns:

true, if the second relation set subsumes the first set

Throws:

IllegalArgumentException, - if alignment is overlapping, not functional, or not injective

IllegalArgumentException

firstSubsumesSecond

public static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> boolean firstSubsumesSecond(Alignment<R,N> alignment)
                                   throws IllegalArgumentException

Checks subsumption between the first and the second relation set of the given alignment. That is, it checks whether all relations of the first relation set subsume those of the second set. The alignment is required to comprise only non-overlapping, functional, and injective.

Parameters:

alignment, - defined between two models and their relation sets

Returns:

true, if the first relation set subsumes the second relation set

Throws:

IllegalArgumentException, - if alignment is overlapping, not functional, or not injective

IllegalArgumentException

fillIntersection

public static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> void fillIntersection(Alignment<R,N> alignment,
                                                                                        R relSet)
                             throws IllegalArgumentException

Constructs the intersection of the relation sets under the given alignment. That is, it returns a relation set that combines the strictest relations of both sets used as input for all pairs of aligned entities. The alignment is required to comprise only non-overlapping, functional, and injective.

Parameters:

alignment, - defined between two models and their relation sets

Throws:

IllegalArgumentException, - if alignment is overlapping, not functional, or not injective

IllegalArgumentException

fillUnion

public static <R extends RelSet<M,N>,M extends IEntityModel<N>,N extends IEntity> void fillUnion(Alignment<R,N> alignment,
                                                                                 R relSet)
                      throws IllegalArgumentException

Constructs the union of the relation sets under the given alignment. That is, it returns a relation set that combines the weakest relations of both sets used as input for all pairs of aligned entities. The alignment is required to comprise only non-overlapping, functional, and injective.

Parameters:

alignment, - defined between two models and their relation sets

Throws:

IllegalArgumentException, - if alignment is overlapping, not functional, or not injective

IllegalArgumentException