Версия для печати

На главную страницу

Характерные ошибки при решении упражнений. Задача 38

Найдите страны, имевшие когда-либо классы обычных боевых кораблей ('bb') и имевшие когда-либо классы крейсеров ('bc').

Ранее формулировка задания выглядела так:

Найдите страны, владевшие когда-либо как обычными кораблями, так и крейсерами.

Т.е. нужно найти страны, которые имели корабли типа 'bc' и 'bb'. Слова "владевшие когда-либо" должно, по мнению автора, задействовать следующую логическую цепочку рассуждений:

Вывод: для решения этой задачи нужно рассматривать только таблицу Classes. В результате получаем достаточно простую задачу. И я не писал бы это объяснение, если бы мне не присылали подобные нижеприведенному решения с просьбой объяснить причину, по которой их не принимает система. Вот решение:

SELECT DISTINCT c1.country
FROM Classes c1 INNER JOIN Classes c2
    ON c1.country = c2.country
     INNER JOIN Ships s1
     ON c1.class = s1.class
     INNER JOIN Ships s2
     ON c2.class = s2.class
WHERE c1.type = 'bb'
     AND c2.type = 'bc'
UNION
SELECT DISTINCT c1.country
     FROM Classes c1 INNER JOIN Classes c2
     ON c1.country = c2.country
     INNER JOIN Ships s1
     ON c1.class = s1.class
     INNER JOIN Outcomes s2
     ON c2.class = s2.ship
WHERE c1.type = 'bb' AND c2.type = 'bc'
     OR c2.type = 'bb' AND c1.type = 'bc'

Какой формулировке соответствует это решение? Найти страны, у которых в БД имеются корабли обоих типов? Если ответ "да", то это решение все равно не является правильным.

В первом запросе объединения определяются страны, которые в таблице Ships имеют корабли обоих типов. Во втором запросе определяются страны, которые имеют в таблице Ships корабль одного типа, а в таблице Outcomes - другого.

Но есть же еще один вариант, когда имеются только головные корабли в Outcomes, причем обоих типов. Добавьте в свою базу данных следующие строки:

INSERT INTO Classes VALUES('c_bb', 'bb' , 'AAA' ,10 ,15 , 35000)
INSERT INTO Classes VALUES('c_bc', 'bc', 'AAA', 6, 15, 45000)
INSERT INTO Outcomes VALUES('c_bb', 'Guadalcanal', 'ok')
INSERT INTO Outcomes VALUES('c_bc', 'Guadalcanal', 'ok')

Страна ААА имеет корабли обоих типов. Однако вышеприведенный запрос не выведет эту страну, как это и следовало ожидать.

Замечу также, что DISTINCT в обоих запросах совершенно излишен, т.к. UNION устранит возможные дубликаты. С точки зрения логики это замечание не является существенным. Однако с точки зрения оптимизации это достаточно важный момент. Сервер тратит значительные ресурсы на удаление дубликатов, поэтому не стоит это делать несколько раз. Сравните планы выполнения запросов с DISTINCT и без.

А вот пример половинчатого решения, принимаемого системой:

SELECT DISTINCT country
FROM Classes RIGHT JOIN
    (
     SELECT DISTINCT COALESCE(ship, name) AS name, class
     FROM outcomes FULL OUTER JOIN ships
     ON ship = name
    )AS Z
ON Z.name = Classes.class OR Z.class = Classes.class
WHERE type = 'bb' AND
     country IN (SELECT country FROM classes
         WHERE type = 'bc')

Здесь берутся все корабли из обеих таблиц - Ships и Outcomes. Далее соединением с таблицей Classes определяется их класс, и отбираются только те из них, которые имеют тип 'bb' (боевые корабли). Наконец, проверяется, что страна найденных ранее кораблей имеет также классы 'bc'. Решение оказалось правильным только потому, что страны, имеющие классы обоих типов, имеют в текущем состоянии БД корабли типа 'bb'.

Заблокировать подобные решения очень просто: достаточно добавить в таблицу Classes два класса (типа 'bc' и 'bb') для страны, которая вообще не имеет кораблей в БД. Следовательно,  формулировку необходимо уточнить:

Найдите страны, имеющие классы как обычных боевых кораблей ('bb'), так и крейсеров ('bc').

Такой вид она имеет сейчас.

Приведенные здесь примеры можно выполнить непосредственно на сайте, установив флажок "Без проверки" на странице с упражнениями на SELECT.

Перейти к решению задачи #38

На главную страницу

  Версия для печати