«descriptive-complexity» etiketlenmiş sorular

Göre Immerman ile ilişkili karmaşıklığı sınıfı , SQL sorgularını sınıfı tam olarak güvenli sorgu olarak , SQL yakalar güvenli sorgular: (birinci derece sorgular artı sayma) sayılabilir. (Başka bir deyişle, tüm SQL sorguları Q ( F O ( C O U N T ) ) ve Q ( F O ( …

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

Varsayalım ki iki ilişkide bir yüklem üzerine katılmak istiyoruz. Bu NC'de mi? NC'de olmadığına dair bir kanıtın, P≠NCP≠NCP\not=NC, bu yüzden açık bir sorun olduğuna dair kanıtları bir cevap olarak kabul ediyorum. Genel durumun yanı sıra belirli vakalarla da ilgileniyorum (örneğin, belki bazı belirli veri yapısı ile paralelleştirilebilir). EDIT: Bu yazıya …

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