কোডের অ্যালগোরিদম টিপল রিলেশনাল ক্যালকুলাসে একটি অভিব্যক্তি সম্পর্কিত রিজেন্টাল বীজগণিতায় রূপান্তর করে।
এটি এক বছর আগে এসওতে পোস্ট করা হয়েছিল , তবে এটির কোনও ভাল উত্তর পাওয়া যায় নি।
উত্তর:
এই হ্রাস হ'ল গঠনমূলক প্রমাণ কৌশলটি যা দেখায় যে কোনও উপসেট (নিরাপদ নামযুক্ত) টিপল রিলেশনাল ক্যালকুলাস (টিআরসি) রিলেশনাল বীজগণিত (আরএ) এর চেয়ে কম প্রকাশযোগ্য। অন্য উপায়টিও সত্য হওয়ার সাথে সাথে, সেফ-টিআরসি এবং আরএর সমান অভিব্যক্তি শক্তি রয়েছে। উদাহরণস্বরূপ উপপাদ্য 5.3.10 দেখুন । সিনট্যাকটিক "সুরক্ষা" সীমাবদ্ধতা ক্যালকুলাসের ডোমেনের স্বতন্ত্র সম্পত্তি নিশ্চিত করে এবং এটি প্রয়োজনীয়।
আর-ডিবিএমএসে, এসকিউএলকে টিআরসি-র জন্য কংক্রিট (ঘোষিত) ভাষা হিসাবে দেখা যেতে পারে। আরএ কাউন্টার পার্টটি হ'ল প্রক্রিয়াগত পরিকল্পনা (ক্রিয়াকলাপের ক্রম) যেখানে কোনও এসকিউএল এক্সপ্রেশন সংকলিত হয়। সুতরাং, রূপান্তরটি আসলে সংকলন প্রক্রিয়ার আনুষ্ঠানিক বিবরণ। নোট করুন যে এসকিউএল DISTINCT, অর্ডার বা গ্রুপের মাধ্যমে এক্সটেনশনগুলি প্রবর্তন করে যা পরিষ্কারভাবে টিআরসি এবং আরএ তত্ত্বের আওতার বাইরে outside
রূপান্তরটির সঠিক তাত্ত্বিক জটিলতা আমি জানি না, তবে স্পষ্টতই এটি "সস্তা" হতে হবে। ফোটন কোলাইটিস বলে যে এটি লিনিয়ার।
আমি এই অ্যালগরিদমের একটি প্রমাণ-ধারণা ধারণার বিষয়ে সচেতন নই।