Wenn eine Funktion den transacts-Effekt aufweist, kann sie Daten lesen und schreiben. Diese Aktionen können zurückgenommen werden, wenn die Funktion außerdem den decides-Effekt aufweist. Dieser Effekt ist ein exklusiver Effekt.
Funktionen, bei denen kein exklusiver Effekt angegeben ist, können Daten lesen und schreiben, doch es ist kein Rollback möglich.