Если у кого-нить есть идеи, мысли, может быть материалы и ссылки по следующей теме - поделитесь, пожалуйста.

Тема такая. Есть набор таблиц, для которых заданы ключи. Над этими исходными таблицами выполняются всякие реляционные операции. Как понять, какие поля будут однозначно ключевыми в результате (если такие поля там будут вообще)?

Примеры (навскидку):
1) Если делается UNION двух таблиц, то в результате ключевые поля не определены
2) В декартовом произведении ключ есть объединение ключей исходных отношений
3) При проекции ключ определён только в случае, когда в результат попали все ключевые столбцы исходной таблицы.
и т.п.

Хочется найти, определить полный свод таких правил для всех операций.

Кстати. для SQL и для pureRDM скорее всего будут различия (в первом случае допускаются дубликаты) - интересуют оба случая.

Это нужно для статической проверки типов. Например я хочу присвоить
где - объявленые ранее табличные переменные с заданными ключами.

Естественно, в таком присвоении надо быть уверенным, что ключи в левой и правой части присваивания совпадают - или справа или надо выполнять группировку по полям, которые д.б. ключевыми слева.