Запитання з тегом «descriptive-complexity»

Згідно з Іммерманом , клас складності, пов'язаний із 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 

Припустимо, ми хочемо з'єднати два стосунки за присудком. Це в NC? Я усвідомлюю, що доказ того, що його немає в NC, буде означати доказ того, що , тому я б прийняв докази, що це відкрита проблема як відповідь.П≠ NСP≠NCP\not=NC Мене цікавлять загальний випадок, а також конкретні випадки (наприклад, можливо, з …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity