রিলেশনাল বীজগণিত / ক্যালকুলাস এবং বিভাগের তত্ত্বের মধ্যে কি সম্পর্ক রয়েছে?


17

রিলেশনাল ডাটাবেসগুলি বোঝার জন্য আমি কমপক্ষে দুটি পৃথক তাত্ত্বিক পদ্ধতির বিষয়ে সচেতন: কোডের সম্পর্কযুক্ত বীজগণিত / ক্যালকুলাস এবং বিভাগ তত্ত্ব।

এই দুটি পদ্ধতির মধ্যে কোনও সম্পর্ক আছে কি? এগুলি কি কোনও অর্থে সমান? এই উভয় ফ্রেমওয়ার্ক কীভাবে সম্পর্কিত ডেটাবেস ব্যাখ্যা করে তা ব্যাখ্যা করার কোনও প্রাথমিক কাজ রয়েছে?

পটভূমি: কিছুক্ষণ আগে আমি ডেভিড স্পিভাকের বিভাগীয় তত্ত্বটি বিজ্ঞানীদের জন্য পড়েছিলাম যা বিভাগীয় তত্ত্বকে কীভাবে সম্পর্কিত ডেটাবেসগুলির তত্ত্বটি বোঝার জন্য প্রয়োগ করা যেতে পারে তা নিয়ে বেশ কিছুটা সময় ব্যয় করেছিল। তবে, রিলেশনাল ডাটাবেসগুলি কীভাবে বা সেগুলি কেন কার্যকর সে সম্পর্কে খুব কম ব্যক্তিগত অভিজ্ঞতা থাকার পরে আমি বইটিতে অন্তর্দৃষ্টিগুলির গভীরতার প্রশংসা করি নি।

যাইহোক, সম্প্রতি আমি এসকিউএল ক্যোয়ারী এবং ডেটা ম্যানিপুলেশনের জন্য দুটি আর প্যাকেজ সম্পর্কে শিখছি : dplyr এবং data.table । এসকিউএল দৃশ্যত কোডের সম্পর্কের বীজগণিত / ক্যালকুলাস / মডেলের অনেকগুলি ধারণা প্রকাশ করতে পারে তবে সমস্তটি নয় । তদ্ব্যতীত, ডিসপ্লায়ারের লেখক, হ্যাডলি উইকহ্যাম স্পষ্টতই বলে দিয়েছেন যে প্যাকেজটির অন্তর্নিহিত তাঁর দর্শনটি কোডডের সম্পর্কযুক্ত বীজগণিত সম্পর্কিত কাজ এবং ডেটা.ট্যাবল মানচিত্রের বুনিয়াদি কমান্ডগুলিতে এসকিউএল এবং ডিপি্লায়ারের কমান্ডের পক্ষে মোটামুটি ভাল।

আমি আরও জানি যে বিভাগের তত্ত্বটি হাস্কেলের মতো ক্রিয়ামূলক প্রোগ্রামিং ভাষা ব্যবহার করে প্রচুর প্রোগ্রামারকে প্রভাবিত করে। তবে, ডেটা ম্যানিপুলেশন বা ডেটা সায়েন্সের জন্য ফাংশনাল প্রোগ্রামিংয়ের কোনও ব্যবহার আছে সে সম্পর্কে আমি সত্যিই অবগত নই, আরডির জন্য হ্যাডলি উইকহামের পিউর প্যাকেজ ছাড়াও , অ্যাপাচি স্পার্ক স্কালায় রচিত এবং ম্যাপ্রেডস সম্পর্কিত প্রযুক্তিগুলি রয়েছে ।

এই সমস্ত ধরণের আমাকে পরামর্শ দেয় যে বিভাগের তত্ত্ব এবং কোডের সম্পর্কযুক্ত বীজগণিত / ক্যালকুলাসের মধ্যে কিছুটা সম্পর্ক থাকতে হবে তবে আমি কখনই এ জাতীয় সংযোগটি স্পষ্ট করে বলতে বা এটি জনপ্রিয় ডেটা ম্যানিপুলেশনের নকশার সিদ্ধান্তগুলিকে কীভাবে ব্যাখ্যা করে তা ব্যাখ্যা করি নি never এবং সম্পর্কিত ডেটাবেস প্রযুক্তি। সুতরাং আমিও সন্দেহ করি যে আমি সম্পূর্ণ ভুল হতে পারি।

সম্পাদনা: স্পষ্টত ডেভিড স্পিভাক একটি " ফান্টিকোরিয়াল কোয়েরি ল্যাঙ্গুয়েজ (এফকিউএল) " তে কাজ করেছেন । এটির উপস্থিতি থাকলে এই জাতীয় তাত্ত্বিক সংযোগের প্রয়োগ হতে পারে বলে মনে হচ্ছে।

দ্রষ্টব্য: আমি নিশ্চিত না যে "রিলেশনাল-স্ট্রাকচারস" হ'ল রিলেশনাল ডাটাবেস বা রিলেশনাল বীজগণিত / ক্যালকুলাসের আলোচনার জন্য উপযুক্ত ট্যাগ। এই উইকিপিডিয়া নিবন্ধটি পরামর্শ দিয়েছে যে তারা সংযুক্ত থাকতে পারে তবে শেষ পর্যন্ত আমি জানি না "সম্পর্কের কাঠামো" শব্দটির অর্থ কী। পুনরায় ট্যাগ করতে নির্দ্বিধায় দয়া করে।


2
আপনি কি ট্যানেন এবং বুনেমানের কাজ দেখেছেন, উদাহরণস্বরূপ কোয়েরি ল্যাঙ্গুয়েজ ডিজাইনের স্ট্রাকচারাল অ্যাপ্রোচ ?
পুনরায় পোস্টার

@ রিনিয়ারপোস্ট আমার কাছে নেই তবে আমি এটি দেখব।
চিল 2ম্যাচট

উত্তর:


12

ভাষাগুলি জিজ্ঞাসা করার জন্য শ্রেণিবদ্ধ পদ্ধতি কিছুটা কৌনিক আগ্রহ, তবে আমি মনে করি এটি একটি খুব আকর্ষণীয় কুলুঙ্গি!

এই অঞ্চলের মূল ব্যক্তিত্বগুলির মধ্যে দুটি হলেন পিটার বুনম্যান এবং টর্স্টেন গ্রাস্ট । স্পষ্টতই, তারা সমস্ত কাজ করেনি, তবে আপনি যদি তাদের কাগজপত্রগুলি দিয়ে শুরু করেন এবং উদ্ধৃতি গ্রাফটি সন্ধান করেন তবে আপনি এই অঞ্চলের বেশ ভাল কভারেজ পাবেন।

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

প্রকৃতপক্ষে, বুনেমান এট আল-এর ক্যোরি সিস্টেমটি ক্লাইসলির নামটি পেয়েছিল যে কখনও কখনও মনাদদের "ক্লাইস্লি ট্রিপলস" বলা হয়।

Grust এর পিএইচডি থিসিস, Comprehending ক্যোয়ারী , বিস্তারিতভাবে এই ধারনা এই কাজ করে, মডেল অ্যাগ্রিগেশন অপারেটরে একসংখ্যা morphisms ব্যবহার (যেমন সহ sumএবং count)। গ্রাস্ট এবং তার গ্রুপ ফেরি নামে একটি সিস্টেমও তৈরি করেছিল , যা কীভাবে প্রোগ্রামিং ভাষাগুলিতে ডাটাবেসগুলিকে একীভূত করতে পারে তা নিয়ে গবেষণা করেছিল।

এই কাজের মূল সমস্যাগুলির মধ্যে একটি (এবং ক্লেসলিতেও, যদি মেমরিটি পরিবেশন করে) হ'ল যে মোনাদিক ক্যোয়ারী ভাষাগুলি আপেক্ষিক বীজগণিতের তুলনায় কিছুটা বেশি ভাববাদী হয়ে থাকে - তারা সেটের সেটগুলি পরিচালনা করতে প্রশ্নের অনুমতি দেয়। এসকিউএল বা রিলেশনাল বীজগণিতের সাথে এটি সংকলনের জন্য কিছু যত্ন প্রয়োজন (উদাহরণস্বরূপ, চেনি এট আল এর ভাষা-সংহত ক্যোরিয়ার একটি ব্যবহারিক তত্ত্ব দেখুন ), তবে বুনিয়াদি ইস্যুতে খুব সুন্দর শ্রেণিবদ্ধ গঠন রয়েছে। রিলেশনাল বীজগণিত কেবল পাওয়ারসেট ফান্টারের একচেটিয়া কাঠামো ব্যবহার করে , অর্থাৎ কার্টেসিয়ান পণ্য প্রাকৃতিক রূপান্তরটির অস্তিত্ব():পি(এক্স)×পি(ওয়াই)পি(এক্স×ওয়াই); এবং একাত্ম জিজ্ঞাসা ভাষাও যোগ দেওয়ার দাবি করে,μ:পি(পি(এক্স))পি(এক্স)

এটি সম্ভবত ভাষাগুলির ক্যোয়ারীগুলিতে শ্রেণিবদ্ধ পদ্ধতিতে কাজের প্রাথমিক স্ট্রিম।

একটি নতুন ধারণা (যা দুর্ভাগ্যক্রমে আমি যতটুকু ট্র্যাকশন অর্জন করতে পারি নি এটি হ'ল) ​​ডেভিড স্পিভাকের মডেল ডাটাবেসে সরল সেটগুলি ব্যবহার করার কাজ - সিমিকালিয়াল ডাটাবেসগুলি দেখুন । কেন্দ্রীয় উদ্ভাবন হ'ল সরল কাঠামোটি টেবিলের (যেমন, বিদেশী কীগুলির সিস্টেম) মধ্যে সম্পর্ক সহ পুরো ডাটাবেস স্কিমাকে স্পষ্টভাবে মডেলিংয়ের অনুমতি দেয় এবং এটি স্কিমা আপডেট ক্রিয়াকলাপগুলিকে শব্দার্থকে প্রদানে সক্ষম করে।

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

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.