कोडेक का एल्गोरिथ्म टुपल रिलेशनल कैलकुलस में एक अभिव्यक्ति को रिलेशनल अल्जेब्रा में परिवर्तित करता है।
यह एक साल पहले SO पर पोस्ट किया गया था, लेकिन इसे एक अच्छा जवाब नहीं मिला।
जवाबों:
यह कमी रचनात्मक प्रमाण तकनीक है जो यह दर्शाती है कि एक सबसेट (सुरक्षित नाम) टपल रिलेशनल कैलकुलस (TRC) रिलेशनल बीजगणित (RA) की तुलना में कम अभिव्यंजक है। दूसरा तरीका भी सही है, सेफ-टीआरसी और आरए में समान अभिव्यंजक शक्ति है। उदाहरण के लिए प्रमेय 5.3.10 देखें । वाक्यविन्यास "सुरक्षा" प्रतिबंध से पथरी की डोमेन स्वतंत्र संपत्ति सुनिश्चित होती है और इसकी आवश्यकता होती है।
R-DBMS में, SQL को TRC के लिए ठोस (घोषित) भाषा के रूप में देखा जा सकता है। आरए समकक्ष प्रक्रियात्मक योजना (संचालन का एक क्रम) है जिसमें एक एसक्यूएल अभिव्यक्ति संकलित की जाती है। तो, रूपांतरण वास्तव में संकलन प्रक्रिया का औपचारिक विवरण है। ध्यान दें कि SQL DISTINCT, ORDER BY, GROUP BY जैसे एक्सटेंशन पेश करता है जो स्पष्ट रूप से TRC और RA सिद्धांत के दायरे से बाहर हैं।
मुझे रूपांतरण की सटीक सैद्धांतिक जटिलता का पता नहीं है, लेकिन स्पष्ट रूप से इसे "सस्ता" होना चाहिए। फोटॉन कोलाइटिस बताता है कि यह रैखिक है।
मैं इस एल्गोरिथ्म के एक सबूत की अवधारणा के कार्यान्वयन के बारे में पता नहीं हूँ।