When a function has the transacts effect, it means the function can read and write data, but those actions can be rolled back if the function also has the decides effect. This effect is an exclusive effect.
A function with no exclusive effect specified, can read and write data, but cannot be rolled back.