cz.cuni.versatile.api.relops
Interface ReflexiveClosure

All Superinterfaces:
RelationalOperator

public interface ReflexiveClosure
extends RelationalOperator

ReflexiveClosure operator turns an input binary relation represented by a RelationalProperty into a reflexive binary relation. In case the source property is already reflexive, the operator should return the source property.

Note: A generic implementation of this interface is feasible which constructs reflexive closures on the fly.

Author:
Jaroslav Gergic
See Also:
RelationalProperty.isReflexive()

Method Summary
 RelationalProperty reflexiveClosure(RelationalProperty source)
          Returns a RelationalProperty which corresponds to a reflexive closure of the source binary relation.
 

Method Detail

reflexiveClosure

public RelationalProperty reflexiveClosure(RelationalProperty source)
Returns a RelationalProperty which corresponds to a reflexive closure of the source binary relation.

Parameters:
source - a source relational property