El compilador impone la creación de transacciones con formato correcto. Una transacción con formato correcto se produce cuando los datos están bloqueados antes de acceder a ellos. Una transacción BASIC debe incluir las tres sentencias siguientes:
Si una de estas sentencias se omite o está desordenada, el programa no se compila.
La máquina de ejecución también impone el uso de transacciones con formato correcto. Una transacción comienza cuando se ejecuta BEGIN TRANSACTION y finaliza cuando se ejecuta COMMIT o ROLLBACK. La ejecución del programa continúa con la sentencia que figura a continuación de la siguiente sentencia END TRANSACTION.
El ejemplo siguiente muestra las transacciones de un programa BASIC:
BEGIN TRANSACTION ISOLATION LEVEL 1
* Adquirir bloqueos y ejecutar operaciones de base de datos
BEGIN TRANSACTION ISOLATION LEVEL 4
* Adquirir bloqueos y ejecutar operaciones de base de datos
BEGIN TRANSACTION ISOLATION LEVEL 3
COMMIT
END TRANSACTION
BEGIN TRANSACTION ISOLATION LEVEL 0
* Adquirir bloqueos y ejecutar operaciones de base de datos
ROLLBACK
END TRANSACTION
COMMIT
END TRANSACTION
COMMIT
END TRANSACTION