Transformation over relations
From UNL Wiki
(Difference between revisions)
(Created page with "Relations and hyper-relations do not have features, and are replaced, created and deleted by NN, TT, NT, TN, TL and LT rules: *REL1(%x;%y):=REL2(%x;%y); (replacement) *REL(%x;...") |
|||
| Line 1: | Line 1: | ||
| − | Relations and hyper-relations | + | Relations and hyper-relations are altered, replaced, created and deleted by [[T-rules]]: |
| + | |||
| + | === | ||
| + | |||
| + | |||
| + | |||
*REL1(%x;%y):=REL2(%x;%y); (replacement) | *REL1(%x;%y):=REL2(%x;%y); (replacement) | ||
*REL(%x;%y):=; (deletion) | *REL(%x;%y):=; (deletion) | ||
Revision as of 19:04, 21 August 2013
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.)
