Guau.
Supongo que no sé la respuesta completa para esta, pero me gusta pensar como respuesta a la pregunta del título "¿Qué tan grande debe ser un módulo de Python?" como el concepto de Parnas, ocultando un secreto. En este caso, el módulo parece hacerlo correctamente (y ese es un secreto tan grande que se esconde).
Más tarde estuve investigando documentos que hablan mucho sobre el acoplamiento y la cohesión. ¿Quizás tener muchos módulos db forzaría demasiadas llamadas entre módulos, lo que aumentaría lo que se considera una mala práctica, es decir, menor cohesión y mayor acoplamiento?
He visto datos experimentales que hablan de programadores que deciden sacrificar las buenas prácticas en aras de la simplicidad y la comprensión a pesar de lo que dicte la buena práctica. De hecho, podría haber un conflicto entre las buenas prácticas también. Digamos que el rendimiento no suele hacer felices a las personas que realizan tareas de mantenimiento más adelante. No estoy muy seguro de cómo se mejoraría la legibilidad en este caso con un módulo tan grande.
Otra cosa que noté es que parte del código se declara como genérico y el resto de los dbs se extienden desde él. No soy un programador de Python, pero ¿tal vez esto podría justificar algo?
Por lo tanto, no tengo una respuesta final, ¡pero espero que alguien también resalte estos puntos!