write down Domain Relational Calculas query?

Question

employee(person-name,street,city)

works(person-name,company-name,salary)

company(company-name,city)

manages(person-name,manager-name)

 

Find all employees who earn more than every employee of small bank co-operation

Comments

@Arjun  @Bikram @Shaik Masthan

Is Domain Relational Calculus is in GATE2019 syllabus, as it is not mentioned in the syllabus exclusively.

---

Now it is not in Syllabus, only Tuple Relation calculus is in the syllabus.

---

Thanks :)

Answer 1

i am not sure , i just give a try on this :

{ p | (∃q)(∃r) works(p q r) and ( (∀y) (works(x y z )^( y = small bank co-operation)) -> (∃z) (z<r) )}

Comments

∃z is not needed rt?

---

yeah i think so , its understood , right ?

---

yes..