No es redundante .. si lo haces así evitas esos problemas. De hecho haz una prueba .. sigue tu sistema, crea un registro en una BD y da un OK como mensaje en el mismo flujo del código .. recarga la página y veras que tu código se ejecuta nuevamente .. por ende se crea un registro más duplicado en tu BD .. ese es uno de los principales efectos que se resuelve como te mencioné: redireccionando automáticamete a si mismo o a otro sitio. Esto vendría a ser "limpiar" las cabeceras HTTP
De hecho podrías poner el código que usas para ver si realmente haces lo que mencioné o no ...
Si quieres controlar el caché de tus páginas .. vista:
www.php.net/header
ahí veras cabeceras HTTP para control del caché, pero ten presente lo que anteriormente te he comentado y haz tus pruebas al respecto.
Un saludo,