Questions marquées «descriptive-complexity»

Extension de capture SQL

Selon Immerman , la classe de complexité associée aux requêtes SQL est exactement la classe des requêtes sécurisées dans (requêtes de premier ordre plus opérateur de comptage): SQL capture les requêtes sécurisées. (En d'autres termes, toutes les requêtes SQL ont une complexité dans , et tous les problèmes dans peuvent …

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

Les jointures peuvent-elles être parallélisées?

Supposons que nous voulons joindre deux relations sur un prédicat. Est-ce en NC? Je me rends compte qu'une preuve qu'il n'est pas en NC équivaudrait à une preuve que P≠ NCP≠NCP\not=NC , donc j'accepterais comme preuve un problème ouvert comme réponse. Je m'intéresse au cas général ainsi qu'aux cas spécifiques …

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

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.