Gestione automatica della pixelizzazione del cielo per DB MySQL: HEALPix e HTM Luciano Nicastro e Giorgio Calderone.