Pytania otagowane jako descriptive-complexity

Rozszerzenie przechwytywania SQL

Według Immermana klasa złożoności powiązana z zapytaniami SQL jest dokładnie klasą bezpiecznych zapytań w (zapytania pierwszego rzędu plus operator zliczania): SQL przechwytuje bezpieczne zapytania. (Innymi słowy, wszystkie zapytania SQL mają złożoność w , a wszystkie problemy w mogą być wyrażone jako zapytanie SQL).Q ( F O ( C O U …

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

Czy sprzężenia mogą być równoległe?

Załóżmy, że chcemy połączyć dwie relacje w predykacie. Czy to jest w NC? Zdaję sobie sprawę, że dowód, że nie ma go w NC, będzie równoznaczny z dowodem, że , więc przyjmuję dowód, że jest to otwarty problem jako odpowiedź.P≠NCP≠NCP\not=NC Interesuje mnie zarówno ogólny przypadek, jak i konkretne przypadki (np. …

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

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.

Licensed under cc by-sa 3.0 with attribution required.