میشه از x->y را نتیجه گرفتx->>y چون هر FD یک MVD است.ولی آیا میشه
برعکس هم نتیجه گرفت یعنی اگرx->>y و z زیرمجموعه y باشد پس x->z.
اگر نه.پس چرا تست ۶۹ it_91 اینو میگه؟
به طور کلی نمیشه نتیجه گرفت که از چندمقداری برسیم به تک مقداری ولی با این شرط ها میشه.
چه جوری ؟
بچه ها نمی خواین جواب این سوالو بدین؟؟؟؟
سلام دوست عزیز
چیزی ک شما میگید درسته اما شما از وابستگی چند مقداری ک داده نتیجه میگیرید که Y زیرمجموعه X میباشد و
چون تو سوال داده که Z زیرمجموعه Y میباشد پس از این دو تا میتونم نتیجه بگیرم که Z زیر مجوعه X میباشد (با مثال میتونی ثابتش کنی برا خودت) و چون Z زیر مجوعه X هست پس به X وابستگی تابعی داره ، وابستگی چندمقداری هم داره
پس گزاره دوم هم درسته:
[tex]X\rightarrow \rightarrow Y \approx Y\subset X ,Z\subset Y \Rightarrow Z\subset X[/tex]
[tex]Z\subset X \Rightarrow X \rightarrow Z[/tex]