برخی از مهمترین مفاهیمی که در مورد ریشه T-SQL باید بدانیم، شامل پایه های اساسی مدل رابطه ای، نظریه مجموعه ها و گزاره های منطقی می باشد.





به خاطر داشته باشید که عنوان (heading) یک رابطه مجموعه ای از خواص است و بدنه آن مجموعه ای از چندتایی ها می باشد. خوب یک مجموعه چیست؟ به گفتۀ جورج کانتور (Georg Cantor) خالق نظریه مجموعه ها، یک مجموعه به شکل زیر تعریف می شود:

منظور ما از یک "مجموعه" اینست که هر اجتماعی از M در داخل یک کل قطعی، اشیاء متمایزی m (که اعضای مجموعۀ M نامیده می شوند) از ادراک یا فکر ما است.

جورج کانتور

اصول خیلی مهمی در این تعریف وجود دارد که اگر درست درک شود، می تواند تاثیر مستقیمی بر روی کدهای عملی T-SQL شما داشته باشد. به اصطلاح "کل" توجه کنید. یک مجموعه باید به عنوان یک "کل" در نظر گرفته شود. به این معنا که شما نباید با عناصر جداگانه یک مجموعه تعامل کنید، بلکه با یک مجموعه که یک "کل" است باید تعامل داشته باشید.

به اصطلاح "متمایز" توجه کنید - یک مجموعه عناصر تکراری ندارد. دکتر کد (Codd) در مورد جنبه غیر تکراری بودن اشاره کرده است: "اگر چیزی درست باشد، دوبار گفتن آن درست ترش نمی کند." برای مثال، مجموعه {a,b,c} یا مجموعۀ {a,a,b,c,c,c} برابر در نظر گرفته می شوند.

یکی دیگر از جنبه های حیاتی یک مجموعه در تعریف فوق الذکر توسط کانتور به وضوح آشکار نیست، اما به طور ضمنی بر آن دلالت دارد، نظم و ترتیب عناصر مجموعه هیچ ارتباطی به آن ندارد. در مقابل، یک توالی (که یک مجموعه مرتب شده می باشد)، دارای ترتیبی برای عناصرش می باشد. ترکیب کردن جنبه های بدون تکرار و بدون ترتیب به این معنا می باشد که مجموعۀ {a,b,c} با مجموعۀ {b,a,c,c,a,c} برابر می باشد.

شاخۀ دیگری از ریاضیات که مدل رابطه ای مبتنی بر آن می باشد "گزاره های منطقی" نامیده می شود. یک گزاره (predicate) یک عبارت است که وقتی که به چند شیء نسبت داده شود، یک قضیۀ درست (true) یا نادرست (false) می سازد. برای مثال، "حقوق سالیانه بیش از 50 هزار دلار" یک گزاره می باشد. شما می توانید این گزاره را در مورد یک کارمند خاص ارزیابی کنید، در این صورت شما یک قضیه (proposition) خواهید داشت. برای مثال، فرض کنید که یک کارمند خاص حقوق سالیانه اش 60 هزار دلار باشد. اگر گزاره بالا را در مورد این کارمند خاص ارزیابی کنید، به یک قضیه درست (true) خواهید رسید. به عبارت دیگر، یک گزاره یک قضیۀ پارامتریک می باشد.

مدل رابطه ای (relational model) از گزاره ها به عنوان یکی از عناصر هسته اصلی اش استفاده می کند. شما می توانید یکپارچگی داده ها را با گزاره ها الزام آور کنید. شما با استفاده از گزاره ها می توانید داده ها را فیلتر کنید. شما حتی می توانید از گزاره ها برای معرفی کردن خود مدل داده استفاده کنید. شما ابتدا باید قضایایی را که نیاز دارید در پایگاه داده ذخیره کنید، شناسایی نمایید. اینجا یک قضیۀ مثال داریم: یک سفارش با شمارۀ 10248 در روز 12 از ماه فوریه سال 2012 توسط یک مشتری که کد آن 7 می باشد به کارمندی که کدش 3 می باشد ارائه شده است. حالا شما از این قضایا گزاره هایی می سازید که در این گزاره ها داده ها حذف می شوند و عنوان ها (heading) حفظ می گردند. به خاطر داشته باشید که عنوان مجموعه ای از خواص است، که هر کدام از این خواص با یک نام و نوع شناسایی می شود. در این مثال شما orderid (شماره سفارش) از نوع INT و orderdate (تاریخ سفارش) از نوع DATE و custid (کد مشتری) از نوع INT و empid (کد کارمند) از نوع INT را دارید.

---

آموزش قبلی : سیر تکاملی T-SQL قسمت دوم