Algebraic Relativization and Arrow Logic