copy() solo crea una copia del archivo, no te da mayor informacion. Todos los datos que necesitas respecto a nombre, tamaño, tipo lo tienes en $_FILES.
No uses
$HTTP_POST_FILES, en su lugar usa
$_FILES y en vez de copy intenta con:
Código php:
Ver original // El archivo fue movido correctamente a la ruta final
// Aqui ya puedes guardar en tu base de datos la ruta y el nombre de archivo
echo '<p>El archivo se ha subido correctamente al servidor, muchas gracias.</p>';
} else {
echo '<p>Error al subir el archivo</p>';
}