রিলেশনাল ডাটাবেসগুলির জন্য জনপ্রিয় ক্যোয়ারী ভাষায়, এমন কোয়েরি তৈরি করা সম্ভব যেগুলির উত্তর দেওয়ার জন্য প্রচুর সংস্থান প্রয়োজন। অনুশীলনে, ডাটাবেস প্রশাসকরা ক্যোয়ারি প্রতি মেমরির পরিমাণ সীমাবদ্ধ করে এবং ডাটাবেসে কোনও ধীরগতি থাকলে কোনও দীর্ঘ-চলমান অনুসন্ধানগুলি পরীক্ষা করে এটি পরিচালনা করে। এটি বরং অ্যাড-হক মনে হচ্ছে, এটির জন্য কি কোনও টিসিএস সমাধান রয়েছে?
এমন কি কোয়েরি ভাষা রয়েছে যা কেবল দক্ষ ক্যোয়ারিকেই প্রয়োগ করতে পারে?
যদি এ জাতীয় কোনও ভাষা না থাকে, তবে এর কোনও তাত্ত্বিক কারণ আছে?
আমি এই ধরণের জিনিসগুলির উপস্থিতি বা ন্যূনতম বোধগম্য হওয়ার জন্য কেন কয়েকটি কারণ আশা করতে পারি:
- আমাদের কাছে প্রোগ্রামিং ল্যাঙ্গুয়েজ রয়েছে যা বিশেষত কেবল দক্ষ গণনাগুলি বাস্তবায়নের জন্য ডিজাইন করা হয়েছে (সাধারণত তাদের টাইপ সিস্টেমে কিছু বাধা যুক্তি রেখে)
- জনপ্রিয় ক্যোয়ারী ভাষাগুলি (যেমন এসকিউএল) ইতিমধ্যে যুক্তি দ্বারা অনুপ্রাণিত হয়েছে, সুতরাং এটি ডাটাবেস ব্যবহারকারীদের আরও নিয়ন্ত্রিত লজিক বিবেচনা করার জন্য একটি প্রসারিত বলে মনে হয় না।
- অ-দূষিত ডাটাবেস ব্যবহারকারী ইতিমধ্যে দ্রুত সম্পাদনকারী ক্যোয়ারী প্রস্তুত করার চেষ্টা করেছে, সুতরাং আমাদের এই আরও প্রতিবন্ধী কোয়েরি ভাষাগুলি কেবল দূষিত ব্যবহারকারীদের বাধা দেওয়ার জন্য আশা করা উচিত।
এই প্রশ্নটি পূর্ববর্তী দুটি প্রশ্নের ছেদ দ্বারা অনুপ্রাণিত:
1
এটি কি ঠিক বর্ণনামূলক জটিলতার বিষয় নয়? বিভিন্ন জটিলতার ক্লাসগুলির জন্য তাদের ভাষার ভাষার বৈশিষ্ট্য রয়েছে।
—
কাভেহ 21
বর্ণনামূলক জটিলতা অবশ্যই দক্ষ গণনার জন্য প্রোগ্রামিং ভাষার জন্য একটি বিশাল অংশ এবং গাইড। তবে আমি "বর্ণনামূলক জটিলতা যুক্তি ব্যবহার করে" এবং "ডাটাবেসের অনুসন্ধানগুলি যুক্তি ব্যবহার করে" বলার মতো সহজ বলে আমি মনে করি না। বিশেষত, ডিসির পক্ষে মনে হয় যে ক্যোয়ারির আকার স্থির হয়ে গেছে এবং 'এন' এমন সীমাবদ্ধ কাঠামোর আকার থেকে আসে যারা এই প্রশ্নগুলি গ্রহণ করে। ডাটাবেসে, এটি সত্যই ক্যোয়ারী আকার যা ভেরিয়েবল এবং ডাটাবেসটিও পরিবর্তনশীল বা সম্ভবত একটি নির্দিষ্ট পরামিতি।
—
আর্টেম কাজনাটচিভ
পরিবর্তনশীল প্রশ্নের জন্যও ফলাফল রয়েছে, তারা মডেল-চেকিং এবং সুপরিচিত জটিলতা ক্লাসগুলির মধ্যে ম্যাচের মতো যথেষ্ট চমকপ্রদ নয়। এছাড়াও সীমাবদ্ধ মডেল তত্ত্বের বৃহত্তর ক্ষেত্র, যার মধ্যে বর্ণনামূলক জটিলতা একটি অংশ, এর বেশ কয়েকটি এক্সপ্রেসিবিলিটির ফলাফল সরাসরি ডাটাবেসের সাথে সম্পর্কিত। ডাটাবেসগুলি হ'ল প্রায় সীমাবদ্ধ মডেল-তাত্ত্বিক স্ট্রাকচারের পরে।
—
মার্ক হামান
এই চিঠিপত্রের কথা ভাবিনি। আমি সীমাবদ্ধ মডেল-তত্ত্বের ট্যাগ যুক্ত করেছি। আপনি বা @ কাভেহ যদি আপনার মন্তব্যগুলি বিশদভাবে বর্ণনা করতে চান এবং সাধারণভাবে সীমাবদ্ধ মডেল-তত্ত্বের বর্ণনামূলক জটিলতা থেকে সুনির্দিষ্ট ফলাফলগুলি কীভাবে এই জাতীয় কোয়েরি ভাষা তৈরি করতে চান তা জানতে চান, তবে আমি সত্যিই সেই উত্তরটি দেখতে চাই!
—
Artem Kaznatcheev