Для ER-модели существует алгоритм ее однозначного преобразования в
Функциональная зависимость R.A->R.B называется транзитивной, если существует такой набор атрибутов С, что
Процедура, гарантирующая, что каждый пользователь, обращаясь к базе данных, работает с ней так, как будто не существует других пользователей, одновременно работающих с теми же данными, называется