Кста "Автобусы" и "Места в астобусе" лучше заменить на "Автобус" и "Место в астобусе" - иначе звучит так что в каждой строке (кортеже) не про один, а про несколько автобусов.
1 форма - атомарность (не делимость). Атрибут содержит неделимое значение с точки. Если, к примеру, заказчик считает, что у Автобуса есть и номер и марка, но Вы создадите один атрибут "Номер_Марка" и туда засандалите как-нибудь и номер и марку, то отношение не удовлетворяет 1 нормальной форме.
Остальные формы связаны с понятием функциональных зависимостей и ключей.
2 форма - отношение уд 2 форме - если каждый не первичный атрибут полностью завист от каждого ключа отношения. Не первичный - значит не входит ни в один ключ. Ключ множество атрибутов значения которых уникальны в отношении и ни одно его собственное подмножество не отвечает этому свойством. атрибут полностью завист от можества атрибутов, если он от них завист, и не зависит ни от какого собственного подмножества этого множества.
Например, если бы Вы в отношение "Автобус" добавили атрибут "Место" (а таблицу "Место в автобусе" не создавали, а создав ее Вы как раз нормализовали схему БД), то у Вас значения Мн-ва {"Номер автобуса","Номер места"} были бы уникальными в отношении, а по отдельности ни "Номер автобуса", ни "Номер места" не уникальны - т.е. эта пара ключ. "Марка автобуса" зависит от "Номера автобуса" - не может быть двух марок у одного автобуса. Тем более "Марка" зависит от той пары. Но та пара ключ - "Марка" частично зависит от ключа. "Марка" - ни входит ни в один ключ. Не является первичным. Действительно, много автобусов одинаковой марки имеют одинаковые места в . А номер атобуса и марка имеют много разных мест, т.е. повторяются. На лицо нарушение второй нормальной формы. Разделв эту таблу на две "Автобус" и "Место в астобусе" Вы устранили это нарушение 2 нормальной формы.
Форма 3 - отсутсвие транзитивной зависимости не первичных атрибутов ни от одного ключа. Атрибут транзитивно зависит от мн-ва атрибутов, если есть еще оно мн-во атрибутов, такое что данный атрибут зависит от него, само это мн-во зависит от первого, а первое не зависит от этого мн-ва.
В пред примере в качестве такого доп мн-ва можно взять мн-во из одноого атрибута "Номер автобуса".
Но 3 форма сильнее 2. Т.е. если нарушена 2, то всегда нарушен 3, и наоборот если отношение удовлетворяет 3, то тем более 2. Но 3 может быть нарушена, а 2 - нет.
Например, пусть в таблице "Автобус" есть фирма - производитель автобуса.
Допустим марка может производиться только на одной фирме, хотя много марок на одной фирме. Тада Фирма завист от Марки. Марка от номера Автобуса. Номер автобуса не зависит от марки - много автобусов одинаковой маки и тока один с данным номером. Без доп инфы Фирма - не первичный атрибут. Не входит ни в один ключ - в этой табле всего один ключ - Номер автобуса, если бы был другой , то Номер автобуса бы зависел от него, а этого пока нет. Нарушена третья нормальная форма. Чтобы устранить это нарушение, нужно создать еще таблу Марка, где были бы Марки и Фирмы.

Бойса.отсутствие транзитивной зависимости любого (а не тока не первичного) атрибута от любого ключа.
Пример. Пусть есть таблица Марка_Мастерская с атрибутами: Мастерская, Марка, Фирма:
И действует правило, в данной Мастерской допускается ремонт только одной марки данной фирмы. Ну такой искусственный пример.
Тада Пара {Мастерская, Марка} - ключ, потому что Фирма зависит от Марки и стал быть значения пары уникальны и Фирма транзитивно зависит от этой пары.
Но и пара {Мастерская, Фирма} - тоже ключ - не может быть двух марок для этой пары из-за того искусственного правила. Фирма - первичный атрибут (входит в ключ). Нарушена форма Бойса_Кодда, хотя форма 3 не нарушена.

Надеюсь, это простое объяснение, на простом языке что-то прояснит начинающему.

Dioman
самый простой способ не нести этот бред про 1-2-3 нф...

Или самый простой, чтобы задали вопросы про 4-5 формы. Например, чтобы продемонстрировать следующее на примере 5 формы:

Dioman
если ей удовлетворяет то тогда катят все нормальные формы

Тем более что, не все формы катят, а тока из наиболее известной линейки. Так как есть в принципе формы, котрые могут не катить уже при форме Бойса-Кодда. Хотя такие же редко упоминаемые как и доменно ключевая.