Question: Consider the substitution A [ B / C ] where A = xp ( y ) yp ( y ) B = p ( y

Consider the substitution A [B/C]
where
A=xp(y)yp(y)
B=p(y)
and C=q(x,y)
.
What variables, if any, become bound or free due to the substitution?
a.
x
becomes bound.
b.
x
becomes free.
c.
x
and y
become free.
d.
x
becomes bound and x
becomes free.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!