Реляционное исчисление кортежей: взятие результатов одного запроса и добавление его к другому

Question

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

Вопрос

Retrieve the names of employees who make at least $10,000 more than the employee who is paid the least in the Company.

Настройка БД

EMPLOYEE: fname , minit , lname, ssn , bdate , address , sex , salary , superssn , dno
DEPARTMENT: dname dnumber , mgrssn , mgrstartdate
DEPT_LOCATIONS: dnumber , dlocation
PROJECT: pname , pnumber , plocation , dnum
WORKS_ON: essn , pno , hours
DEPENDENT: essn , dependent_name , sex , bdate , relationship

Таким образом, я до сих пор выяснил, как найти сотрудника с минимальной заработной платой по ссылке. Как бы я нашел самый высокий / самый большой показатель по алгебре отношений, реляционному исчислению предметной области и реляционному исчислению кортежей, а также по http://www.cs.princeton.edu/courses/archive/spr00/cs425/soln_from_text_midterm.pdf (стр. 32, вопросы 6, 7 и 8 используют эту логику с ответами ниже).

Мой вопрос заключается в том, что мне трудно взять результаты минимального сотрудника, а затем добавить к нему 10000. Я считаю, что остальная часть запроса должна быть простой. У меня есть следующее, чтобы генерировать минимальную зарплату сотрудника, но, очевидно, это не возвращает сотрудников выше этого.

{e1.salary | EMPLOYEE(e1) and NOT (∃e2) (EMPLOYEE(e2) and (e2.salary<e1.salary) ) }

Любая помощь будет оценена.

Большое спасибо!

Answer 1

Я думаю, что вы можете добавить 10000 к e2.salary непосредственно в условии, то есть e2.salary + 10000

Answer 2

После дальнейшего рассмотрения, я думаю, что следующее решит 2-й вопрос...

{emp.fname, emp.minit, emp.lname | EMPLOYEE(emp) and (∃x) ( EMPLOYEE(x) and NOT (x.salary>emp.salary)) and x.dno=emp.dno)}

Хотя мне, возможно, придется это исправить, я думаю, что в этом есть основная идея. Он определенно несколько удален, исходя из перспективы ООП и передавая значения по цепочке. Еще раз спасибо!