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, TIMEmas 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 doubleou outro float, mas não tenho certeza se isso funcionaria?
intervaltipo de dados SQL padrão para esse fim. Mas nem todos os DBMS (e definitivamente não o MySQL) suportam isso.