Bu ofiste bugün geldi. Böyle bir şey yapma planım yok, ama teorik olarak SQL derleyici yazabilir misiniz? İlk bakışta bana turing tam, sorunların çoğu sınıflar için son derece hantal olsa görünüyor.

Eğer turing tamamlamak olup olmadığını, öyle olmak için neler gerekecek?

Not: SQL derleyici yazmak gibi bir şey yapmak gibi bir niyetim yok, aptalca bir şey olacağını biliyorum, eğer bu tartışmayı önlemek yapabilirsek çok sevinirim.

Bu çıkıyor SQL olabilir Turing Tam olmasa bile gerçek bir 'komut dosyası' uzantısı gibi PL/SQL veya PSM (tasarlanmış olması doğru programlama dilleri, bu yüzden biraz hile).

this set of slides Andrew Gierth gösteriyor ki, CTE ve Pencere SQL ile Turing Tam bir inşa Turing Tam kanıtlanmıştır cyclic tag system tarafından. CTE özelliği ancak -- görmek için izin verir kendilerini başvurabilir alt ifadeler adında, ve böylece ardışık sorunları çözmek önemli parçasıdır.

Dikkat çekici şey CTE gerçekten bir programlama dili sadece daha güçlü bir açıklayıcı bir dil kullanır sorgulama içine Bildirge sorgulama dili çevirmek için -- SQL açmak için eklenmiştir. Meta programlama dili yaratmak niyetinde değillerdi rağmen tam Turing olmuştu C , gibi.

Oh, Mandelbrot set in SQL örnek çok etkileyici, iyi :)