Este articulo presenta un prototipo de manejador de transacciónes anidadas que integra la verificación de las restricciones de integridad al control de ejecución de una transacción. Este prototipo se desarrolló para evaluar un algoritmo de verificación de restricciones de integridad en sistemas que soportan transacciones anidadas. El algoritmo se basa en designar al ancestro común más joven de todas las sub-transacciones propensas a violar una restricción, como responsable de controlar su verificación. La evaluación muestra que realizar la verificación de restricciones lo más pronto posible durante la ejecución de una transacción, evita la ejecución de un porcentaje importante de trabajo inútil al abandonar anticipadamente transacciónes que en cualquier circunstancia serían abandonadas. Ademas, se muestra que un porcentaje significativo de transacciones son salvadas al lograr validar a pesar de haber violado restricciones de integridad durante su ejecución.