এসকিউএল পরীক্ষা / যাচাই করতে রিলেশনাল বীজগণিত / ক্যালকুলাস প্রুফ ব্যবহার করা যেতে পারে?

Question

এসকিউএল স্টেটমেন্ট, ফাংশন এবং সঞ্চিত পদ্ধতিগুলির সঠিকতা যাচাই / পরীক্ষার জন্য প্রমাণ আকারে রিলেশনাল বীজগণিত এবং / অথবা রিলেশনাল ক্যালকুলাস ব্যবহার করা কি সম্ভব?

এটি আমার পক্ষে কমপক্ষে সম্ভব হওয়া উচিত বলে মনে হয়েছে তবে আমি জানি না যে আমি এখানে এমন কোনও বিশদ অনুপস্থিত যা প্রমাণ এবং কোডটির মধ্যে একটি 1: 1 ম্যাপিং করে।

আপনারা কেউ কি এরকম পদ্ধতি ব্যবহার করে দেখেছেন? এটা কি কাজ করেছিল? আপনার অভিজ্ঞতা কেমন ছিল?

Comments

দয়া করে আমার পরে পুনরাবৃত্তি করুন: এসকিউএল সম্পর্কযুক্ত নয়।

— হরিণ হান্টার

Answer 1

রিলেশনাল বীজগণিত অপারেটর এবং এসকিউএল স্টেটমেন্টগুলির মধ্যে কিছু ম্যাপিং বিধি রয়েছে। উদাহরণস্বরূপ, সিগমা অপারেটরটি একটি নির্বাচনী বিবৃতিতে মানচিত্র করে, সেখানে যোগদানকারী অপারেটরগুলির জন্য একের পর এক ম্যাপিং, ডেল্টার মানচিত্রগুলি কলামের উপসেট নির্বাচন করার জন্য ইত্যাদি etc.

এসকিউএল স্টেটমেন্টগুলির যথার্থতা যাচাই করতে রিলেশনাল বীজগণিত ব্যবহার করা সম্ভব?

হ্যা এটা সম্ভব. অবশ্যই আপনার সমস্ত সম্পর্ক, বিদেশী কী ইত্যাদির সাথে ডাটাবেসের একটি স্পষ্ট স্কিমা থাকা দরকার কিছু ক্ষেত্রে এসকিউএল স্টেটমেন্টের তুলনায় রিলেশনাল বীজগণিত বিবৃতিগুলি পরিচালনা করা আরও সহজ (বিবৃতি সংশোধন ও সরলকরণের জন্য প্রমাণিত রূপান্তরের নিয়ম রয়েছে ) ।

তবে অন্যদিকে, আমি মনে করি না যে এসএকিউএল স্টেটমেন্ট পরীক্ষার চেয়ে রিলেশনাল বীজগণিত ব্যবহার করে বিবৃতি যাচাই করা খুব সহজ, বিশেষত যখন আপনার কাছে ডাটাবেস প্রস্তুত থাকে যেখানে আপনি কোয়েরিগুলি চালাতে পারেন এবং ফলাফলগুলি দেখতে পারেন।

Comments

শুধু বলতে চেয়েছিলেন: রিলেশনাল অপারেটররা "নির্বাচন নির্বাচন করুন" তে মানচিত্র তৈরি করে যেহেতু রিলেশনাল বীজগণিত টিপলস সেট ব্যবহার করে এবং তাই সদৃশগুলি পরিচালনা করতে পারে না। সিগমা নিজেই যেখানে WHUEE- দফার সাথে সম্পর্কিত, পাইটি নির্বাচন করুন এবং আরও অনেক কিছুতে।

— বিপরীতে

যোগদানকারী অপারেটরগুলি 1: 1 নয়, এসকিউএল সংস্করণগুলি নালগুলির সাথে বিশেষভাবে আচরণ করে এবং একইভাবে পূর্বাভাসগুলি বুলিয়ান নয়।

— ফিলিপ্সি