A Compositional Language for Property Graphs
यह शोध पत्र एक नए कंपोजिशनल (compositional) भाषा का प्रस्ताव करके मानकीकृत ग्राफ क्वेरी भाषाओं GQL और SQL/PGQ में संरचनात्मकता (compositionality) की कमी को संबोधित करता है, जो अभिव्यक्ति के अंतराल को पाटने और नए ग्राफ तत्वों के निर्माण को सक्षम करने के लिए रेगुलर पाथ क्वेरीज़ को एक पूर्णतः कंपोजिशनल ग्राफ-टू-ग्राफ #Datalog एक्सटेंशन के साथ जोड़ती है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक मानचित्र का उपयोग करके अपने एक मित्र को निर्देश देने की कोशिश कर रहे हैं। डेटा की दुनिया में, इस मानचित्र को प्रॉपर्टी ग्राफ (Property Graph) कहा जाता है। यह बिंदुओं (लोग, खाते, उत्पाद) और रेखाओं (संबंध, स्थानांतरण, कनेक्शन) का एक नेटवर्क है जहाँ प्रत्येक बिंदु और रेखा के साथ छोटे नोट्स संलग्न किए जा सकते हैं, जैसे कि "बैलेंस" या "टाइमस्टैम्प"।
हाल ही में, इन मानचित्रों के बारे में प्रश्न पूछने के लिए दो नए आधिकारिक नियमपुस्तिकाएं बनाई गई हैं: GQL और SQL/PGQ। इन्हें आप डेटा को नेविगेट करने के लिए "ट्रैफिक नियमों" के रूप में समझ सकते हैं। इस शोध पत्र के लेखक तर्क देते हैं कि इन नई नियमपुस्तिकाओं में एक बड़ी खामी है: वे कंपोजिशनल (compositional) नहीं हैं।
समस्या: "टूटी हुई कड़ी" (The Broken Chain)
"कंपोजिशनैलिटी" को समझने के लिए, कागज की क्लिप्स (paperclips) की एक चेन बनाने की कल्पना करें।
- कंपोजिशनल (Compositional): आप एक तैयार चेन ले सकते हैं, उसके अंतिम लिंक को देख सकते हैं, और तुरंत उसमें अगला लिंक जोड़ सकते हैं। पूरी चीज़ जुड़ी रहती है।
- नॉन-कंपोजिशनल (Non-Compositional - वर्तमान समस्या): वर्तमान नियमपुस्तिकाओं में, यदि आप कनेक्शनों की एक चेन बनाते हैं और फिर उसके अंत में एक और लिंक जोड़ने की कोशिश करते हैं, तो सिस्टम पिछले लिंकों के विवरण भूल जाता है। यह ऐसा है जैसे आप एक चेन बनाने की कोशिश कर रहे हों, लेकिन हर बार जब आप एक नया लिंक जोड़ते हैं, तो सिस्टम पिछले वाले को छोड़ देता है और एक खाली स्लेट के साथ शुरू कर देता है।
वास्तविक दुनिया का उदाहरण:
शोध पत्र एक बैंकिंग उदाहरण देता है।
- आसान क्वेरी: "दो बैंक खाते खोजें जहाँ उनके बीच होने वाले प्रत्येक स्थानांतरण (transfer) के साथ पैसा बढ़ता जाता है।" वर्तमान नियमपुस्तिकाएं यह आसानी से कर सकती हैं।
- कठिन क्वेरी: "दो बैंक खाते खोजें जहाँ प्रत्येक चरण के साथ स्थानांतरण का समय बढ़ता जाता है।"
- मान लीजिए कि 11:00, 12:00, 1:00 और 2:00 बजे होने वाले स्थानांतरणों की एक श्रृंखला है।
- वर्तमान नियमपुस्तिकाएं यहाँ विफल हो जाती हैं। क्यों? क्योंकि जब वे अगले स्थानांतरण के समय की जाँच करने की कोशिश करती हैं, तो वे पिछले स्थानांतरण के समय की स्मृति खो देती हैं। वे पूरे बढ़ते हुए टाइमलाइन को देखने के लिए चरणों को एक साथ "गोंद" (glue) नहीं लगा पातीं।
यह अजीब है क्योंकि इन नियमपुस्तिकाओं को लगभग किसी भी तार्किक पहेली को हल करने के लिए पर्याप्त शक्तिशाली होना चाहिए (गणितीय रूप से, उन्हें "NLOGSPACE" समस्याओं को संभालना चाहिए), लेकिन यह सरल "बढ़ते समय" वाली पहेली उन्हें तोड़ देती है।
समाधान: दो नए उपकरण
लेखक इस टूटी हुई कड़ी को ठीक करने के लिए दो नए उपकरण प्रस्तावित करते हैं। इन्हें एक बेहतर कैंची और एक नए प्रकार के गोंद के रूप में समझें।
उपकरण 1: "सिमेट्रिक पाथ" (Symmetric Path - RPQVs)
वर्तमान में, नियमपुस्तिकाएं नोड्स (Nodes) (बिंदु) और एजेस (Edges) (रेखाओं) के साथ अलग-अलग व्यवहार करती हैं। यह एक ऐसे खेल की तरह है जहाँ आप केवल बिंदुओं पर कदम रख सकते हैं, लेकिन उनके बीच की रेखाएं अदृश्य हैं या अजीब व्यवहार करती हैं।
- सुधार: लेखक पथ लिखने का एक नया तरीका प्रस्तावित करते हैं जहाँ बिंदुओं और रेखाओं को समान माना जाता है। आप एक रेखा से शुरू कर सकते हैं, एक रेखा पर समाप्त कर सकते हैं, और सिस्टम हर एक कदम और उसके विवरण (जैसे समय या राशि) को याद रखता है बिना उसे छोड़े।
- उपमा: द्वीपों पर कूदने वाले खेल के बजाय, जहाँ आप अभी-अभी पार किए गए पुल को भूल जाते हैं, यह नया उपकरण आपको हर कदम का एक रनिंग डायरी बनाए रखते हुए पुलों पर चलने की अनुमति देता है।
उपकरण 2: "ग्राफ बिल्डर" (#Datalog)
कभी-कभी, किसी प्रश्न का उत्तर केवल एक पथ खोजना नहीं होता; बल्कि पुराने मानचित्र के आधार पर एक नया मानचित्र बनाना होता है।
- सुधार: लेखक #Datalog नामक एक भाषा पेश करते हैं। यह आपको एक क्वेरी के परिणामों को मानचित्र पर बिल्कुल नए बिंदुओं और रेखाओं में बदलने की अनुमति देता है।
- उपमा: कल्पना कीजिए कि आपके पास एक शहर का मानचित्र है। आप बढ़ती हुई ट्रैफ़िक वाली सभी सड़कों को ढूंढते हैं। केवल उन्हें सूचीबद्ध करने के बजाय, #Datalog आपको उन सड़कों को लेकर उन्हें जोड़ने वाला एक नया हाईवे भौतिक रूप से बनाने की अनुमति देता है। आप फिर इस नए हाईवे के बारे में प्रश्न पूछ सकते हैं।
- यह एक फीडबैक लूप बनाता है: आप मानचित्र पर क्वेरी करते हैं आप मानचित्र का एक नया हिस्सा बनाते हैं आप उस नए हिस्से पर क्वेरी करते हैं। वर्तमान नियमपुस्तिकाएं आपको नया हिस्सा बनाने की अनुमति नहीं देतीं; वे केवल पुराने को देखने देती हैं।
परिणाम: एक पूर्ण टूलकिट
इन दोनों उपकरणों को मिलाकर, लेखक दिखाते हैं कि आप अंततः ग्राफ के बारे में किसी भी तार्किक प्रश्न को पूछ सकते हैं जिसे एक कंप्यूटर उचित रूप से हल कर सकता है, बिना उन जटिल, धीमे वर्कअराउंड्स के जो कंप्यूटर को क्रैश कर देते हैं या घंटों तक चला देते हैं।
वे इन विशेषताओं को आधिकारिक GQL और SQL/PGQ मानकों में जोड़ने का प्रस्ताव देते हैं।
- बैकवर्ड कम्पैटिबिलिटी (Backward Compatibility): वे वादा करते हैं कि इन नए उपकरणों को जोड़ने से मौजूदा क्वेरीज़ नहीं टूटेंगी। यह राजमार्ग में एक नया लेन जोड़ने जैसा है; पुराने वाहन अभी भी पुराने लेन में चल सकते हैं, लेकिन अब उनके पास जटिल यात्राओं के लिए एक फास्ट लेन भी है।
- लक्ष्य: यह सुनिश्चित करना कि डेटा ग्राफ के लिए नियमपुस्तिकाएं तार्किक, सुसंगत और धोखाधड़ी का पता लगाने, आपूर्ति श्रृंखला (supply chains) और वित्तीय विश्लेषण जैसी जटिल तर्क प्रक्रियाओं को संभालने के लिए पर्याप्त शक्तिशाली हों।
संक्षेप में, शोध पत्र कहता है: "डेटा ग्राफ के लिए नए नियमपुस्तिकाओं में तर्क का एक प्रमुख हिस्सा गायब है जो अतीत को भुला देता है। हमने एक सरल, सुंदर समाधान डिजाइन किया है जो सिस्टम को पूरी यात्रा को याद रखने और चलते समय नए रास्ते बनाने की अनुमति देता है, जिससे यह भाषा पूर्ण और भविष्य के लिए तैयार हो जाती है।"
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।