Brief announcement: view transactions: transactional model with relaxed consistency checks