Solo una pregunta rápida sobre el almacenamiento del "tiempo" en una base de datos. Estoy registrando el tiempo de ejecución de los usuarios en el formato 00: 00: 00: 00 (horas, minutos, segundos, milisegundos).
Originalmente lo iba a almacenar, TIMEpero luego me di cuenta de que MySQL no admite milisegundos en este tipo.
Estaré almacenando el tiempo real tomado del cronómetro de los usuarios, no el tiempo en que corrieron y terminaron (esto se calculará antes de ser insertado).
¿Cuál sería el mejor tipo de campo para usar? Estaba pensando en doubleo float, pero no estoy seguro de que funcionaría.
intervaltipo de datos SQL estándar para este propósito. Pero no todos los DBMS (y definitivamente no MySQL) lo admiten.