Cтраница 2
Проектирование БД является одним из этапов жизненного цикла информационной системы. Основной задачей, решаемой в процессе проектирования БД, является задача нормализации ее отношений. Рассматриваемый ниже метод нормальных форм является классическим методом проектирования реляционных БД. Этот метод основан на фундаментальном в теории реляционных баз данных понятии зависимости между атрибутами отношений. [16]
Ласкера - Маколея, казавшуюся ранее сугубо вычислительной и громоздкой. Ею было дано также ак-сиоматич. Artin) изучает кольца с условием минимальности - артиновы кольца; X. Grell) вводит понятие локализации целостного кольца - операции, обобщенной затем К. Крулль доказывает теорему о главном идеале, положившую начало теории размерности нетеровых колец, а также теорему о пересечении степеней идеала в нетеровом кольце, являющуюся основой при изучении 21-адических топологий. Теория дивизо-риальных идеалов ( 1931) и теория нормирования обобщают более ранние исследования К. Наконец, следует упомянуть теорему Нетер о нормализации, выяснение роли понятия целой зависимости в рамках общей теории коммутативных колец, а также теоремы Крулля о подъеме простых идеалов для целых расширений. [17]