Реляционная алгебра для подсчета строк

Question

Я не был уверен, что назвать эту проблему, но это не совсем счет строк. Допустим, мы имеем соотношение:

Competition(compId, sport, playerName, medal) 

И допустим атрибут медаль может быть золото, серебро, бронза, или нуль. Итак, мы имеем следующие данные:

(193, Tennis, John Doe, Gold) 
(931, Skiing, Mary White, Bronze) 
(193, Tennis, Arnold Black, null) 
(182, Bobsledding, John Doe, Gold) 
(901, Ping-Pong, Adam Brown, Silver) 
(248, Bobsledding, Mary White, Silver) 

Я имею очень трудно понять, как ответить на этот вопрос: Получить имена всех игроков, которые выиграли больше, чем одну медаль. В этих данных будут ответы Джон Доу и Мэри Уайт. Как я могу получить этот ответ на произвольные данные для этого отношения, используя реляционную алгебру?

(Это упрощенная версия фактической домашней проблемы, и это упрощение представляет (я надеюсь) часть этой проблемы, с которой я борюсь. Существует произвольное и неизвестное количество соревнований, спортивных состязаний и игроков, но только 4 возможности для медали)

Answer 1

Получите имена всех игроков, выигравших более одной медали.

(Это не ясно, что это значит. Победили чем один вид медали? Или получили более одной медали? Ваш пример ответа предполагает последнего. Кроме того, оно относится к «нулю», как только другой вид медали , не специально, как в SQL)

-- rows where 
    THERE EXISTS compId,sport,medal,compId1,compId2,medal2 SUCH THAT 
     in competition [compId] of sport [sport] player [playerName] won [medal] 
    AND in competition [compId2] of sport [sport2] player [playerName] won [medal2] 
    AND (compId <> compId2 OR sport <> sport2 OR medal <> medal2) 

Используя заявление стенографии:.

-- rows where 
    THERE EXISTS compId,sport,medal,compId1,compId2,medal2 SUCH THAT 
     Competition(compId, sport, playerName, medal) 
    AND Competition(compId2, sport2, playerName, medal2) 
    AND (compId <> compId2 OR sport <> sport2 OR medal <> medal2) 

Перегруппировка (предвидя ограничения одного сравнения на σ и один набор атрибутов в ∪):

-- rows where 
    THERE EXISTS compId,sport,medal,compId1,compId2,medal2 SUCH THAT 
     ( Competition(compId, sport, playerName, medal) 
     AND Competition(compId2, sport2, playerName, medal2) 
     AND compId <> compId2) 
    OR ( Competition(compId, sport, playerName, medal) 
     AND Competition(compId2, sport2, playerName, medal2) 
     AND sport <> sport2) 
    OR ( Competition(compId, sport, playerName, medal) 
     AND Competition(compId2, sport2, playerName, medal2) 
     AND medal <> medal2) 

Теперь, чтобы получить алгебру заменить:

• каждое заявление своей таблицы/отношения
• каждый и таблицы/соотношение по ⋈ (естественное соединение)
• каждый OR таблицы/отношения (которые должны иметь одинаковые столбцы/атрибуты) с помощью ∪ (union)
• каждый AND NOT (который должен иметь одинаковые столбцы/атрибуты) на \ (разность)
• каждый AND сравнение на сг сравнения (выбрать/ограничения)
• каждый СУЩЕСТВУЕТ имена уронить на я имена держать (проекцию)

• каждый столбец/атрибут переименования через р (переименовать).

  π playerName (
      ( Competition 
      ⋈ σ compId <> compId2 ρ compID2/compID ρ sport2/sport ρ medal2/medal Competition) 
  ∪ ( Competition 
      ⋈ σ sport <> sport2 ρ compID2/compID ρ sport2/sport ρ medal2/medal Competition) 
  ∪ ( Competition 
      ⋈ σ medal <> medal2 ρ compID2/compID ρ sport2/sport ρ medal2/medal Competition) 
  ) 
  

(подробнее см this answer.)