Skip to content

Mapping

mtbeek32 edited this page Jan 31, 2024 · 6 revisions

Relational functions mapping

syntax

  • mapping(SrcUnit, DstUnit)

definition

mapping(SrcUnit, DstUnit) results in a relation with the index numbers of the domain unit DstUnit. The resulting attribute has as values unit DstUnit and as domain unit SrcUnit.

description

mapping(SrcUnit, DstUnit) is equivalent with convert(id (SrcUnit), DstUnit), but requires less memory.

applies to

since version

7.119

example

unit<uint32> RegionSrc: nrofrows = 5;
unit<uint32> RegionDst: nrofrows = 5;
attribute<Region> RegionDst_rel (RegionSrc) := mapping(RegionSrc, RegionDst);
RegionDst_rel
0
1
2
3
4

domain RegionSrc, nr of rows = 5

see also

Clone this wiki locally