Запитання з тегом «finite-model-theory»

У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …

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 

Згідно з Іммерманом , клас складності, пов'язаний із SQL- запитами, є саме класом безпечних запитів у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (запити першого порядку плюс оператор підрахунку): SQL фіксує безпечні запити. (Іншими словами, всі запити SQL мають складність у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} , а всі проблеми - у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} може бути виражений у вигляді SQL-запиту.) Виходячи …

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

Оператор заданої різниці (наприклад, EXCEPTу деяких варіантах SQL) є одним із багатьох фундаментальних операторів реляційної алгебри. Однак є деякі бази даних, які не підтримують оператора заданої різниці безпосередньо, але які підтримують LEFT JOIN(свого роду зовнішнє з'єднання), і на практиці це можна використовувати замість операції набору різниць для досягнення того ж …

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

Я намагаюся скласти велику картину щодо важливості найменш фіксованої точки (lfp) в аналізі програми. Наприклад, абстрактне тлумачення, здається, використовує існування lfp. Багато дослідницьких робіт з програмного аналізу також зосереджуються на пошуку найменш фіксованої точки. Більш конкретно, ця стаття у вікіпедії: Теорема Кнастера -Тарського зазначає, що lfp використовується для визначення семантики …

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