INFORMATIVE SYSTEMS
MODEL CHECKING CON NUSMV
Un modo per verificare la correttezza e il buon funzionamento di un modello lo si ottiene usando i metodi formali. Questi metodi di verifica si basano su due approcci principali: il primo consiste nel theorem proving automatico; il secondo invece,…
Read more
TRACCIARE ED OTTIMIZZARE LE QUERY LENTE IN PHP E MYSQL
Miglioramento della gestione delle query lente tramite il monitoraggio dei file di log e l’ottimizzazione dei tempi Può accadere di dover gestire database con tabelle di diverse decine di megabyte (MB) e riscontrare problemi di lentezza nell’esecuzione delle query di…
Read more
LA CHAT VIRTUALE 3D: UN PASSO DAL TELETRASPORTO
Introduzione In questo file ho scritto velocemente una mia idea che descrive la chat virtuale 3D che potrebbe dare l’illusione del teletrasporto. Molte ricerche bisogna ancora fare ancora prima di realizzare questo tipo di applicazione: dall’interpolazione di immagini provenienti da…
Read more
UN ESEMPIO DI DATABASE ACCESS PER LA GESTIONE DEI DUBBI. PERMETTE DI VEDERE LE RELAZIONI UNO A MOLTI
Database realizzato con lo scopo di catalogare in modo ordinato i vari argomenti di un corso specifico. Database anziano: da aggiornare DATABASE ACCESS Il presente progetto contiene al proprio interno dei dati di esempio utilizzati per far capire il proprio…
Read more
ESEMPI PROFESSIONALI DI SQL
Diversi modi professionali per gestire le informazioni DB con SQL DOCUMENTO Il linguaggio SQL è un linguaggio standard per la definizione, manipolazione e interrogazione delle basi di dati relazionali ed ha le seguenti caratteristiche: è dichiarativo; opera su…
Read more