descriptive-complexity पर टैग किए गए जवाब

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

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

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

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