El documento describe una aplicación que se diseñará para realizar transacciones directamente en la base de datos de la empresa FHACCES. La aplicación incluirá un módulo de ventas que registrará la información de ventas en progreso en una "tabla virtual" sin afectar la base de datos hasta que la venta se complete, cumpliendo con la prueba ácida de la base de datos. También define las propiedades clave de las transacciones: atomicidad, consistencia, aislamiento y durabilidad.