रिलेशनल बीजगणित एसक्यूएल के बराबर "नहीं"

Question

क्या एसक्यूएल अभिव्यक्ति NOT IN का समतुल्य बीजगणित समतुल्य है?

A1 | A2 
---------- 
x | y 
a | b 
y | x 

मैं संबंध है जिसके लिए A1, A2 में है में सभी tuples निकालना चाहते हैं:

उदाहरण के लिए अगर मैं रिश्ता नहीं है। एसक्यूएल में मैं क्वेरी हो सकता है:

SELECT 
    * 
FROM 
    R 
WHERE 
    R.A1 NOT IN 
     (
     SELECT 
      A2 
     FROM 
      R 
     ) 
/

क्या वास्तव में मुझे स्टंपिंग है संबंधपरक बीजगणित चयन ऑपरेटर अंदर सबक्वेरी के लिए कैसे है, यह संभव ?:

σ _{यहाँ कुछ सबक्वेरी} आर

Answer 1

में है संबंधपरक बीजगणित, आप इसे एक कार्टेशियन उत्पाद का उपयोग कर कर सकते हैं। कुछ की तरह:

आर - ρ _{A1, A2} ( _{π A11, A21} (σ _{A11 = A22} ( _{A11, A21} (आर) ρ एक्स ρ _{A12, A22} (आर))))

• आर, फी के कॉलम का नाम बदलें a1 A11 (बाएं हाथ) और A12 (दाहिने हाथ) से
• बदले नामों वाले कॉलमों के साथ आर के के पार उत्पाद ले
• चयन पंक्तियों जहां A11 के बराबर होती है A22
• परियोजना बाहर A12 और A22 और A11 रखने और A21
• A1 और A2

कि आपको पंक्तियों से मिलान किया गया देता है नाम बदलें। पंक्तियों को खोजने के लिए आर से इसे घटाएं जहां मिलान नहीं किया गया है।

Answer 2

उद्घाटन प्रश्न हमें गलत सोच भेज रहा है। यह होना चाहिए:

क्या एसक्यूएल अभिव्यक्ति R WHERE ... [NOT] IN S का समतुल्य बीजगणित समतुल्य है?

जवाब है हाँ, यह (प्राकृतिक) JOIN bowtie ऑपरेटर ⋈ उर्फ ​​है (यही है, इस सवाल का जवाब दो संबंधों, नहीं फिल्टर के कुछ प्रकार। के बीच कुछ आपरेशन है)।

यह देखने के लिए कि क्यों पहले दिए गए SQL समाधान को व्यवस्थित करें। जैसा कि दिखाया गया है, यह विशेषता A1 NOT IN विशेषता के साथ एक विशेषता A2 के साथ एक संबंध की तलाश में है। यह विशेषता नामों में वास्तव में एक गलत मिलान है। एसक्यूएल जहां स्थिति के अंदर NOT की अनुमति देता है। यह एसक्यूएल लॉजिकल स्ट्रक्चर स्पष्ट बनाता है:

SELECT * FROM R 
WHERE NOT (A1 IN (SELECT A2 AS A1 FROM R)) 

अब हम एक प्रक्षेपण और नाम देख सकते हैं। (आसपास के NOT हम पहले उत्तर के अनुसार सेट MINUS के रूप में कार्यान्वित कर सकते हैं।) तो बराबर आरए है:

R - (R ⋈ ρ _A1/A2(π _{ए 2}(R)))

ब्याज के लिए, ट्यूटोरियल डी है:

R MINUS (R JOIN (R {A2} RENAME A2 AS A1)) 

तरह से सवाल डाल दिया जाता है, वहाँ है एसक्यूएल सोच से एक हैंगओवर। एसक्यूएल के WHERE आपको पंक्ति-स्तर 'मोड' में मजबूर करता है। यह कॉडड नियम 7 को संकुचित करता है जिसमें सेट-ए-टाइम ऑपरेटर की आवश्यकता होती है।

सामान्य तौर पर, एसक्यूएल के WHERE और आरए के σ उनकी पंक्ति-स्तर फिल्टर के साथ और अधिक संक्षेप के रूप में (प्राकृतिक) सेट पर एक समय तर्क के साथ JOIN लागू किया जा सकता। (उदाहरण के लिए, यह है कि क्या दिनांक & डार्वेन उनके एक बीजगणित में क्या है।)