عرض مصدر الجبر العلائقي

{{لا صندوق معلومات}}
في [[النظرية في قواعد البيانات|نظرية قاعدة البيانات]]، '''الجبر العلائقي''' '''{{إنج|relational algebra}}''' هو نظرية تستخدم [[بنية جبرية|الهياكل الجبرية]] لنمذجة البيانات وتحديد الاستعلامات عليها باستخدام [[علم الدلالة الشكلي|دلالات]] جيدة التأسيس. قدَّم [[إدجار كود|إدغار ف كوود]] هذه النظرية.<ref name="Codd1970">{{استشهاد بدورية محكمة|عنوان=A Relational Model of Data for Large Shared Data Banks|صحيفة=[[Communications of the ACM]]|مؤلف=Codd|الأول=E.F.|مؤلف-وصلة=E.F. Codd|تاريخ=1970|المجلد=13|العدد=6|صفحات=377–387|s2cid=207549016|دوي=10.1145/362384.362685|doi-access=free}}</ref>

التطبيق الرئيسي للجبر العلائقي هو توفير أساس نظري [[قواعد بيانات علائقية|لقواعد البيانات العلائقية]]، وخاصة [[لغة استعلام|لغات الاستعلام]] لمثل قواعد البيانات هذه، وأهمها [[لغة الاستعلامات المهيكلة|لغة الاستعلامات المهيكلة SQL]]. تخزن قواعد البيانات العلائقية البيانات الجدولية الممثلة في صورة علاقات [[:en:Relation_(database)|relations]]. غالبًا ما تُرجع الاستعلامات عبر قواعد البيانات العلائقية أيضًا بيانات جدولية ممثلة في صورة علاقات.

الغرض الرئيسي من الجبر العلائقي هو تحديد [[مؤثر|المشغلات]] (أو المؤثرات [[:en:Operator_(mathematics)|operators]]) التي تحول علاقة دخل واحدة أو أكثر إلى علاقة خرج. وبما أن هذه المؤثرات تقبل العلاقات كمدخلات وتنتج العلاقات كمخرجات، فمن الممكن دمجها واستخدامها للتعبير عن استعلامات معقدة تعمل على تحويل علاقات الإدخال المتعددة (التي يجري تخزين بياناتها في قاعدة البيانات) إلى علاقة إخراج واحدة (تُمثل نتائج الاستعلام).

تقبل [[عملية أحادية|المشغلات الأحادية]] علاقة واحدة كمدخل لها. تتضمن الأمثلة عوامل لتصفية سمات معينة (أعمدة) أو [[تعديد (حساب)|مجموعات]] (صفوف) من علاقة إدخال. تقبل [[عملية ثنائية|المشغلات الثنائية]] علاقتين كمدخلات وتجمعهما في علاقة إخراج واحدة. على سبيل المثال، أخذ جميع الثنائيات الموجودة في أي علاقة ( [[اتحاد (نظرية المجموعات)|اتحاد]] )، وإزالة الثنائيات من العلاقة الأولى الموجودة في العلاقة الثانية ( [[مجموعة مكملة (نظرية المجموعات)|الفرق]] )، وتوسيع ثنائيات العلاقة الأولى بثنائيات في العلاقة الثانية تطابق شروطًا معينة، وهكذا.

== مقدمة ==
لم يحظ الجبر العلائقي باهتمام كبير خارج نطاق الرياضيات البحتة حتى نُشر نموذج [[إدجار كود|إي إف كود]] للعلاقات البيانات في عام 1970. اقترح إدجار كود مثل هذا الجبر كأساس للغات استعلام قواعد البيانات.

يعمل الجبر العلائقي على مجموعات متجانسة من الثنائيات <math>S = \{(s_{j1},s_{j2},... s_{jn}) | j \in 1... m \} </math> حيث نفسر عادةً ''m'' على أنه عدد صفوف العناصر في الجدول و ''n'' على أنه عدد الأعمدة. جميع الإدخالات في كل عمود لها نفس النوع [[:en:Data_domain|type]].

تحتوي العلاقة أيضًا على عنصر فريد يسمى '''الرأس''' '''header''' والذي يمنح كل عمود اسمًا أو '''سمة''' فريدة '''attribute''' داخل العلاقة. تُستخدم السمات في الإسقاطات والتحديدات.

== مؤشرات المجموعة ==
يستخدم الجبر العلائقي [[اتحاد (نظرية المجموعات)|اتحاد المجموعات]]، و<nowiki/>[[مجموعة مكملة (نظرية المجموعات)|فرق المجموعات]]، و<nowiki/>[[جداء ديكارتي|ناتج الجداء الديكارتي]] من نظرية المجموعات، ويضيف قيودًا إضافية إلى هذه المؤشرات لإنشاء مؤشرات جديدة.

بالنسبة لاتحاد المجموعات وفرق المجموعات، يجب أن تكون العلاقتان المعنيتان ''متوافقتين مع الاتحاد'' - أي يجب أن يكون للعلاقتين نفس مجموعة السمات. نظرًا لأن [[تقاطع (نظرية المجموعات)|تقاطع المجموعات]] يمكن تعريفه بدلالة اتحاد المجموعات وفرق المجموعات، فيجب أن تكون العلاقتان المتضمنتان في تقاطع المجموعات متوافقتين مع الاتحاد أيضًا.

لكي يمكن تعريف حاصل الجداء الديكارتي، يجب أن يكون للعلاقتين المعنيتين رؤوس منفصلة - أي أنه لا يجب أن يكون لهما اسم سمة مشترك.

بالإضافة إلى ذلك، يمكن تعريف الناتج الديكارتي بشكل مختلف عن الناتج الموجود في نظرية [[مجموعة (رياضيات)|المجموعات]] بمعنى أن المجموعات تعتبر "سطحية shallow" لأغراض العملية. وهذا يعني أن حاصل الجداء الديكارتي لمجموعة من ''n-''أزواج مع مجموعة من ''m-''أزواج يعطي مجموعة من "المسطحات" {{تعبير رياضي|(''n''&nbsp;+&nbsp;''m'')}}-أزواج (بينما كانت نظرية المجموعات الأساسية قد وصفت مجموعة من 2 من الأزواج، كل منها يحتوي على ''n-''أزواج و ''m-''أزواج). وبشكل أكثر رسمية، يمكن تعريف ''R'' × ''S'' على النحو التالي:

<math display="block">R\times S:=\{(r_1,r_2,\dots,r_n,s_1,s_2,\dots,s_m)|(r_1,r_2,\dots,r_n)\in R, (s_1,s_2,\dots,s_m)\in S\}</math>

عدد عناصر حاصل الضرب الديكارتي هو حاصل ضرب عدد عناصر عوامله، أي | ''R'' × ''S'' | = | ''R'' | × | ''S'' |.

== الإسقاط ==
'''الإسقاط''' '''projection''' ( {{تعبير رياضي|Π}} ) هو [[عملية أحادية]] مكتوبة على النحو التالي <math>\Pi_{a_1, \ldots,a_n}( R )</math> حيث <math>a_1,\ldots,a_n</math> هي مجموعة من أسماء السمات. يمكن تعريف نتيجة هذا الإسقاط على أنها [[مجموعة (رياضيات)|المجموعة]] التي نحصل عليها عندما يجري تقييد جميع [[تعديد (حساب)|الثنائيات]] في ''R'' بالمجموعة <math>\{a_1,\ldots,a_n\}</math>.

ملاحظة: عند التنفيذ في معيار [[لغة الاستعلامات المهيكلة|لغة الاستعلامات المهيكلة SQL]]، يقوم "الإسقاط الافتراضي" بإرجاع مجموعة متعددة [[:en:Multiset|multiset]] بدلاً من مجموعة، ويمكن الحصول على إسقاط {{تعبير رياضي|Π}} لإزالة البيانات المكررة عن طريق إضافة الكلمة الأساسية DISTINCT (أي [[:en:Select_(SQL)|<code>DISTINCT</code> keyword]]).

== الاختيار ==
{{مجموعة مرقمة|:|<math>U = \Pi_{r_1,\ldots,r_n,c_1,\ldots,c_m,s_1,\ldots,s_k}(P)</math>|{{EquationRef|4}}}}'''الاختيار المعمم generalized selection''' ( σ ) هو [[عملية أحادية]] مكتوبة على النحو التالي <math>\sigma_\varphi(R)</math> حيث φ هي صيغة اقتراحية [[:en:Propositional_formula|propositional formula]] تتكون من ذرات [[:en:Atomic_formula|atoms]]<nowiki/>كما هو مسموح به في الاختيار الطبيعي [[:en:Selection_(relational_algebra)|normal selection]] والمؤشرات المنطقية ∧
{{and}} ([[:en:Logical_conjunction|and]]), {{or-}} ([[:en:Logical_disjunction|or]]) and {{Not}} ([[:en:Negation|negation]]). يقوم هذا الاختيار بتحديد كل تلك [[تعديد (حساب)|المجموعات]] في ''R'' التي تحتوي على φ.

للحصول على قائمة بجميع الأصدقاء أو شركاء العمل في دفتر العناوين، يمكن كتابة الاختيار على النحو التالي <math>\sigma_{\text{isFriend = true} \,\lor\, \text{isBusinessContact = true}}( \text{addressBook} )</math>. ستكون النتيجة هي علاقة تحتوي على كل سمة من سمات كل سجل فريد حيث يكون {{تعبير رياضي|isFriend|size=90%}} صحيحًا أو حيث يكون {{تعبير رياضي|isBusinessContact|size=90%}} صحيحًا.

== إعادة التسمية ==
 
'''إعادة التسمية''' ( ''ρ'' ) أو '''rename''' هي [[عملية أحادية]] مكتوبة على النحو التالي <math>\rho_{a / b}(R)</math> حيث تكون النتيجة متطابقة مع ''R'' باستثناء أن السمة ''b'' في جميع الثنائيات يجري إعادة تسميتها إلى سمة ''a''. يُستخدم هذا عادةً لإعادة تسمية سمة العلاقة لغرض الانضمام.

لإعادة تسمية السمة "isFriend" إلى "isBusinessContact" في علاقة، <math>\rho_{\text{isBusinessContact / isFriend} } ( \text{addressBook} )</math> قد ييجري استخدامها.

هناك أيضا تدوين <math>\rho_{x(A_1, \ldots,A_n)}(R)</math>، حيث يمكن إعادة تسمية ''R'' إلى ''x'' والسمات <math>\{a_1,\ldots,a_n\}</math> يجري إعادة تسميتها إلى <math>\{A_1,\ldots,A_n\}</math>.<ref>{{استشهاد بكتاب|مؤلف=Silberschatz|الأول=Abraham|عنوان=Database system concepts|تاريخ=2020|طبعة=Seventh|مكان=New York|صفحة=56|أكلس=1080554130|مؤلف2=Henry F. Korth|مؤلف3=S. Sudarshan|isbn=978-0-07-802215-9}}</ref>

== مؤشرات الارتباط والشبيهة بالارتباط ==
 

=== الارتباط الطبيعي ===
الارتباط الطبيعي (⨝) (بالإنجليزية Natural join) هو [[علاقة ثنائية]] تُكتب على هيئة ( ''R'' ⨝ ''S'' ) حيث ''R'' و ''S'' هما علاقات. {{ملا|In [[الترميز الموحد]], the join symbol is ⨝ (U+2A1D), and the bowtie symbol, occasionally used instead, is ⋈ (U+22C8).}} نتيجة الارتباط الطبيعي هي مجموعة كل مجموعات العناصر في ''R'' و ''S'' المتساوية في أسماء السمات المشتركة. على سبيل المثال، ضع في اعتبارك الجداول الموظفين ''Employee'' والقِسم ''Dept'' وارتباطهما الطبيعي:
 
{{بداية-عمو|width=auto; margin:0.5em auto}}
{{فاصل-عمو}}
{| class="wikitable"
 |+           ''Employee''
 |-
 ! Name   !! EmpId !! DeptName
 |-
 | Harry  || 3415  || Finance
 |-
 | Sally  || 2241  || Sales
 |-
 | George || 3401  || Finance
 |-
 | Harriet || 2202 || Sales
 |-
 | Mary   || 1257 || Human Resources
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+           ''Dept''
 |-
 ! DeptName   !! Manager
 |-
 | Finance  || George
 |-
 | Sales  || Harriet
 |-
 | Production || Charles
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+  ''Employee''&nbsp;⨝&nbsp;''Dept''
 |-
 ! Name   !! EmpId !!  DeptName   !! Manager
 |-
 | Harry  || 3415   || Finance  || George
 |-
 | Sally  || 2241   || Sales  || Harriet
 |-
 | George || 3401  || Finance || George
 |-
 | Harriet || 2202 || Sales || Harriet
|}
{{نهاية-عمو}}

لاحظ أنه لا الموظفة المسماة ماري Mary ولا قسم الإنتاج Production يظهران في النتيجة.

يمكن أيضًا استخدام هذا لتحديد تكوين العلاقات [[:en:Composition_of_relations|composition of relations]]. على سبيل المثال، تكوين علاقة ''الموظف'' ''والقسم'' هو ارتباطهما كما هو موضح أعلاه، ويمكن إسقاطه على جميع السمات باستثناء السمة المشتركة ''DeptName''. في [[نظرية الفئة]]، فإن الارتباط join هو على وجه التحديد منتج الألياف [[:en:Fiber_product|fiber product]].

يمكن القول أن الارتباط الطبيعي هو أحد أهم المؤشرات لأنه النظير العلائقي لمؤشر AND المنطقي. لاحظ أنه إذا ظهر نفس المتغير في كل من المسندين المرتبطين بواسطة AND، فإن هذا المتغير يمثل نفس الشيء ويجب دائمًا استبدال كلا الظهورين بنفس القيمة (وهذا نتيجة [[تساوي القوى|لتساوي قوى]] AND المنطقية). على وجه الخصوص، يسمح الانضمام الطبيعي بدمج العلاقات المرتبطة [[مفتاح أجنبي|بمفتاح خارجي]]. على سبيل المثال، في المثال أعلاه، من المحتمل أن يكون المفتاح الخارجي صالحًا من ''Employee''.''DeptName'' إلى ''Dept.DeptName'' ثم الانضمام الطبيعي ''للموظف'' و''القسم'' يجمع بين جميع الموظفين وأقسامهم. يعمل هذا لأن المفتاح الخارجي يربط بين السمات التي تحمل نفس الاسم. إذا لم يكن هذا هو الحال كما هو الحال في المفتاح الخارجي من ''مدير'' ''القسم'' ''Dept''.''Manager'' إلى اسم ''الموظف'' ''Employee''.''Name''. ثم يجب إعادة ''تسمية'' هذه الأعمدة قبل اتخاذ الانضمام الطبيعي. يُشار إلى مثل هذا الانضمام أحيانًا باسم '''الانضمام المتساوي''' '''equijoin'''.

بصورة أكثر رسمية، يمكن تعريف دلالات الارتباط الطبيعي على النحو التالي:{{مجموعة مرقمة|:|<math>R \bowtie S = \left\{ r \cup s \ \vert \ r \in R \ \land \ s \in S \ \land \ \mathit{Fun}(r \cup s) \right\}</math>|{{EquationRef|1}}}}حيث ''Fun(t)'' هو [[محمول (منطق)|مسند]] [[:en:Predicate_(mathematics)|predicate]] صحيح لعلاقة ''t'' (بالمعنى الرياضي) [[إذا وفقط إذا|إذا]] كانت ''t'' دالة (أي أن ''t'' لا تقوم بتعيين أي سمة لقيم متعددة). من المعتاد أن يكون مطلوبًا أن يكون لدى ''R'' و ''S'' سمة مشتركة واحدة على الأقل، ولكن إذا جرى حذف هذا القيد، ولم يكن لدى ''R'' و ''S'' أي سمات مشتركة، فإن الارتباط الطبيعي يصبح هو حاصل الضرب الديكارتي تمامًا.

يمكن محاكاة الارتباط الطبيعي باستخدام بدائيات كوود Codd's primitives على النحو التالي. افترض أن ''c''<sub>1</sub>،...، ''c''<sub>''m''</sub> هي أسماء السمات المشتركة بين ''R'' و ''S''، وأن ''r''<sub>1</sub>،...، ''r''<sub>''n''</sub> هي أسماء السمات الفريدة لـ ''R'' وأن ''s''<sub>1</sub>،...، ''s''<sub>''k''</sub> هي أسماء السمات الفريدة لـ ''S.'' علاوة على ذلك، افترض أن أسماء السمات ''x''<sub>1</sub>،...، ''x''<sub>''m''</sub> لا توجد في ''R'' ولا في ''S.'' في الخطوة الأولى، يمكن إعادة تسمية أسماء السمات المشتركة في ''S'' كالتالي:{{مجموعة مرقمة|:|<math>T = \rho_{x_1/c_1,\ldots,x_m/c_m}(S) = \rho_{x_1/c_1}(\rho_{x_2/c_2}(\ldots\rho_{x_m/c_m}(S)\ldots))</math>|{{EquationRef|2}}}}ثم نأخذ حاصل الضرب الديكارتي ونختار المجموعات التي سيتم ضمها (ارتباطها):{{مجموعة مرقمة|:|<math>P = \sigma_{c_1=x_1,\ldots,c_m=x_m}(R \times T) = \sigma_{c_1=x_1}(\sigma_{c_2=x_2}(\ldots\sigma_{c_m=x_m}(R \times T)\ldots))</math>|{{EquationRef|3}}}}وأخيرًا، نتخذ إسقاطًا للتخلص من السمات التي جرى إعادة تسميتها:{{مجموعة مرقمة|:|<math>U = \Pi_{r_1,\ldots,r_n,c_1,\ldots,c_m,s_1,\ldots,s_k}(P)</math>|{{EquationRef|4}}}}

=== ''θ'' -join و equijoin ===
بالنظر إلى جداول ال''سيارة'' و ال''قارب'' التي تسرد قائمة نماذج من السيارات والقوارب وأسعار كل منها. لنفترض أن أحد العملاء يريد شراء سيارة وقارب، لكنه لا يريد إنفاق أموال على القارب أكثر من الإنفاق على السيارة. وبالتالي يكون ''θ''-join (⋈<sub>''θ''</sub>) على [[محمول (منطق)|المسند]] ''سعر السيارة'' ≥ ''سعر القارب'' تُنتج أزواج مُسطحة من الصفوف التي تُحقق ذلك المسند. عند استخدام شرط تكون فيه السمات متساوية، على سبيل المثال السعر، يمكن تحديد الشرط على النحو التالي ''السعر''=''السعر''
أو بدلا من ذلك (''السعر'') نفسها.
 {{بداية-عمو|width=auto; margin:0.5em auto}}
{{فاصل-عمو}}
{| class="wikitable"
 |+           ''Car''
 |-
 ! CarModel   !! CarPrice
 |-
 | CarA  || 20,000
 |-
 | CarB  || 30,000
 |-
 | CarC  || 50,000
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+           ''Boat''
 |-
 ! BoatModel   !! BoatPrice
 |-
 | Boat1  || 10,000
 |-
 | Boat2  || 40,000
 |-
 | Boat3  || 60,000
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+  <math>{ Car \bowtie Boat \atop \scriptstyle CarPrice \geq BoatPrice }</math>
 |-
 ! CarModel  !! CarPrice !!  BoatModel !! BoatPrice
 |-
 | CarA  || 20,000   || Boat1 || 10,000
 |-
 | CarB  || 30,000   || Boat1 || 10,000
 |-
 | CarC  || 50,000   || Boat1 || 10,000
 |-
 | CarC  || 50,000   || Boat2 || 40,000
|}
{{نهاية-عمو}}

من أجل دمج العناصر من علاقتين حيث لا يكون شرط الدمج ببساطة هو مساواة السمات المشتركة، فمن المناسب أن يكون لدينا شكل أكثر عمومية لمؤشر الارتباط join operator، وهو ''θ''-join (أو theta-join). حيث ''θ''-join هو عامل ثنائي مكتوب على النحو التالي <math>{R\ \bowtie\ S \atop a\ \theta\ b}</math> أو <math>{R\ \bowtie\ S \atop a\ \theta\ v}</math> حيث أن ''a'' و ''b'' هما اسما سمة، ''وθ'' هو عامل علاقات ثنائية في المجموعة {{تعبير رياضي|1={&lt;, ≤, =, ≠, &gt;, ≥}} }، و ''υ'' هو ثابت القيمة، و ''R'' و ''S'' هما علاقات. تتكون نتيجة هذه العملية من جميع مجموعات الثنائيات في ''R'' و ''S'' التي تلبي ''θ''. يمكن تعريف نتيجة ''θ''-join فقط إذا كانت رؤوس ''S'' و ''R'' منفصلة، أي لا تحتوي على سمة مشتركة.

وبالتالي فإن محاكاة هذه العملية في العمليات الأساسية تكون على النحو التالي :

: ''R'' ⋈ <sub>''θ''</sub> ''S'' = ''σ <sub>θ</sub>'' ( ''R'' × ''S'' )

في حالة أن العامل ''θ'' هو عامل المساواة (=)، فإن هذا الارتباط يسمى أيضًا '''ارتباطًا متساويًا''' '''equijoin'''.

ومع ذلك، لاحظ أن لغة الحاسوب التي تدعم مؤشر الارتباط والاختيار الطبيعيين لا تحتاج إلى ''θ''-join أيضًا، حيث يمكن تحقيق ذلك عن طريق الاختيار من نتيجة الارتباط الطبيعي (الذي يتحول إلى حاصل ضرب ديكارت عندما لا توجد سمات مشتركة).

في تنفيذات SQL، يُطلق على الارتباط إلى مسند عادةً اسم ''الارتباط الداخلي''، وتسمح الكلمة الأساسية ''on'' بتحديد المسند المستخدم لتصفية الصفوف. من المهم ملاحظة: إن تشكيل المنتج الديكارتي المسطح ثم تصفية الصفوف صحيح من الناحية المفاهيمية، ولكن التنفيذ سيستخدم هياكل بيانات أكثر تطوراً لتسريع استعلام الارتباط.

=== شبه الارتباط ===
إن شبه الارتباط الأيسر left semijoin (⋉ و⋊) هو ارتباط مشابه للارتباط الطبيعي ومكتوب على النحو التالي <math alt="𝑅 ⋉ 𝑆">R \ltimes S</math> حيث <math alt="𝑅">R</math> و <math alt="𝑆">S</math> هي علاقات. {{ملا|In [[الترميز الموحد]], the ltimes symbol is ⋉ (U+22C9). The rtimes symbol is ⋊ (U+22CA)}} النتيجة هي مجموعة كل الثنائيات في <math alt="𝑅">R</math> حيث يوجد مجموعة في <math alt="𝑆">S</math> حيث يتساويان في أسماء صفاتهما المشتركة. الفرق عن الارتباط الطبيعي هو أن الأعمدة الأخرى من <math alt="𝑆">S</math> لا تظهر. على سبيل المثال، ضع في اعتبارك جداول الموظف والقِسم ''Employee'' و ''Dept'' وشبه الارتباط الخاص بهما:
{{بداية-عمو|width=auto; margin:0.5em auto}}
{{فاصل-عمو}}
{| class="wikitable"
 |+           ''Employee''
 |-
 ! Name   !! EmpId !! DeptName
 |-
 | Harry  || 3415  || Finance
 |-
 | Sally  || 2241  || Sales
 |-
 | George || 3401  || Finance
 |-
 | Harriet || 2202 || Production
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+           ''Dept''
 |-
 ! DeptName   !! Manager
 |-
 | Sales  || Sally  
 |-
 | Production|| Harriet 
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+  ''Employee'' ⋉ ''Dept''
 |-
 ! Name   !! EmpId !!  DeptName
 |-
 | Sally  || 2241   || Sales
 |-
 | Harriet || 2202 || Production
|}
{{نهاية-عمو}} 

بشكل أكثر رسمية، يمكن تعريف دلالات شبه الارتباط على النحو التالي:

<math alt="𝑅 ⋉ 𝑆 = { 𝑡 : 𝑡 ∈ 𝑅 ∧  ∃ 𝑠 ∈ 𝑆(Fun(𝑡 ∩ 𝑠))}">R \ltimes S = \{ t : t \in R \land \exists s \in S(\operatorname{Fun}(t \cup s)) \}</math>

حيث <math alt="Fun(𝑟)">\operatorname{Fun}(r)</math> كما هو الحال في تعريف الانضمام الطبيعي.

يمكن محاكاة شبه الارتباط باستخدام الارتباط الطبيعي على النحو التالي. إذا كانت <math alt="a₁, …, aₙ">a_1, \ldots, a_n</math> هي أسماء سمات <math alt="𝑅">R</math>، فإن

<math alt="𝑅 ⋉ 𝑆 = Π_{a₁, …, aₙ} (𝑅 ⋈ 𝑆)">R \ltimes S = \Pi_{a_1, \ldots, a_n}(R \bowtie S).</math>

نظرًا لأننا نستطيع محاكاة الارتباط الطبيعي باستخدام المؤشرات الأساسية، فمن الطبيعي أن ينطبق هذا أيضًا على الارتباط الجزئي.

في ورقة كوود عام 1970، يسمى الارتباط الجزئي التقييد restriction.<ref name="Codd1970" />

=== الارتباط المضاد ===
الارتباط المضاد (▷) (بالإنجليزية antijoin)، يُكتب على هيئة ''R'' ▷ ''S'' حيث ''R'' و ''S'' علاقات، {{ملا|In [[الترميز الموحد]], the Antijoin symbol is ▷ (U+25B7).}} يشبه شبه الارتباط، ولكن نتيجة الارتباط المضاد هي فقط تلك الثنائيات في ''R'' التي ''لا'' يوجد لها ثنائي في ''S'' متساوٍ في أسماء السمات المشتركة بينهما.

على سبيل المثال، ضع في اعتبارك جداول الموظفين ''Employee'' والقسم ''Dept'' والارتباط المضاد antijoin الخاصة بهما:

{{بداية-عمو|width=auto; margin:0.5em auto}}
{{فاصل-عمو}}
{| class="wikitable"
 |+           ''Employee''
 |-
 ! Name   !! EmpId !! DeptName
 |-
 | Harry  || 3415  || Finance
 |-
 | Sally  || 2241  || Sales
 |-
 | George || 3401  || Finance
 |-
 | Harriet || 2202 || Production
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+           ''Dept''
 |-
 ! DeptName   !! Manager
 |-
 | Sales  || Sally
 |-
 | Production || Harriet
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+  ''Employee''  ▷ ''Dept''
 |-
 ! Name   !! EmpId !!  DeptName
 |-
 | Harry  || 3415  || Finance
 |-
 | George || 3401  || Finance
|}
{{نهاية-عمو}}

يمكن تعريف مضاد الارتباط antijoin رسميًا على النحو التالي:

: {{تعبير رياضي|1=''R'' ▷ ''S'' = { ''t'' : ''t'' ∈ ''R'' ∧ ¬∃''s'' ∈ ''S''(''Fun'' (''t'' ∪ ''s''))}}}

أو

: {{تعبير رياضي|1=''R'' ▷ ''S'' = { ''t'' : ''t'' ∈ ''R'', there is no tuple ''s'' of ''S'' that satisfies ''Fun'' (''t'' ∪ ''s'')}}}

حيث {{تعبير رياضي|''Fun'' (''t'' ∪ ''s'')}} كما هو الحال في تعريف الارتباط الطبيعي.

يمكن أيضًا تعريف الارتباط المضاد باعتباره [[مجموعة مكملة (نظرية المجموعات)|المكمل]] لشبيه الارتباط، على النحو التالي:{{مجموعة مرقمة|:|{{تعبير رياضي|1=''R'' ▷ ''S'' = ''R''&nbsp;−&nbsp;''R'' ⋉ ''S''}}|{{EquationRef|5}}}}ونظراً لهذا، يُطلق على مضاد الارتباط antijoin أحيانًا اسم anti-semijoin أي مضاد شبيه الارتباط، ويُكتب عامل مضاد الارتباط antijoin أحيانًا على هيئة رمز شبيه الارتباط semijoin مع شريط فوقه، بدلاً من ▷.

في الحالة التي يكون فيها للعلاقات نفس السمات (متوافقة مع الاتحاد)، فإن مضاد الارتباط antijoin هو نفسه الطرح.

=== القسمة ===
القسمة (÷) هي عملية ثنائية تُكتب على هيئة ''R'' ÷ ''S.'' ولا يجري تنفيذ القسمة بشكل مباشر في SQL. تتكون النتيجة من قيود العناصر الثنائية في ''R'' على أسماء السمات الفريدة لـ ''R''، أي في رأس ''R'' ولكن ليس في رأس ''S''، حيث تنص على أن جميع مجموعاتها مع العناصر الثنائية في ''S'' موجودة في ''R.''

==== مثال ====
 {{بداية-عمو|width=auto; margin:0.5em auto}}
{{فاصل-عمو}}
{| class="wikitable"
 |+ ''Completed''
 |-
 ! Student   !! Task
 |-
 | Fred  || Database1
 |-
 | Fred  || Database2
 |-
 | Fred || Compiler1
 |-
 | Eugene  || Database1
 |-
 | Eugene  || Compiler1
 |-
 | Sarah  || Database1
 |-
 | Sarah  || Database2
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+ ''DBProject''
 |-
 ! Task
 |-
 | Database1
 |-
 | Database2
|}
{{فاصل-عمو|gap=2em}}
{| class="wikitable"
 |+ ''Completed'' ÷ ''DBProject''
 |-
 ! Student
 |-
 | Fred
 |-
 | Sarah
|}
{{نهاية-عمو}}
إذا كان جدول ''DBProject'' يحتوي على جميع مهام مشروع قاعدة البيانات، فإن نتيجة القسمة أعلاه تحتوي بالضبط على الطلاب الذين أكملوا كلتا المهمتين في مشروع قاعدة البيانات. بصورة أكثر رسمية، يمكن تعريف دلالات القسمة على النحو التالي:{{مجموعة مرقمة|:|{{تعبير رياضي|''R'' ÷ ''S'' {{=}} { ''t''[''a''<sub>1</sub>,...,''a''<sub>''n''</sub>] : ''t'' ∈ ''R'' ∧ ∀''s'' ∈ ''S'' ( (''t''[''a''<sub>1</sub>,...,''a''<sub>''n''</sub>] ∪ ''s'') ∈ ''R'') } }}|{{EquationRef|6}}}}حيث { ''a''<sub>1</sub> ,..., ''a''<sub>''n''</sub> } هي مجموعة أسماء السمات الفريدة لـ ''R'' و ''t'' [ ''a''<sub>1</sub> ,..., ''a''<sub>''n''</sub> ] هو تقييد ''t'' لهذه المجموعة. من المعتاد أن يكون مطلوبًا أن تكون أسماء السمات في رأس ''S'' هي مجموعة فرعية من أسماء ''R'' لأنه بخلاف ذلك ستكون نتيجة العملية فارغة دائمًا.

يجري محاكاة عملية القسمة مع العمليات الأساسية على النحو التالي. نفترض أن a<sub>1</sub> ''،''...، ''a''<sub>''n''</sub> هي أسماء السمات الفريدة لـ ''R'' وأن ''b''<sub>1</sub>،...، ''b''<sub>''m''</sub> هي أسماء السمات الخاصة بـ ''S.'' في الخطوة الأولى، نقوم بإسقاط ''R'' على أسماء السمات الفريدة الخاصة بها وإنشاء جميع التركيبات التي تحتوي على مجموعات في ''S'' :

: ''T'' := π<sub>''a''<sub>1</sub>,...</sub><sub>,''a''<sub>''n''</sub></sub>(''R'') × ''S''

في المثال السابق، سيمثل T جدولاً بحيث يجري دمج كل طالب (لأن الطالب هو المفتاح/السمة الفريدة للجدول المكتمل) مع كل مهمة معينة. على سبيل المثال، سيكون لدى Eugene صفين، Eugene → Database1 و Eugene → Database2 في T.

:: على سبيل المثال: أولاً، لنفترض أن "مكتمل Completed" لديه سمة ثالثة تسمى "الدرجة grade". فهي غير مرغوب فيها هنا، لذلك يجب علينا إسقاطها دائمًا. في الواقع، في هذه الخطوة يمكننا إسقاط "Task" من R أيضًا؛ حيث تقوم عملية الضرب بإعادتها مرة أخرى.
:: ''T'' := π<sub>Student</sub>(''R'') × ''S''  // هذا يعطينا كل تركيبة مرغوبة ممكنة، بما في ذلك تلك التي لا توجد بالفعل في R، واستبعاد التركيبات الأخرى (على سبيل المثال Fred | compiler1، وهي ليست تركيبة مرغوبة)
{{بداية-عمو|width=auto; margin:0.5em auto}}
{{فاصل-عمو|gap=5em}}
{| class="wikitable"
 |+ ''T''
 |-
 ! Student   !! Task
 |-
 | Fred  || Database1
 |-
 | Fred  || Database2
 |-
 | Eugene  || Database1
 |-
 | Eugene  || Database2
 |-
 | Sarah  || Database1
 |-
 | Sarah  || Database2
|}
{{نهاية-عمو}} 
في الخطوة التالية نطرح ''R'' من ''T''

العلاقة :

: ''U'' := ''T'' − ''R''

في ''U'' لدينا التركيبات الممكنة التي "كان من الممكن" أن تكون في ''R''، ولكنها لم تكن كذلك.

== الامتدادات الشائعة ==
في الممارسة العملية، يجري توسيع الجبر العلائقي التقليدي الموصوف أعلاه من خلال عمليات مختلفة مثل الارتباطات الخارجية والوظائف التجميعية وحتى الإغلاق المتعدي.<ref name="ÖzsuValduriez2011">{{استشهاد بكتاب|مؤلف=M. Tamer Özsu|مسار= https://books.google.com/books?id=TOBaLQMuNV4C&pg=PA46|عنوان=Principles of Distributed Database Systems|ناشر=Springer|سنة=2011|طبعة=3rd|صفحة=46|مؤلف2=Patrick Valduriez|isbn=978-1-4419-8833-1|مسار أرشيف= http://web.archive.org/web/20170211132510/https://books.google.com/books?id=TOBaLQMuNV4C&pg=PA46|تاريخ أرشيف=2017-02-11}}</ref>

=== الارتباطات الخارجية ===
{{قسم فارغ}}
==== الارتباط الخارجي الأسر ====
{{قسم فارغ}}
==== الارتباط الخارجي الأيمن ====
{{قسم فارغ}}
==== الارتباط الخارجي الكامل ====
{{قسم فارغ}}
=== عمليات حساب المجال ===
{{قسم فارغ}}
== انظر أيضا ==
* [[جداء ديكارتي]]
* [[Codd's theorem]]
* [[D4 (programming language)]] (an implementation of D)
* [[نمذجة البيانات]]
* [[قاعدة بيانات]]
* [[Datalog]]
* [[تشارلز ساندرز برس]]
* [[Object-role modeling]]
* [[Projection (mathematics)]]
* [[Projection (relational algebra)]]
* [[Projection (set theory)]]
* [[Relation (mathematics)|Relation]]
* [[Relation (database)]]
* [[Relation algebra]]
* [[Relation composition]]
* [[Relation construction]]
* {{Ill-WD2|الحساب العلاقي|id=Q1722436}}
* [[قاعدة بيانات علائقية]]
* {{Ill-WD2|النموذج العلاقي|id=Q755662}}
* [[لغة الاستعلامات المهيكلة]]
* [[علاقة (منطق)]]
* [[Triadic relation]]
* [[Tuple relational calculus]] 

== ملحوظات ==
{{ملاحظات}}

== المراجع ==
{{مراجع}}
{{روابط شقيقة}}
{{شريط بوابات|رياضيات|علم الحاسوب|قواعد البيانات}}

== قراءة إضافية ==

* {{استشهاد بدورية محكمة|عنوان=The relational model of data and cylindric algebras|صحيفة=[[Journal of Computer and System Sciences]]|مؤلف=Imieliński|الأول=T.|مؤلف-وصلة=Tomasz Imieliński|سنة=1984|المجلد=28|صفحات=80–102|مؤلف2=Lipski|الأول2=W.|دوي=10.1016/0022-0000(84)90077-1|doi-access=free}} (For relationship with [[cylindric algebra]]s).

== روابط خارجية ==

* [https://web.archive.org/web/20220330063834/https://www.slinfo.una.ac.cr/rat/rat.html RAT Relational Algebra Translator] Free software to convert relational algebra to SQL
* [http://www.databaselecture.com/processing.html Lecture Videos: Relational Algebra Processing] - An introduction to how database systems process relational algebra
* [http://www.databasteknik.se/webbkursen/relalg-lecture/index.html Lecture Notes: Relational Algebra] – A quick tutorial to adapt SQL queries into relational algebra
* [https://ltworf.codeberg.page/relational/ Relational – A graphic implementation of the relational algebra]
* [https://graal.ens-lyon.fr/~yrobert/henri3/ioannidis96query.pdf Query Optimization] This paper is an introduction into the use of the relational algebra in optimizing queries, and includes numerous citations for more in-depth study.
* [https://www.cse.fau.edu/~marty/index.html#RADownload Relational Algebra System for Oracle and Microsoft SQL Server]
* [https://centaurialpha.github.io/pireal/index.html Pireal – An experimental educational tool for working with Relational Algebra]
* [http://des.sourceforge.net DES – An educational tool for working with Relational Algebra and other formal languages]
* [https://dbis-uibk.github.io/relax/ RelaX - Relational Algebra Calculator] (open-source software available as an online service without registration)
* [https://users.cs.duke.edu/~junyang/ra2/ RA: A Relational Algebra Interpreter]
* [http://mlwiki.org/index.php/Translating_SQL_to_Relational_Algebra Translating SQL to Relational Algebra]

{{قاعدة بيانات}}