next node: RelConv,
prev node: RelReduce,
up to node: Subsystem Binary Relations

RelCompose

Signature of RelCompose

List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Pair
See Rel
See Seq
See Set
See Triple 

SIGNATURE RelCompose[dom, < : dom ** dom -> bool,

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $) 

                     mid, < : mid ** mid -> bool, data1,
                     codom, < : codom ** codom -> bool, data2,
                     data3, ++]

Parameter

SORT dom mid codom
FUN < : dom ** dom -> bool
FUN < : mid ** mid -> bool
FUN < : codom ** codom -> bool
FUN ++ : data1 ** data2 -> data3
SORT data1 data2 data3

Imports

IMPORT Rel[dom, <, mid, <, data1] ONLY rel
IMPORT Rel[mid, <, codom, <, data2] ONLY rel
IMPORT Rel[dom, <, codom, <, data3] ONLY rel

Composing Relations

FUN o :  rel[mid, <, codom, <, data2] ** rel[dom, <, mid, <, data1] ->
         rel[dom, <, codom, <, data3]
FUN ; :  rel[dom, <, mid, <, data1] ** rel[mid, <, codom, <, data2] ->
         rel[dom, <, codom, <, data3]

next node: RelConv,
prev node: RelReduce,
up to node: Subsystem Binary Relations