[okfn-help] vdm: primary keys question

Martijn Faassen faassen at startifact.com
Sat Aug 14 13:47:43 BST 2010


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



More information about the okfn-help mailing list