क्या SQL या यहां तक ​​कि TSQL ट्यूरिंग पूरा हो गया है?

Question

यह आज कार्यालय में आया। मेरे पास ऐसा कुछ करने की कोई योजना नहीं है, लेकिन सैद्धांतिक रूप से आप SQL में एक कंपाइलर लिख सकते हैं? पहली नज़र में यह मुझे पूरी तरह से सुकून देने वाला प्रतीत होता है, हालाँकि कई तरह की समस्याओं के लिए बेहद बोझिल है।

यदि यह पूरा नहीं हो रहा है, तो इसे बनने के लिए क्या करना होगा?

नोट: मुझे SQL में कंपाइलर लिखने जैसा कुछ भी करने की कोई इच्छा नहीं है, मुझे पता है कि यह एक मूर्खतापूर्ण बात होगी, इसलिए यदि हम उस चर्चा से बच सकते हैं तो मैं इसकी सराहना करूंगा।

Answer 1

यह पता चला है कि पीएल / एसक्यूएल या पीएसएम (जो सच प्रोग्रामिंग भाषाओं के लिए डिज़ाइन किए गए हैं, इसलिए यह थोरा धोखा है) के रूप में एसक्यूएल एक 'स्क्रिप्टिंग' एक्सटेंशन के बिना भी ट्यूरिंग पूरा हो सकता है।

में स्लाइड्स के इस सेट एंड्रयू Gierth साबित करता है कि साथ CTE और विंडोइंग एसक्यूएल पूरा ट्यूरिंग है एक का निर्माण करके, चक्रीय टैग प्रणाली है, जो पूरा ट्यूरिंग जा करने के लिए सिद्ध किया गया है। CTE फीचर हालांकि महत्वपूर्ण हिस्सा है - यह आपको नामित उप-अभिव्यक्तियों को बनाने की अनुमति देता है जो स्वयं को संदर्भित कर सकते हैं, और इस तरह पुनरावर्ती समस्याओं को हल कर सकते हैं।

ध्यान देने वाली बात यह है कि SQL को प्रोग्रामिंग लैंग्वेज में बदलने के लिए CTE को वास्तव में नहीं जोड़ा गया था - सिर्फ डिक्लेरेशन क्वेरी लैंग्वेज को अधिक शक्तिशाली डिक्लेयरेंट क्वैरींग लैंग्वेज में बदलने के लिए। सी ++ की तरह, जिनके टेम्प्लेट ट्यूरिंग पूर्ण हो गए, भले ही वे एक मेटा प्रोग्रामिंग भाषा बनाने के इरादे से नहीं थे।

ओह, SQL उदाहरण में मैंडलब्रॉट बहुत प्रभावशाली है, साथ ही :)

Comments

ओरेकल एसक्यूएल भी पूरी तरह से मरोड़ रहा है

— जेन्स

> यह पता चला है कि SQL को यह नहीं कहना चाहिए: यह पता चला है कि SQL: 1999? ऐसा सिर्फ इसलिए कह रहे हैं क्योंकि CTE को 99 के वर्जन में जोड़ा गया है और बहुत से लोग Sql 92 के साथ स्टैंडर्ड sql को जोड़ते हैं।

— Ernesto

@JensSchauder जिसे "Oracle $ तकनीक $ normal_good_feature के लिए सामान्यीकृत किया जा सकता है, हालाँकि एक बीमार तरीके से"

— रोब ग्रांट

यह 9 साल हो गया है, लेकिन यह दिलचस्प हो सकता है। beta.observablehq.com/@pallada-92/sql-3d-engine

— Loupax

Answer 2

एक दी गई प्रोग्रामिंग भाषा को ट्यूरिंग-पूर्ण कहा जाता है यदि यह दिखाया जा सकता है कि यह कम्प्यूटेशनल रूप से ट्यूरिंग मशीन के बराबर है।

TSQL पूरा हो रहा है क्योंकि हम TSQL में एक BrainFuck दुभाषिया बना सकते हैं ।

SQL में ब्रेनफैक दुभाषिया - GitHub

प्रदान किया गया कोड मेमोरी में काम करता है और एक डेटाबेस को संशोधित नहीं करता है।

-- Brain Fuck interpreter in SQL

DECLARE @Code  VARCHAR(MAX) = ', [>,] < [.<]'
DECLARE @Input VARCHAR(MAX) = '!dlroW olleH';

-- Creates a "BrainFuck" DataBase.
-- CREATE DATABASE BrainFuck;

-- Creates the Source code table
DECLARE @CodeTable TABLE (
    [Id]      INT IDENTITY(1,1) PRIMARY KEY NOT NULL,
    [Command] CHAR(1) NOT NULL
);

-- Populate the source code into CodeTable
DECLARE @CodeLen INT = LEN(@Code);
DECLARE @CodePos INT = 0;
DECLARE @CodeChar CHAR(1);

WHILE @CodePos < @CodeLen
BEGIN
    SET @CodePos  = @CodePos + 1;
    SET @CodeChar = SUBSTRING(@Code, @CodePos, 1);
    IF @CodeChar IN ('+', '-', '>', '<', ',', '.', '[', ']')
        INSERT INTO @CodeTable ([Command]) VALUES (@CodeChar)
END

-- Creates the Input table
DECLARE @InputTable TABLE (
    [Id]   INT IDENTITY(1,1) PRIMARY KEY NOT NULL,
    [Char] CHAR(1) NOT NULL
);

-- Populate the input text into InputTable
DECLARE @InputLen INT = LEN(@Input);
DECLARE @InputPos INT = 0;

WHILE @InputPos < @InputLen
BEGIN
    SET @InputPos = @InputPos + 1;
    INSERT INTO @InputTable ([Char])
    VALUES (SUBSTRING(@Input, @InputPos, 1))
END

-- Creates the Output table
DECLARE @OutputTable TABLE (
    [Id]   INT IDENTITY(1,1) PRIMARY KEY NOT NULL,
    [Char] CHAR(1) NOT NULL
);

-- Creates the Buffer table
DECLARE @BufferTable TABLE (
    [Id]     INT IDENTITY(1,1) PRIMARY KEY NOT NULL,
    [Memory] INT DEFAULT 0  NOT NULL
);
INSERT INTO @BufferTable ([Memory])
VALUES (0);

-- Initialization of temporary variables 
DECLARE @CodeLength INT = (SELECT COUNT(*) FROM @CodeTable);
DECLARE @CodeIndex  INT = 0;
DECLARE @Pointer    INT = 1;
DECLARE @InputIndex INT = 0;
DECLARE @Command    CHAR(1);
DECLARE @Depth      INT;

-- Main calculation cycle
WHILE @CodeIndex < @CodeLength
BEGIN
    -- Read the next command.
    SET @CodeIndex = @CodeIndex + 1;
    SET @Command = (SELECT [Command] FROM @CodeTable WHERE [Id] = @CodeIndex);

    -- Increment the pointer.
    IF @Command = '>'
    BEGIN
        SET @Pointer = @Pointer + 1;
        IF (SELECT [Id] FROM @BufferTable WHERE [Id] = @Pointer) IS NULL
            INSERT INTO @BufferTable ([Memory]) VALUES (0);
    END

    -- Decrement the pointer.
    ELSE IF @Command = '<'
        SET @Pointer = @Pointer - 1;

    -- Increment the byte at the pointer.
    ELSE IF @Command = '+'
        UPDATE @BufferTable SET [Memory] = [Memory] + 1 WHERE [Id] = @Pointer;

    -- Decrement the byte at the pointer.
    ELSE IF @Command = '-'
        UPDATE @BufferTable SET [Memory] = [Memory] - 1 WHERE [Id] = @Pointer;

    -- Output the byte at the pointer.
    ELSE IF @Command = '.'
        INSERT INTO @OutputTable ([Char]) (SELECT CHAR([Memory]) FROM @BufferTable WHERE [Id] = @Pointer);

    -- Input a byte and store it in the byte at the pointer.
    ELSE IF @Command = ','
    BEGIN
        SET @InputIndex = @InputIndex + 1;
        UPDATE @BufferTable SET [Memory] = COALESCE((SELECT ASCII([Char]) FROM @InputTable WHERE [Id] = @InputIndex), 0) WHERE [Id] = @Pointer;
    END

    -- Jump forward past the matching ] if the byte at the pointer is zero.
    ELSE IF @Command = '[' AND COALESCE((SELECT [Memory] FROM @BufferTable WHERE [Id] = @Pointer), 0) = 0
    BEGIN
        SET @Depth = 1;
        WHILE @Depth > 0
        BEGIN
            SET @CodeIndex = @CodeIndex + 1;
            SET @Command = (SELECT [Command] FROM @CodeTable WHERE [Id] = @CodeIndex);
            IF @Command = '[' SET @Depth = @Depth + 1;
            ELSE IF @Command = ']' SET @Depth = @Depth - 1;
        END
    END

    -- Jump backwards to the matching [ unless the byte at the pointer is zero.
    ELSE IF @Command = ']' AND COALESCE((SELECT [Memory] FROM @BufferTable WHERE [Id] = @Pointer), 0) != 0
    BEGIN
        SET @Depth = 1;
        WHILE @Depth > 0
        BEGIN
            SET @CodeIndex = @CodeIndex - 1;
            SET @Command = (SELECT [Command] FROM @CodeTable WHERE [Id] = @CodeIndex);
            IF @Command = ']' SET @Depth = @Depth + 1;
            ELSE IF @Command = '[' SET @Depth = @Depth - 1;
        END
    END
END;

-- Collects and prints the output
DECLARE @Output VARCHAR(MAX);
SELECT @Output = COALESCE(@Output, '') + [Char]
FROM @OutputTable;

PRINT @Output;
Go

Comments

यह ट्रांसेक्ट एसक्यूएल है जो ट्यूरिंग पूर्ण है, एएनएसआई एसक्यूएल मैं समझ गया कि टीसी नहीं है। लेकिन अच्छा प्रयास!

— alimack

Answer 3

https://web.archive.org/web/20110807062050/http://channel9.msdn.com/forums/TechOff/431432-SQL-Turing-Completeness-question

इस विषय की चर्चा है। एक बोली:

SQL के रूप में इस तरह (यानी SQL92 मानक) पूरा नहीं हो रहा है। हालाँकि, SQL से निकली कई भाषाएं, जैसे कि Oracle का PL / SQL और SQL सर्वर का T-SQL और अन्य पूरा ट्यूरिंग हैं।

PL / SQL और T-SQL निश्चित रूप से प्रोग्रामिंग भाषाओं के रूप में अर्हता प्राप्त करते हैं, चाहे SQL92 ही योग्य हो बहस के लिए खुला है। कुछ लोग दावा करते हैं कि कोई भी कोड जो कंप्यूटर को बताता है कि उसे प्रोग्रामिंग भाषा के रूप में क्या करना है; उस परिभाषा के द्वारा SQL92 एक है, लेकिन ऐसा HTML है। परिभाषा बल्कि अस्पष्ट है, और इसके बारे में बहस करने के लिए एक व्यर्थ बात है।

Answer 4

कड़ाई से बोलते हुए, SQL अब एक संपूर्ण भाषा है क्योंकि नवीनतम SQL मानक में "स्थायी संग्रहित मॉड्यूल" (PSMV) शामिल है। संक्षेप में, एक पीएसएम ओरेकल में पीएल / एसक्यूएल भाषा का मानक संस्करण है (और वर्तमान डीबीएमएस के अन्य समान प्रक्रियात्मक विस्तार)।

इन PSM के समावेश के साथ, SQL पूर्ण रूप से ट्यूरिंग बन गया

Answer 5

मूल रूप से SQL-86 में परिभाषित एक ANSI चयन कथन पूरा नहीं हो रहा है क्योंकि यह हमेशा समाप्त हो जाता है (केवल पुनरावर्ती CTE को छोड़कर और केवल यदि कार्यान्वयन मनमाने ढंग से गहरी पुनरावृत्ति का समर्थन करता है)। इसलिए किसी भी अन्य ट्यूरिंग मशीन का अनुकरण करना संभव नहीं है। संग्रहित प्रक्रियाएँ पूर्ण होती हैं लेकिन धोखा देती हैं ;-)

Answer 6

Oracle का PLSQL और Microsoft का TSQL दोनों पूर्ण रूप से ट्यूरिंग कर रहे हैं। ओरेकल का चुनिंदा बयान भी पूरा हो गया है।