Transformation over relations

Relations and hyper-relations are altered, replaced, created and deleted by T-rules:

=

• REL1(%x;%y):=REL2(%x;%y); (replacement)
• REL(%x;%y):=; (deletion)
• REL1(%x;%y):=+REL2(%w;%z); (creation)

Creating hyper-relations

Hyper-relations are created through encapsulating relations:

• REL1(%x;%y)REL2(%x;%z):=REL1(REL2(%x;%z);%y); (the relation REL1 between %x and %y becomes a hyper-relation between the relation REL2(%x;%z) and the node %y.)

Transforming hyper-relations into simple relations

Hyper-relations are transformed into simple relations by removing their internal relations:

• REL1(REL2(%x;%z);%y):=REL1(%x;%y)REL2(%x;%z); (the hyper-relation REL1 between the relation REL2(%x;%z) and the node %y is transformed into a simple relation between the nodes %x and %y; the relatin REL2(%x;%z) is not affected.)