finite-model-theory पर टैग किए गए जवाब

6
तत्वों के पुनरावृत्ति के बिना जोड़े के एक सेट से संयोजन उत्पन्न करना
मेरे पास जोड़े का एक सेट है। प्रत्येक जोड़ी फॉर्म (x, y) की है जैसे कि x, y सीमा से पूर्णांक के हैं [0,n)। तो, यदि n 4 है, तो मेरे पास निम्नलिखित जोड़े हैं: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) मेरे पास पहले से ही जोड़े हैं। अब, मुझे …

3
SQL कैप्चरिंग का विस्तार
इम्मेरमैन के अनुसार , एसक्यूएल प्रश्नों से जुड़ी जटिलता वर्ग बिल्कुल ही (फर्स्ट-ऑर्डर क्वेरीज़ प्लस काउंटिंग ऑपरेटर) में सुरक्षित क्वेरीज़ की क्लास है : एसक्यूएल सुरक्षित क्वेरीज़ को कैप्चर करता है। (दूसरे शब्दों में, सभी एसक्यूएल प्रश्नों में एक जटिलता है , और में सभी समस्याओं एक SQL क्वेरी के …

2
क्या 'अंतर' ऑपरेशन एक क्वेरी भाषा में अभिव्यक्तता को जोड़ता है जिसमें पहले से ही 'जॉइन' शामिल है?
सेट अंतर ऑपरेटर (उदाहरण के लिए, EXCEPTकुछ SQL वेरिएंट में) रिलेशनल बीजगणित के कई मौलिक ऑपरेटरों में से एक है। हालांकि, कुछ डेटाबेस हैं जो सेट अंतर ऑपरेटर को सीधे समर्थन नहीं करते हैं, लेकिन जो समर्थन LEFT JOIN(एक प्रकार का बाहरी जुड़ाव) है, और व्यवहार में इसका उपयोग समान …

2
कार्यक्रम विश्लेषण में कम से कम निश्चित बिंदु (एलएफपी) महत्वपूर्ण क्यों है
मैं कार्यक्रम विश्लेषण में कम से कम निश्चित बिंदु (एलएफपी) के महत्व पर एक बड़ी तस्वीर प्राप्त करने की कोशिश कर रहा हूं। उदाहरण के लिए अमूर्त व्याख्या lfp के अस्तित्व का उपयोग करने के लिए लगता है। कार्यक्रम विश्लेषण पर कई शोध पत्र भी कम से कम निश्चित बिंदु …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.