Remix.run Logo
cryptonector 2 days ago

What is the monoid for table primary keys?

BoiledCabbage 2 days ago | parent | next [-]

Im guessing generating unique ids instead of incremental numbers?

Maybe not as long as uuids, but long enough to be comfortable they won't conflict withing your table/db.

Those will merge fine as two separate "rows".

cryptonector 2 days ago | parent [-]

No, because primary keys are things like names, not random numbers.

giovannibonetti a day ago | parent | prev [-]

Vector clocks, since they keep a separate counter for each client