SQL कथन, फ़ंक्शंस, और संग्रहीत कार्यविधियों की शुद्धता का परीक्षण / सत्यापन करने के लिए साक्ष्य के रूप में संबंधपरक बीजगणित और / या संबंधपरक कलन का उपयोग करना संभव है या संभव है?
मुझे ऐसा लगता है कि यह कम से कम संभव होना चाहिए, लेकिन मुझे नहीं पता कि क्या कोई ऐसा विवरण है जो मुझे याद आ रहा है जो सबूत और कोड के बीच 1: 1 मैपिंग को गलत बनाता है।
क्या आप में से किसी ने इस तरह से एक विधि की कोशिश की है? काम किया? आपके अनुभव क्या थे?
2
कृपया मेरे बाद दोहराएं: एसक्यूएल संबंधपरक नहीं है।
—
हिरण हंटर