Next:
Description of the ARA
Description of the
A
R
A
Formula Input Language
Relation Algebra Formulae
Valid symbols and their interpretation:
RA Input Formula Grammar:
Semantical Aspects:
Examples:
First-Order Formulae
About this document ...
Carsten Sinz
2000-05-23
