Цахим шуудангийн бүртгэл: Теория ретрактов