previous up next
Go backward to Exponentiation of Relations
Go up to Top
Go forward to Transitive Closure
RISC-Linz logo

Transitive Closure


forall S, R: R subset S x S =>
   transitiveS(R) = union {R</sup>iS: i in N>0}

Interpretation: Transitive closure is limit of

[R, R union (R o R), R union (R o R) union (R o R o R), ...]

Problem: cannot compute infinite sequence!

Author: Wolfgang Schreiner
Last Modification: January 26, 2000

previous up next