https://unlarchive.org/wiki/index.php?action=history&feed=atom&title=Transformation_over_hyper-relations 2026-04-17T17:32:05Z Revision history for this page on the wiki MediaWiki 1.44.2 https://unlarchive.org/wiki/index.php?title=Transformation_over_hyper-relations&diff=16094&oldid=prev 2013-08-21T17:44:20Z

<p></p> <p><b>New page</b></p><div>Hyper-relations are altered, replaced, created and deleted by [[T-rule]]s:<br /> <br /> === Creating hyper-relations ===<br /> Hyper-relations are created through encapsulating relations:<br /> *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.)<br /> <br /> === Transforming hyper-relations into simple relations ===<br /> Hyper-relations are transformed into simple relations by removing their internal relations:<br /> *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.)</div>

imported>Martins