Logical and Algebraic Characterizations of Rational Transductions (Logical Methods in Computer Science, 2019)