Criação Base de Dados

<?php
 //ligação ao servidor mysql
$con = mysql_connect("localhost","root","cris");
if (!$con)
{
die('ERRO AO ESTABELECER A LIGAÇÃO COM O SERVIDOR: ' . mysql_error());
}
 //Verifica se a base de dados com o nome "avalia_alunos" existe
if (mysql_query("CREATE DATABASE IF NOT EXISTS avalia_alunos",$con))
{
//Se não existir, cria a base de dados
}
echo "BASE DE DADOS CRIADA";
else
{
 //Senão dá erro
echo "ERRO AO CRIAR A BASE DE DADOS: " . mysql_error();
}
mysql_close($con);
?>