Кортеж реляционное исчисление
Является безопасный кортеж реляционным исчислением Тьюринг полный язык?
2 ответа
Вам не должно делать ничего особенного для строки Отказ Струны Perl находятся в UTF-8 по умолчанию, начиная с Perl 5.8.
perl -CO -le 'print "\x{2603}"' | xargs perl -le 'print "I saw @ARGV"'
Код выше работает нормально на Ubuntu 9.04, OS X 10.6 и FreeBSD 7.
FallebsIlShrub поднимает хорошую точку, мы видим определенную разницу между
perl -Mutf8 -wle ';print utf8::is_utf8($ARGV[0]) ? "t" : "f"' a
и
perl -Mutf8 -CA -wle ';print utf8::is_utf8($ARGV[0]) ? "t" : "f"' a
Давайте забудем о безопасности. Произведением теорема Кодда , реляционный исчислений эквивалентен логикой первого порядка. Фол очень ограничен, он не может выразить тот факт, что есть маршрут от точки A до точки B в некоторых графике (он может выразить тот факт, что есть маршрут от точки A до точки B в ограниченной длине, например, ∃ x ∃y ∃z ∃t маршрут (a, x) и маршрут (x, y) и маршрут (y, z) и маршрут (z, t) и маршрут (t, b) означает быть маршрут длиной 4).
См. Описательная сложность для описания того, какова прочность разных логиков.
Согласно теорему Кодда , реляционная алгебра и реляционный исчислений эквивалентны. Общеизвестно, что реляционная алгебра не завершена, поэтому ни один реляционный исчислений.
[редактировать] Вы не можете, например, делать совокупные операции (такие как сумма, макс) или внесены рекурсивные запросы в реляционной алгебре / исчислении. Смотри здесь (около конца).