Hacker News new | ask | show | jobs
by MarkusWinand 3156 days ago
The mentioned proof is confirming SQL:2003.

See also: https://wiki.postgresql.org/wiki/Cyclic_Tag_System