Database correctness is hard–but it’s worth the effort. In fact, it’s best achieved, like several other examples we’ll examine over the next week, by application of good engineering ...