PermTup()

Syntax:

PermTup () : Tupel
rel: Relation tup: Tupel

Beispiel:

tup2 := PermTup (rel, tup)

Beschreibung:

Liefert das zum Tupel tup gehörige Tupel aus der permanenten Relation rel (die also keine MemRelation sein darf). Dies geschieht unter der Annahme, dass tup ursprünglich aus rel stamme. Wenn das nicht der Fall ist, wird ein ungültiges Tupel geliefert.

Siehe auch Rewrite().