Dipende. Se non hai ancora inviato nessun output al client potresti utilizzare un header altrimenti dovresti utilizzare js.
In entrambi i saci invece di scrivere "Non sono presenti record per ricerca effettuata" stamperesti il relativo codice ed avresti ottenuto la redirezione.