On Non-Interference of Transactions