E' un altro file che viene incluso; sì. Nel file sessione.php recupero i dati della sessione che, in un secondo momento, passo in input ad una funzione (in un secondo file richiamato con include) che verifica se la sessione è registrata nel db.