Transformation over relations - Revision history

imported>Martins at 11:51, 5 November 2013

2013-11-05T11:51:26Z

← Older revision		Revision as of 11:51, 5 November 2013
Line 18:		Line 18:
	Nodes are deleted when they are not co-indexed to any node in the right side (see [[Indexation]]):		Nodes are deleted when they are not co-indexed to any node in the right side (see [[Indexation]]):
	*rel(%x,A;%y,B;'''%z,C'''):=rel(%x;%y); (the node %z is deleted as an argument of the relation rel)		*rel(%x,A;%y,B;'''%z,C'''):=rel(%x;%y); (the node %z is deleted as an argument of the relation rel)
	Nodes are ~~completed~~ deleted if, and only if, they are not part of any other relation		Nodes are completelly deleted if, and only if, they are not part of any other relation

	=== Creating relations ===		=== Creating relations ===
	Relations are created by the operator + (add) before the relation to be created. This operator may not be omitted.		Relations are created by the operator + (add) before the relation to be created. This operator may not be omitted.
	*rel(%x;%y):=+rel2(%x;%z); (a new relation rel2 is created between the nodes %x and %z; the original relation is not altered)		*rel(%x;%y):=+rel2(%x;%z); (a new relation rel2 is created between the nodes %x and %z; the original relation is not altered)
	Creation of relations is a possible source of infinite loops. In order to prevent the rule from applying eternally, the ~~conditions~~ must be ~~altered~~:		Creation of relations is a possible source of infinite loops. In order to prevent the rule from applying eternally, the condition field must be controlled:
	*rel(%x;%y)^rel2(%x;%z):=+rel2(%x;%z);		*rel(%x;%y)^rel2(%x;%z):=+rel2(%x;%z);

	=== Deleting relations ===		=== Deleting relations ===

imported>Martins at 11:49, 5 November 2013

2013-11-05T11:49:25Z

← Older revision		Revision as of 11:49, 5 November 2013
Line 9:		Line 9:
	*rel(%x;%y):=rel(%x,"a";%y); (replace the existing string in %x, if any, by "a")		*rel(%x;%y):=rel(%x,"a";%y); (replace the existing string in %x, if any, by "a")
	*rel(%x;%y):=rel(%x,[A];%y);(replace the existing headword in %x, if any, by [A])		*rel(%x;%y):=rel(%x,[A];%y);(replace the existing headword in %x, if any, by [A])
	*rel(%x;%y):=rel(%x,<nowiki>[[A]]</nowiki>;%y); (replace the existing UW in %x, if any, by [[A]])		*rel(%x;%y):=rel(%x,<nowiki>[[A]]</nowiki>;%y); (replace the existing UW in %x, if any, by <nowiki>[[A]]</nowiki>)

	=== Creating nodes in a relation ===		=== Creating nodes in a relation ===

imported>Martins at 11:48, 5 November 2013

2013-11-05T11:48:25Z

← Older revision		Revision as of 11:48, 5 November 2013
Line 24:		Line 24:
	*rel(%x;%y):=+rel2(%x;%z); (a new relation rel2 is created between the nodes %x and %z; the original relation is not altered)		*rel(%x;%y):=+rel2(%x;%z); (a new relation rel2 is created between the nodes %x and %z; the original relation is not altered)
	Creation of relations is a possible source of infinite loops. In order to prevent the rule from applying eternally, the conditions must be altered:		Creation of relations is a possible source of infinite loops. In order to prevent the rule from applying eternally, the conditions must be altered:
	*rel(%x;%y)^rel2(%x;%z):=:=+rel2(%x;%z);		*rel(%x;%y)^rel2(%x;%z):=+rel2(%x;%z);

	=== Deleting relations ===		=== Deleting relations ===

imported>Martins at 19:27, 26 August 2013

2013-08-26T19:27:16Z

← Older revision		Revision as of 19:27, 26 August 2013
Line 37:		Line 37:
	*rel1(%x;%y)rel2(%y;%z):=rel3(%x;%z); (the relations rel1 and rel2 are deleted and a new relation rel3 is created in their place) (merge)		*rel1(%x;%y)rel2(%y;%z):=rel3(%x;%z); (the relations rel1 and rel2 are deleted and a new relation rel3 is created in their place) (merge)
	*rel(%x;%y):=rel1(%x;%y)rel2(%y;%z); (the relation rel is deleted and two new relations rel1 and rel2 are created in its place) (divide)		*rel(%x;%y):=rel1(%x;%y)rel2(%y;%z); (the relation rel is deleted and two new relations rel1 and rel2 are created in its place) (divide)
			*(%x)(%y):=rel(%x;%y); (the linear relation between the nodes %x and %y is replaced by the non-linear relation rel between the same nodes)
			*L(%x;%y):=rel(%x;%y); (the same as above)

imported>Martins at 19:49, 21 August 2013

2013-08-21T19:49:24Z

← Older revision		Revision as of 19:49, 21 August 2013
Line 1:		Line 1:
	Relations are altered, replaced, created and deleted by [[T-rule]]s:		Relations are altered, replaced, created and deleted by [[S-rule]]s:

	=== Altering nodes in a relation ===		=== Altering nodes in a relation ===

imported>Martins at 18:18, 21 August 2013

2013-08-21T18:18:26Z

← Older revision		Revision as of 18:18, 21 August 2013
Line 6:		Line 6:
	*rel(%x,A;%y,B):=rel(%x,C;%y,D);(the same as above)		*rel(%x,A;%y,B):=rel(%x,C;%y,D);(the same as above)
	*rel(%x,A;%y,B):=rel(%x,-A;%y); (delete the feature A from %x)		*rel(%x,A;%y,B):=rel(%x,-A;%y); (delete the feature A from %x)
	"strings", [headwords] and [[UWs]] are considered to be features (but a single node may have only one of each)		"strings", [headwords] and <nowiki>[[UWs]]</nowiki> are considered to be features (but a single node may have only one of each)
	*rel(%x;%y):=rel(%x,"a";%y); (replace the existing string in %x, if any, by "a")		*rel(%x;%y):=rel(%x,"a";%y); (replace the existing string in %x, if any, by "a")
	*rel(%x;%y):=rel(%x,[A];%y);(replace the existing headword in %x, if any, by [A])		*rel(%x;%y):=rel(%x,[A];%y);(replace the existing headword in %x, if any, by [A])

imported>Martins at 18:16, 21 August 2013

2013-08-21T18:16:52Z

← Older revision		Revision as of 18:16, 21 August 2013
Line 9:		Line 9:
	*rel(%x;%y):=rel(%x,"a";%y); (replace the existing string in %x, if any, by "a")		*rel(%x;%y):=rel(%x,"a";%y); (replace the existing string in %x, if any, by "a")
	*rel(%x;%y):=rel(%x,[A];%y);(replace the existing headword in %x, if any, by [A])		*rel(%x;%y):=rel(%x,[A];%y);(replace the existing headword in %x, if any, by [A])
	*rel(%x;%y):=rel(%x,[[A]];%y); (replace the existing UW in %x, if any, by [[A]])		*rel(%x;%y):=rel(%x,<nowiki>[[A]]</nowiki>;%y); (replace the existing UW in %x, if any, by [[A]])

	=== Creating nodes in a relation ===		=== Creating nodes in a relation ===

imported>Martins at 17:43, 21 August 2013

2013-08-21T17:43:38Z

@@ Line 1: / Line 1: @@
-Relations and hyper-relations are altered, replaced, created and deleted by [[T-rule]]s:
+Relations are altered, replaced, created and deleted by [[T-rule]]s:
 === Altering nodes in a relation ===
@@ Line 37: / Line 37: @@
 *rel1(%x;%y)rel2(%y;%z):=rel3(%x;%z); (the relations rel1 and rel2 are deleted and a new relation rel3 is created in their place) (merge)
 *rel(%x;%y):=rel1(%x;%y)rel2(%y;%z); (the relation rel is deleted and two new relations rel1 and rel2 are created in its place) (divide)

imported>Martins at 17:42, 21 August 2013

2013-08-21T17:42:40Z

Show changes

imported>Martins at 17:15, 21 August 2013

2013-08-21T17:15:03Z

@@ Line 1: / Line 1: @@
 Relations and hyper-relations are altered, replaced, created and deleted by [[T-rule]]s:
-== Altering relations ==
+=== Altering nodes in a relation ===
-The arguments of a relation are altered
+Elements of nodes in relations are altered through the operators + (add) and - (delete). The operator + may be omitted.
-  <CONDITION> := <ACTION>;
+=== Creating nodes in a relation ===