«finite-model-theory» etiketlenmiş sorular

Bir çift çiftim var. Her çift, (x, y) formundadır, öyle ki, x, y, aralıktaki tam sayılara aittir [0,n). Yani, n 4 ise, o zaman aşağıdaki çiftleri var: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Zaten çiftlerim var. Şimdi, n/2tamsayıların hiçbirinin tekrarlanmayacağı şekilde çiftler kullanarak bir kombinasyon oluşturmam gerekiyor (başka bir deyişle, …

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 

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 

Set farkı operatörü (örneğin, EXCEPTbazı SQL varyantlarında) ilişkisel cebirin birçok temel operatöründen biridir. Bununla birlikte, set farkı operatörünü doğrudan desteklemeyen, ancak LEFT JOIN(bir tür dış birleşimi) destekleyen bazı veritabanları vardır ve pratikte bu, aynı etkiyi elde etmek için ayarlanmış bir fark işlemi yerine kullanılabilir. Bu, bir sorgu dilinin ifade gücünün, …

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

Program analizinde en az sabit nokta (lfp) 'nin önemi hakkında büyük bir resim elde etmeye çalışıyorum. Örneğin soyut yorum, lfp'nin varlığını kullanıyor gibi görünmektedir. Program analizi üzerine birçok araştırma makalesi de en az sabit noktayı bulmaya odaklanmaktadır. Daha spesifik olarak, wikipedia'daki bu makale: Knaster-Tarski Teoremi lfp'nin program semantiğini tanımlamak için …

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