tuple العلائقية calculus.

Question

هل التطفيل الآمن Calculus العلائقية لغة تورصة لغة كاملة؟

Answer 1

دعونا ننسى السلامة. بواسطة نظرية CODD., ، حساب التفاضل والتكامل العلائقية تعادل منطق النظام الأول. فولت محدودة للغاية، لا يمكن أن تعبر عن حقيقة أن هناك طريق من نقطة من النقطة أ إلى النقطة ب X ∃y ∃z ∃t Route (A، X) والمسار (X، Y) والمسار (Y، Z) والمسار (Z، T) والمسار (T، B) يعني وجود طريق الطول 4).

يرى تعقيد وصفية للحصول على وصف لما هو قوة منطق مختلف.

Answer 2

وفق نظرية CODD., والجبر العلائقية والتحول الدراسي العلائقية هي مكافئة. ومن المعروف أن الجبر العلائقية ليست تورينج كاملة، لذلك لا يكون حساب التفاضل والتكامل العلائقية.

يحرر لا يمكنك، على سبيل المثال، القيام بعمليات إجمالية (مثل SUM أو MAX) أو إجراء استفسارات متكررة في الجبر / حساب التفاضل والتكامل. يرى هنا (بالقرب من النهاية).