Go backward to
Equational Laws
Go up to
Top
Go forward to
Dynamic Laws
Static Laws
Composition laws
P|Q = Q|P
P+(Q|R) = (P|Q)|R
P|0 = P
Restriction laws
P
\
L = P
, if
L(P)
intersect
(
L
union
L
) = { }.
P
\
K
\
L
=
P
\(
K
union
L
)
...
Relabelling laws
P
[
Id
] =
P
P[f][f']
=
P[f'
o
f]
...
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998