Операция деления отношений

Эта операция наименее очевидна из всех операций реляционной алгебры и поэтому нуждается в более подробном объяснении. Пусть заданы два отношения - A с заголовком {a₁, a₂,..., a_n, b₁, b₂,..., b_m} и B с заголовком {b₁, b₂,..., b_m}. Будем считать, что атрибут b_i отношения A и атрибут b_i отношения B не только обладают одним и тем же именем, но и определены на одном и том же домене. Назовем множество атрибутов {a_j} составным атрибутом a, а множество атрибутов {b_j} - составным атрибутом b. После этого будем говорить о реляционном делении бинарного отношения A(a,b) на унарное отношение B(b).

Результатом деления A на B является унарное отношение C(a), состоящее из кортежей v таких, что в отношении A имеются кортежи <v, w> такие, что множество значений {w} включает множество значений атрибута b в отношении B.

Предположим, что в базе данных сотрудников поддерживаются два отношения: СОТРУДНИКИ (ИМЯ, ОТД_НОМЕР) и ИМЕНА (ИМЯ), причем унарное отношение ИМЕНА содержит все фамилии, которыми обладают сотрудники организации. Тогда после выполнения операции реляционного деления отношения СОТРУДНИКИ на отношение ИМЕНА будет получено унарное отношение, содержащее номера отделов, сотрудники которых обладают всеми возможными в этой организации именами.

ВОПРОС 30 (2)

2.30. Понятие процесса. Адресное пространство процесса. Средства синхронизации процессов в многозадачных ОС.

Термин «процесс» впервые был использован разработчиками системы MULTICS в 60-ых годах прошлого века. С тех пор этому понятию, иногда смешиваемому с понятием «задача», было дано много определений. Рассмотрим некоторые из них.

• исполняемая программа;

• асинхронная активность;

• совокупность данных, использующая процессор.

Существует много определений, наподобие этих. Наиболее часто используется

вариации с исполняемой программой, возможно, с упоминанием данных. Общего

соглашения по этому поводу не существует.