Логика реляционная. Понятие реляционной модели
Понятие реляционной модели А:=«Иванов учится в КГТУ», В:=«Сидоров учится в БГА», С:=«Петров учится в БФУ». Синтаксическая модель высказываний: "учится" - {Иванов, Сидоров, Петров}, - {КГТУ, БГА, БФУ}. Реляционная модель высказываний: r="учится"∈{}⊗{} Определения РЛ атрибут (Аi) – имя столбца таблицы - Фамилия, домен (Dj) - область определения атрибута : для Название ВУЗа - {КГТУ, БГА, БФУ}, мощность - число строк таблицы, кортеж (t)– строка таблицы, содержащая значения атрибутов - (Иванов, КГТУ). Если дано множество атрибутов A={A1,A2,…,An} и множество доменов D={D1,D2,..., Dm}, то t=(d1,d2,...,dn) где di∈Dj. Кортежи называют совместимыми, если они имеют одинаковые характеристики: число атрибутов и имена, а также их порядок в кортеже, отношение (r) - множество совместимых кортежей, r={t| t=(d1,d2,...,dn), di∈Dj}⊆⊗nD; характеризуется схемой отношения rel(r)=(A1, A2,…, An) и арностью n, ключ – один или несколько атрибутов, выделяющих единственный кортеж отношения, реляционная база данных (R) - множество отношений для определенной области деятельности - R={ri}; характеризуется схемой реляционной базы данных REL(R)={rel(r)}.