Suppose a transaction deletes a record, and the free space generated thus is  allocated to a record inserted by another transaction, even before the first transaction  commits. Disk space allocated to a file as a result of a transaction should not be released even if the transaction is rolled back. Explain why, and explain how ARIES ensures that such actions are not rolled back.