Solo una breve domanda per quanto riguarda la memorizzazione di "tempo" in un database. Sto registrando il tempo di esecuzione degli utenti nel formato 00: 00: 00: 00 (ore, minuti, secondi, millisecondi).
Inizialmente lo avrei archiviato come, TIME
ma poi ho capito che MySQL non supporta millisecondi in questo tipo.
Memorizzerò il tempo effettivo impiegato dal cronometro degli utenti, non il tempo in cui sono stati eseguiti e terminati (questo verrà calcolato prima di essere inserito).
Quale sarebbe il miglior tipo di campo da usare? Stavo pensando o double
o float
, ma non sono sicuro che avrebbe funzionato?
interval
tipo di dati SQL standard proprio per questo scopo. Ma non tutti i DBMS (e sicuramente non MySQL) lo supportano.