Apenas uma pergunta rápida sobre o armazenamento de "tempo" em um banco de dados. Estou registrando o tempo das execuções dos usuários no formato 00: 00: 00: 00 (horas, minutos, segundos, milissegundos).
Originalmente, eu ia armazená-lo, TIME
mas percebi que o MySQL não suporta milissegundos nesse tipo.
Armazenarei o tempo real do cronômetro dos usuários, não o tempo em que eles foram executados e finalizados (isso será calculado antes de ser inserido).
Qual seria o melhor tipo de campo a ser usado? Eu estava pensando em um double
ou outro float
, mas não tenho certeza se isso funcionaria?
interval
tipo de dados SQL padrão para esse fim. Mas nem todos os DBMS (e definitivamente não o MySQL) suportam isso.