[okfn-help] vdm: primary keys question

[Martijn Faassen]

Hi there,

I'm slowly looking into vdm a bit more and I have a question:

Does vdm promise primary keys to be stable over revisions, or does the
primary key change? That is, if I create revision 1 of a record, and
then I create a new revision 2 of that record, is the record in rev 1
guaranteed to have the same primary key as the record in rev2?

Regards,

Martijn