Consider the following relations:
auto_part(pid, pname, color)
auto_suppliers(sid, sname, location)
catalog(pid, sid, price)
TRC
- {x∣∃s∈auto_suppliers ∃c∈catalog ∃p∈auto_part(s.location=‘Mumbai’∧c.price=5000∧x.sid=c.sid∧x.pname=p.pname∧s.sid=c.sid∧p.pid=c.pid)}
- {x∣∃p∈auto_parts ∃c∈catalog(p.pname=‘Suspension’∧c.price=5000∧x.pid=p.pid∧p.pid=c.pid)}
- {x∣∃p∈auto_parts ∃c∈catalog ∃s∈auto_suppliers(p.pname=‘Suspension’∧c.price=5000∧x.pid=p.pid∧x.sname=s.sname∧p.pid=c.pid∧s.sid=c.sid)}
- {x∣∃s∈auto_suppliers ∃c∈catalog(s.location=‘Mumbai’∧c.price=5000∧x.sid=c.sid∧s.sid=c.sid)}
DRC
a. {<m>∣∃m,n,o(<m,n,o>∈auto_parts∧n=‘Suspension’)∧∃a,b,c(<a,b,c>∈catalog∧c=5000∧m=a)}
b. {<p>∣∃p,q,r(<p,q,r>∈auto_suppliers∧r=‘Mumbai’)∧∃a,b,c(<a,b,c>∈catalog∧c=5000∧p=b)}
c. {<p>∣∃p,q,r(<p,q,r>∈auto_suppliers∧r=‘Mumbai’)∧∃a,b,c(<a,b,c>∈catalog∧c=5000)}
d. {<m>∣(<m,n,o>∈auto_parts∧n=‘Suspension’)∧(<a,b,c>∈catalog∧c=5000∧m=a)}
e. {<p,n>∣∃m,n,o(<m,n,o>∈auto_parts)∧∃p,q,r(<p,q,r>∈auto_suppliers∧r=‘Mumbai’)∧∃a,b,c(<a,b,c>∈catalog∧c=5000∧m=a∧p=b)}
f. {<m,q>∣∃m,n,o(<m,n,o>∈auto_parts∧n=‘Suspension’)∧∃p,q,r(<p,q,r>∈auto_suppliers)∧∃a,b,c(<a,b,c>∈catalog∧c=5000∧m=a∧p=b)}
g. {<p,n>∣∃m,n,o(<m,n,o>∈auto_parts)∧∃p,q,r(<p,q,r>∈auto_suppliers∧r=‘Mumbai’)∧∃a,b,c(<a,b,c>∈catalog∧c=5000)}
h. {<m,q>∣∃m,n,o(<m,n,o>∈auto_parts∧n=‘Suspension’)∧∃p,q,r(<p,q,r>∈auto_suppliers)∧∃a,b,c(<a,b,c>∈catalog∧c=5000)}
Match the TRC expression to its correct equivalent DRC expression.
