Итак, вот задача.

По словесному запросу к БД поставщиков и деталей составить соответствующее алгебраическое выражение или последовательность реляционных операций присвоения, необходимых для выполнения этого запроса. Можно использовать реляционные сравнения. (это наверное должно радовать).

И приводится структура базы данных в общих чертах:

S (S#, SNAME, STATUS, CITY)
PRIMARY KEY (S#)
P (P#,PNAME, COLOR, WEIGHT,CITY)
PRIMARY KEY (P#)
J (J#,JNAME,CITY)
PRIMARY KEY (J#)

SPJ (S#,P#,J#,QTY)
PRIMARY KEY(S#,P#,J#)
FOREIGN KEY(S#) REFERENCES S
FOREIGN KEY(P#) REFERENCES P
FOREIGN KEY(J#) REFERENCES J

Получить все тройки "номер поставщиков-номера деталей-номера проектов", для которых выводимые поставщик, деталь и проект не размещены в одном городе. Дать решение в терминах исчисления кортежей и исчисления доменов.

-Одна из большого списка задач. Остальные я вроде бы понимаю. Но это - совсем нет.
Что это вообще такое? Все что я знаю - немного sql, как составить простенький запрос.

Кто-нибудь может хоть что-нибудь подсказать на эту тему?

Жаль, что вы читать не умеете, сочувствую.

Запрос sql я могу составить. Но решение требуется записать на языке, который в задании.
Что это за язык, собственно главный вопрос.

SindoMeon , спасибо за ссылку.