প্রশ্ন ট্যাগ «finite-model-theory»

আমার একজোড়া সেট আছে। প্রতিটি জুড়ি ফর্মের (x, y) এর মতো যে x, y ব্যাপ্তি থেকে পূর্ণসংখ্যার অন্তর্ভুক্ত [0,n)। সুতরাং, যদি এন 4 হয়, তবে আমার নীচের জোড়াগুলি রয়েছে: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) আমি ইতিমধ্যে জোড়া আছে। এখন, আমাকে জোড় ব্যবহার করে একটি সংমিশ্রণ তৈরি করতে হবে n/2যাতে …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

মতে Immerman , জটিলতা সঙ্গে যুক্ত বর্গ SQL এর প্রশ্নের ঠিক এর বর্গ নিরাপদ প্রশ্নের মধ্যে SQL এর যেমনটি নিরাপদ প্রশ্নের: (প্রথম-অর্ডার প্রশ্নের প্লাস কাউন্টিং অপারেটর)। (অন্য কথায়, সব এসকিউএল কোয়েরি একটি জটিলতা আছে , এবং সব সমস্যার একটি SQL কোয়েরি হিসাবে প্রকাশ করা যেতে পারে।)কিউ ( এফ ও ( …

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

সেট পার্থক্য অপারেটর (উদাহরণস্বরূপ, EXCEPTকিছু এসকিউএল রূপে) রিলেশনাল বীজগণিতের অনেকগুলি মৌলিক অপারেটরগুলির মধ্যে একটি। তবে কিছু ডাটাবেস রয়েছে যা সেট পার্থক্য অপারেটরকে সরাসরি সমর্থন করে না, তবে যা সমর্থন করে LEFT JOIN(এক ধরণের বহিরাগত যোগদান), এবং বাস্তবে একই প্রভাব অর্জনের জন্য সেট ডিফারেন্স অপারেশনের পরিবর্তে এটি ব্যবহার করা যেতে পারে। …

19 database-theory  relational-algebra  finite-model-theory 

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

11 programming-languages  finite-model-theory  fixed-point