SQL относится к языкам со статической типизацией. Статической типизацией называется проверка типов данных во время компиляции программ.