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

ट्विटर जैसी कंपनी को बीजीय अवधारणाओं जैसे समूह, मोनॉयड और रिंग में रुचि क्यों होगी? गितुब पर उनका भंडार देखें : Twitter / algebird । सब मैं पा सकता है: दिलचस्प सन्निकटन एल्गोरिदम, जैसे कि ब्लूम फ़िल्टर , हाइपरलॉगलॉग और काउंटमिनसेट के लिए मोनॉयड का कार्यान्वयन । ये आपको इन …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

क्या एसक्यूएल को सबक्वेरी की जरूरत है? संबंध डेटाबेस के लिए संरचित क्वेरी भाषा के पर्याप्त सामान्यीकृत कार्यान्वयन की कल्पना करें। चूंकि विहित एसक्यूएल SELECTबयान की संरचना वास्तव में इसके लिए बहुत महत्वपूर्ण है, इसलिए मैं सीधे संबंधपरक बीजगणित के लिए अपील नहीं करता हूं, लेकिन आप अभिव्यक्ति के रूप …

29 database-theory  relational-algebra 

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

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

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

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

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

19 database-theory  relational-algebra  finite-model-theory 

कोडेक का एल्गोरिथ्म टुपल रिलेशनल कैलकुलस में एक अभिव्यक्ति को रिलेशनल अल्जेब्रा में परिवर्तित करता है। क्या एल्गोरिथ्म का एक मानक कार्यान्वयन है? क्या इस एल्गोरिथम का उपयोग कहीं भी किया गया है? (ऐसा लगता है कि उद्योग को केवल एसक्यूएल और वेरिएंट की आवश्यकता है, मैं शिक्षाविदों में डेटाबेस …

12 algorithms  database-theory 

मान लीजिए कि हम एक विधेय पर दो संबंधों में शामिल होना चाहते हैं। क्या यह नेकां में है? मुझे लगता है कि इसका एक प्रमाण NC में नहीं होने के कारण ऐसा प्रमाण होगा जो , इसलिए मैं इसका प्रमाण एक उत्तर के रूप में एक खुली समस्या होने …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity