В.В. Подольский. Оценки длин переформулировок запросов к снабженным логической теорией базам данных