Mantaining dynamic matrices for fully dynamic transitive closure