On the Correct and Efficient Scheduling of Transactions in a Highly Parallel Database Machine