Correttezza ed Ottimizzazione Semantica delle Interrogazioni nelle Basi di Dati Relazionali Multitemporali.