Здравствуйте, Sinclair, Вы писали:

S>Возможностями по декомпозиции и по диагностике ошибок.

Если не правильно составил запрос -- логическая ошибка, как типизация поможет? А вот жизнь всем разработчикам субд осложнила бы. Да и от диалектов это бы не спасло.
Про декомпозицию вообще не понял.