FUNCTION acyclic_effectivity_relationship
(relation : effectivity_relationship, relatives : SET [1:?] OF effectivity, specific_relation : STRING) : BOOLEAN;
LOCAL
x : SET OF effectivity_relationship;
END_LOCAL;
IF relation.relating_effectivity IN relatives THEN
RETURN (FALSE);
END_IF;
x := QUERY(eff <* bag_to_set(USEDIN(relation.relating_effectivity, 'EFFECTIVITY_SCHEMA.' + 'EFFECTIVITY_RELATIONSHIP.' + 'RELATED_EFFECTIVITY')) | specific_relation IN TYPEOF(eff));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_effectivity_relationship(x[i], relatives + relation.relating_effectivity, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE); END_FUNCTION; -- acyclic_effectivity_relationship
|