डेटालॉग: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 4 users not shown)
Line 15: Line 15:
| wikibooks =  
| wikibooks =  
}}
}}
Datalog एक [[ घोषणात्मक प्रोग्रामिंग ]] [[ तर्क प्रोग्रामिंग ]] लैंग्वेज है। हालांकि यह सिंटैक्टिक रूप से [[प्रोलॉग]] का सबसेट है, लेकिन सूचीपत्र आम तौर पर टॉप-डाउन मूल्यांकन मॉडल के बजाय नीचे-ऊपर का उपयोग करता है। यह अंतर प्रोलॉग से काफी भिन्न व्यवहार और गुण उत्पन्न करता है। यह अक्सर [[ कटौतीत्मक डेटाबेस ]] के लिए [[ पूछताछ भाषा ]] के रूप में उपयोग किया जाता है। Datalog को [[डेटा एकीकरण]], [[ संगणक संजाल ]], [[ कार्यक्रम विश्लेषण ]], और बहुत कुछ में समस्याओं के लिए लागू किया गया है।
'''डेटालॉग''' एक [[ घोषणात्मक प्रोग्रामिंग |घोषणात्मक प्रोग्रामिंग]] [[ तर्क प्रोग्रामिंग |तर्क प्रोग्रामिंग]] लैंग्वेज है। चूंकि यह सिंटैक्टिक रूप से [[प्रोलॉग]] का सबसेट है, लेकिन सूचीपत्र सामान्यतः टॉप-डाउन मूल्यांकन मॉडल के अतिरिक्त नीचे-ऊपर का उपयोग करता है। यह अंतर प्रोलॉग से काफी भिन्न व्यवहार और गुण उत्पन्न करता है। यह अधिकांशतः [[ कटौतीत्मक डेटाबेस |कटौतीत्मक डेटाबेस]] के लिए [[ पूछताछ भाषा |पूछताछ भाषा]] के रूप में उपयोग किया जाता है। डेटालॉग को [[डेटा एकीकरण]], [[ संगणक संजाल |संगणक संजाल]] , [[ कार्यक्रम विश्लेषण |कार्यक्रम विश्लेषण]] , और बहुत कुछ में समस्याओं के लिए लागू किया गया है।


== उदाहरण ==
== उदाहरण ==


एक सूची कार्यक्रम में तथ्य शामिल होते हैं, जो ऐसे कथन होते हैं जिन्हें सत्य माना जाता है, और नियम, जो कहते हैं कि ज्ञात तथ्यों से नए तथ्यों को कैसे निकाला जाए। उदाहरण के लिए, यहां दो तथ्य दिए गए हैं, जिसका अर्थ है कि जेर्सेस ब्रुक का जनक है और ब्रुक डैमोकल्स का जनक है:
एक सूची कार्यक्रम में तथ्य सम्मलित होते हैं, जो ऐसे कथन होते हैं जिन्हें सत्य माना जाता है, और नियम, जो कहते हैं कि ज्ञात तथ्यों से नए तथ्यों को कैसे निकाला जाए। उदाहरण के लिए, यहां दो तथ्य दिए गए हैं, जिसका अर्थ है कि जेर्सेस ब्रुक का जनक है और ब्रुक डैमोकल्स का जनक है:
<syntaxhighlight lang="prolog">
<syntaxhighlight lang="prolog">
parent(xerces, brooke).
parent(xerces, brooke).
parent(brooke, damocles).
parent(brooke, damocles).
</syntaxhighlight>
</syntaxhighlight>
नाम लोअरकेस में लिखे गए हैं क्योंकि अपरकेस अक्षर से शुरू होने वाले तार वेरिएबल्स के लिए खड़े होते हैं। यहाँ दो नियम हैं:
नाम लोअरकेस में लिखे गए हैं क्योंकि अपरकेस अक्षर से प्रारंभ होने वाले तार वेरिएबल्स के लिए खड़े होते हैं। यहाँ दो नियम हैं:
<syntaxhighlight lang="prolog">
<syntaxhighlight lang="prolog">
ancestor(X, Y) :- parent(X, Y).
ancestor(X, Y) :- parent(X, Y).
Line 41: Line 41:
ancestor(xerces, damocles).
ancestor(xerces, damocles).
</syntaxhighlight>
</syntaxhighlight>
कुछ Datalog कार्यान्वयन सभी संभावित तथ्यों को नहीं निकालते हैं, बल्कि प्रश्नों का उत्तर देते हैं:
कुछ डेटालॉग कार्यान्वयन सभी संभावित तथ्यों को नहीं निकालते हैं, बल्कि प्रश्नों का उत्तर देते हैं:
<syntaxhighlight lang="prolog">
<syntaxhighlight lang="prolog">
?- ancestor(xerces, X).
?- ancestor(xerces, X).
</syntaxhighlight>
</syntaxhighlight>
यह क्वेरी पूछती है: वे सभी X कौन हैं जो xerces के पूर्वज हैं? इस उदाहरण के लिए, यह ब्रुक और डैमोकल्स लौटाएगा।
यह क्वेरी पूछती है: वे सभी X कौन हैं जो जर्सीज के पूर्वज हैं? इस उदाहरण के लिए, यह ब्रुक और डैमोकल्स लौटाएगा।


== [[ संबंध का डेटाबेस ]] से तुलना ==
== [[ संबंध का डेटाबेस | संबंध का डेटाबेस]] से समानता ==


Datalog का गैर-पुनरावर्ती सबसेट संबंधपरक डेटाबेस, जैसे [[SQL]] के लिए क्वेरी भाषाओं से निकटता से संबंधित है। Datalog, संबंधपरक बीजगणित और SQL अवधारणाओं के बीच निम्न तालिका मानचित्र:
डेटालॉग का गैर-पुनरावर्ती सबसेट संबंधपरक डेटाबेस, जैसे [[SQL]] के लिए क्वेरी भाषाओं से निकटता से संबंधित है। डेटालॉग, संबंधपरक बीजगणित और SQL अवधारणाओं के बीच निम्न तालिका मानचित्र:


{| class="wikitable"
{| class="wikitable"
|-
|-
! Datalog !! Relational algebra !! SQL
!डेटालॉग
!संबंधपरक बीजगणित
! SQL
|-
|-
| Relation || Relation || [[Table (database)|Table]]
|संबंध
|संबंध
| [[Table (database)|Table]]
|-
|-
| Fact || [[Tuple]] || [[Row (database)|Row]]
| Fact || [[Tuple|टपल]] || [[Row (database)|Row]]
|-
|-
| Rule || n/a || [[Materialized view]]
|नियम
| n/a || [[Materialized view|भौतिक दृश्य]]
|-
|-
| Query || Select || [[Database query|Query]]
|क्वैरी
| Select || [[Database query|Query]]
|}
|}
अधिक औपचारिक रूप से, गैर-पुनरावर्ती Datalog [[संयोजक प्रश्नों के संघ]]ों, या समकक्ष, निषेध-मुक्त संबंधपरक बीजगणित के सटीक रूप से मेल खाता है।
अधिक औपचारिक रूप से, गैर-पुनरावर्ती डेटालॉग [[संयोजक प्रश्नों के संघ]], या समकक्ष, निषेध-मुक्त संबंधपरक बीजगणित के सटीक रूप से मेल खाता है।


{{Collapse top|title=Schematic translation from non-recursive Datalog into SQL}}
{{Collapse top|title=Schematic translation from non-recursive Datalog into SQL}}
Line 104: Line 110:
<term-list> ::= <term> | <term> "," <term-list> | ""
<term-list> ::= <term> | <term> "," <term-list> | ""
</syntaxhighlight>
</syntaxhighlight>
परमाणु भी कहा जाता है {{dfni|literals}}. के बाईं ओर परमाणु <code>:-</code> प्रतीक कहा जाता है {{dfni|head}} नियम; दाईं ओर परमाणु हैं {{dfni|body}}. प्रत्येक डेटालॉग प्रोग्राम को इस शर्त को पूरा करना चाहिए कि नियम के शीर्ष में दिखाई देने वाला प्रत्येक चर शरीर में भी प्रकट होता है (इस स्थिति को कभी-कभी कहा जाता है {{dfni|range restriction}}).{{sfn|Ceri|Gottlob|Tanca|1989|p=146}}<ref>{{Cite journal |last1=Eisner |first1=Jason |last2=Filardo |first2=Nathaniel W. |date=2011 |editor-last=de Moor |editor-first=Oege |editor2-last=Gottlob |editor2-first=Georg |editor3-last=Furche |editor3-first=Tim |editor4-last=Sellers |editor4-first=Andrew |title=Dyna: Extending Datalog for Modern AI |url=https://link.springer.com/chapter/10.1007/978-3-642-24206-9_11 |journal=Datalog Reloaded |series=Lecture Notes in Computer Science |volume=6702 |language=en |location=Berlin, Heidelberg |publisher=Springer |pages=181–220 |doi=10.1007/978-3-642-24206-9_11 |isbn=978-3-642-24206-9}}</ref>
परमाणु भी कहा जाता है {{dfni|शाब्दिक}}. के बाईं ओर परमाणु <code>:-</code> प्रतीक कहा जाता है {{dfni|head}} नियम; दाईं ओर परमाणु हैं {{dfni|body}}. प्रत्येक डेटालॉग प्रोग्राम को इस शर्त को पूरा करना चाहिए कि नियम के शीर्ष में दिखाई देने वाला प्रत्येक चर शरीर में भी प्रकट होता है (इस स्थिति को कभी-कभी कहा जाता है {{dfni|सीमा प्रतिबंध}}).{{sfn|Ceri|Gottlob|Tanca|1989|p=146}}<ref>{{Cite journal |last1=Eisner |first1=Jason |last2=Filardo |first2=Nathaniel W. |date=2011 |editor-last=de Moor |editor-first=Oege |editor2-last=Gottlob |editor2-first=Georg |editor3-last=Furche |editor3-first=Tim |editor4-last=Sellers |editor4-first=Andrew |title=Dyna: Extending Datalog for Modern AI |url=https://link.springer.com/chapter/10.1007/978-3-642-24206-9_11 |journal=Datalog Reloaded |series=Lecture Notes in Computer Science |volume=6702 |language=en |location=Berlin, Heidelberg |publisher=Springer |pages=181–220 |doi=10.1007/978-3-642-24206-9_11 |isbn=978-3-642-24206-9}}</ref>
 
वेरिएबल नामों के लिए दो सामान्य परंपराएं हैं: वेरिएबल्स को बड़ा करना, या उन्हें एक प्रश्न चिह्न के साथ उपसर्ग करना <code>?</code>.<ref>{{Citation |last1=Maier |first1=David |title=Datalog: concepts, history, and outlook |date=2018-09-01 |url=https://doi.org/10.1145/3191315.3191317 |work=Declarative Logic Programming: Theory, Systems, and Applications |volume=20 |pages=3–100 |publisher=Association for Computing Machinery and Morgan & Claypool |doi=10.1145/3191315.3191317 |isbn=978-1-970001-99-0 |access-date=2023-03-02 |last2=Tekle |first2=K. Tuncay |last3=Kifer |first3=Michael |last4=Warren |first4=David S.|s2cid=69379310 }}</ref>
वेरिएबल नामों के लिए दो सामान्य परंपराएं हैं: वेरिएबल्स को बड़ा करना, या उन्हें एक प्रश्न चिह्न के साथ उपसर्ग करना <code>?</code>.<ref>{{Citation |last1=Maier |first1=David |title=Datalog: concepts, history, and outlook |date=2018-09-01 |url=https://doi.org/10.1145/3191315.3191317 |work=Declarative Logic Programming: Theory, Systems, and Applications |volume=20 |pages=3–100 |publisher=Association for Computing Machinery and Morgan & Claypool |doi=10.1145/3191315.3191317 |isbn=978-1-970001-99-0 |access-date=2023-03-02 |last2=Tekle |first2=K. Tuncay |last3=Kifer |first3=Michael |last4=Warren |first4=David S.|s2cid=69379310 }}</ref>
ध्यान दें कि इस परिभाषा के तहत, Datalog करता है {{em|not}} निषेध और न ही समुच्चय शामिल करें; देखना {{section link||Extensions}} उन निर्माणों के बारे में अधिक जानकारी के लिए।
 
ध्यान दें कि इस परिभाषा के तहत, डेटालॉग करता है {{em|not}} निषेध और न ही समुच्चय सम्मलित करें; देखना {{section link||एक्सटेंशन}} उन निर्माणों के बारे में अधिक जानकारी के लिए।


खाली शरीर वाले नियम कहलाते हैं {{dfni|facts}}. उदाहरण के लिए, निम्नलिखित नियम एक तथ्य है:
खाली शरीर वाले नियम कहलाते हैं {{dfni|facts}}. उदाहरण के लिए, निम्नलिखित नियम एक तथ्य है:
Line 112: Line 120:
r(x) :- .
r(x) :- .
</syntaxhighlight>
</syntaxhighlight>
तथ्यों के समुच्चय को कहा जाता है {{dfni|extensional database}} या {{dfni|EDB}} Datalog कार्यक्रम के। डाटालॉग प्रोग्राम का मूल्यांकन करके गणना किए गए टुपल्स के सेट को कहा जाता है {{dfni|intensional database}} या {{dfni|IDB}}.
तथ्यों के समुच्चय को कहा जाता है {{dfni|विस्तारक डेटाबेस}} या {{dfni|EDB}} डेटालॉग कार्यक्रम के। डाटालॉग प्रोग्राम का मूल्यांकन करके गणना किए गए टुपल्स के सेट को कहा जाता है {{dfni|गहन डेटाबेस}} या {{dfni|IDB}}.


=== सिंथेटिक चीनी ===
=== सिंथेटिक चीनी ===


लॉजिक प्रोग्रामिंग के कई कार्यान्वयन उपरोक्त व्याकरण का विस्तार करते हैं ताकि बिना तथ्यों को लिखने की अनुमति मिल सके <code>:-</code>, जैसे इतना:
लॉजिक प्रोग्रामिंग के कई कार्यान्वयन उपरोक्त व्याकरण का विस्तार करते हैं जिससे बिना तथ्यों को लिखने की अनुमति मिल सके <code>:-</code>, जैसे इतना:


<syntaxhighlight lang="prolog">
<syntaxhighlight lang="prolog">
Line 126: Line 134:
p :- q.
p :- q.
</syntaxhighlight>
</syntaxhighlight>
ये केवल संक्षिप्त रूप हैं ([[सिंटैक्टिक चीनी]]); कार्यक्रम के शब्दार्थ पर उनका कोई प्रभाव नहीं है।
ये एकमात्र संक्षिप्त रूप हैं ([[सिंटैक्टिक चीनी]]); कार्यक्रम के शब्दार्थ पर उनका कोई प्रभाव नहीं है।


== शब्दार्थ ==
== शब्दार्थ ==


{{main|Syntax and semantics of logic programming}}
{{main|लॉजिक प्रोग्रामिंग का सिंटैक्स और सिमेंटिक्स}}
{{Sidebar
{{Sidebar
| title = Herbrand universe, base, and model of a Datalog program
| title = Herbrand universe, base, and model of a Datalog program
Line 153: Line 161:
}}
}}


Datalog प्रोग्राम के शब्दार्थ के लिए तीन व्यापक रूप से उपयोग किए जाने वाले दृष्टिकोण हैं: [[मॉडल सिद्धांत]] | मॉडल-सैद्धांतिक, [[निश्चित बिंदु (गणित)]] | निश्चित-बिंदु, और प्रूफ-सैद्धांतिक शब्दार्थ | प्रूफ-सैद्धांतिक। इन तीन दृष्टिकोणों को समकक्ष सिद्ध किया जा सकता है।<ref>{{Cite journal |last1=Van Emden |first1=M. H. |last2=Kowalski |first2=R. A. |date=1976-10-01 |title=एक प्रोग्रामिंग भाषा के रूप में विधेय तर्क का शब्दार्थ|url=https://doi.org/10.1145/321978.321991 |journal=Journal of the ACM |volume=23 |issue=4 |pages=733–742 |doi=10.1145/321978.321991 |s2cid=11048276 |issn=0004-5411}}</ref>
डेटालॉग प्रोग्राम के शब्दार्थ के लिए तीन व्यापक रूप से उपयोग किए जाने वाले दृष्टिकोण हैं: [[मॉडल सिद्धांत]] | मॉडल-सैद्धांतिक, [[निश्चित बिंदु (गणित)]] | निश्चित-बिंदु, और प्रूफ-सैद्धांतिक शब्दार्थ | प्रूफ-सैद्धांतिक। इन तीन दृष्टिकोणों को समकक्ष सिद्ध किया जा सकता है।<ref>{{Cite journal |last1=Van Emden |first1=M. H. |last2=Kowalski |first2=R. A. |date=1976-10-01 |title=एक प्रोग्रामिंग भाषा के रूप में विधेय तर्क का शब्दार्थ|url=https://doi.org/10.1145/321978.321991 |journal=Journal of the ACM |volume=23 |issue=4 |pages=733–742 |doi=10.1145/321978.321991 |s2cid=11048276 |issn=0004-5411}}</ref>
परमाणु कहा जाता है {{dfni|[[Ground atom|ground]]}} यदि इसका कोई उपपद चर नहीं है। सहज रूप से, प्रत्येक शब्दार्थ एक कार्यक्रम के अर्थ को परिभाषित करता है, जो कि सभी जमीनी परमाणुओं का समूह होता है, जिसे तथ्यों से शुरू करके, कार्यक्रम के नियमों से घटाया जा सकता है।
 
परमाणु कहा जाता है {{dfni|[[जमीन परमाणु|जमीन]]}} यदि इसका कोई उपपद चर नहीं है। सहज रूप से, प्रत्येक शब्दार्थ एक कार्यक्रम के अर्थ को परिभाषित करता है, जो कि सभी जमीनी परमाणुओं का समूह होता है, जिसे तथ्यों से प्रारंभ करके, कार्यक्रम के नियमों से घटाया जा सकता है।


=== मॉडल सैद्धांतिक ===
=== मॉडल सैद्धांतिक ===


एक नियम को ग्राउंड कहा जाता है यदि इसके सभी परमाणु (सिर और शरीर) ग्राउंड होते हैं। एक बुनियादी नियम आर<sub>1</sub> दूसरे नियम R का एक जमीनी उदाहरण है<sub>2</sub> अगर आर<sub>1</sub> आर में सभी चर के लिए स्थिरांक के [[प्रतिस्थापन (तर्क)]] का परिणाम है<sub>2</sub>. डाटालॉग प्रोग्राम का [[हरब्रांड बेस]] सभी जमीनी परमाणुओं का सेट है जो प्रोग्राम में दिखाई देने वाले स्थिरांक के साथ बनाया जा सकता है। {{dfni|Herbrand model}el}} एक डेटालॉग प्रोग्राम का सबसे छोटा उपसमुच्चय है, जैसे कि कार्यक्रम में प्रत्येक नियम के प्रत्येक आधार उदाहरण के लिए, यदि नियम के शरीर में परमाणु सेट में हैं, तो सिर भी है।{{sfn|Ceri|Gottlob|Tanca|1989|p=149}} मॉडल-सैद्धांतिक शब्दार्थ कार्यक्रम के अर्थ के रूप में न्यूनतम हेरब्रांड मॉडल को परिभाषित करता है।
एक नियम को ग्राउंड कहा जाता है यदि इसके सभी परमाणु (सिर और शरीर) ग्राउंड होते हैं। एक बुनियादी नियम R<sub>1</sub> दूसरे नियम R<sub>2</sub> का एक जमीनी उदाहरण है यदि R<sub>1</sub> R<sub>2</sub> में सभी चर के लिए स्थिरांक के [[प्रतिस्थापन (तर्क)]] का परिणाम है. डाटालॉग प्रोग्राम का [[हरब्रांड बेस]] सभी जमीनी परमाणुओं का सेट है जो प्रोग्राम में दिखाई देने वाले स्थिरांक के साथ बनाया जा सकता है। {{dfni|हरब्रांड मॉडल} एल}} एक डेटालॉग प्रोग्राम का सबसे छोटा उपसमुच्चय है, जैसे कि कार्यक्रम में प्रत्येक नियम के प्रत्येक आधार उदाहरण के लिए, यदि नियम के शरीर में परमाणु सेट में हैं, तो सिर भी है।{{sfn|Ceri|Gottlob|Tanca|1989|p=149}} मॉडल-सैद्धांतिक शब्दार्थ कार्यक्रम के अर्थ के रूप में न्यूनतम हेरब्रांड मॉडल को परिभाषित करता है।


=== फिक्स्ड-पॉइंट ===
=== फिक्स्ड-पॉइंट ===


होने देना {{mvar|I}} कार्यक्रम पी के हरब्रांड आधार का [[ सत्ता स्थापित ]] हो। पी के लिए तत्काल परिणाम ऑपरेटर एक मानचित्र है {{mvar|T}} से {{mvar|I}} को {{mvar|I}} जो एक ही चरण में कार्यक्रम के नियमों से प्राप्त किए जा सकने वाले सभी नए जमीनी परमाणुओं को जोड़ता है। कम से कम निश्चित बिंदु शब्दार्थ कम से कम निश्चित बिंदु को परिभाषित करता है {{mvar|T}} कार्यक्रम का अर्थ होना; यह न्यूनतम हरब्रांड मॉडल के साथ मेल खाता है।{{sfn|Ceri|Gottlob|Tanca|1989|p=150}}
फिक्स्ड-पॉइंट होने देना {{mvar|I}} कार्यक्रम P के हरब्रांड आधार का [[ सत्ता स्थापित |सत्ता स्थापित]] हो। P के लिए तत्काल परिणाम ऑपरेटर एक मानचित्र है {{mvar|T}} से {{mvar|I}} को {{mvar|I}} जो एक ही चरण में कार्यक्रम के नियमों से प्राप्त किए जा सकने वाले सभी नए जमीनी परमाणुओं को जोड़ता है। कम से कम निश्चित बिंदु शब्दार्थ कम से कम निश्चित बिंदु को परिभाषित करता है {{mvar|T}} कार्यक्रम का अर्थ होना; यह न्यूनतम हरब्रांड मॉडल के साथ मेल खाता है।{{sfn|Ceri|Gottlob|Tanca|1989|p=150}}


[[fixpoint]] सिमेंटिक्स न्यूनतम मॉडल की गणना के लिए एक एल्गोरिथ्म का सुझाव देता है: कार्यक्रम में जमीनी तथ्यों के सेट के साथ शुरू करें, फिर एक निश्चित बिंदु तक पहुंचने तक नियमों के परिणामों को बार-बार जोड़ें। इस एल्गोरिद्म को #भोला मूल्यांकन|भोला मूल्यांकन कहा जाता है।
[[fixpoint|फ़िक्सप्वाइंट]] सिमेंटिक्स न्यूनतम मॉडल की गणना के लिए एक एल्गोरिथ्म का सुझाव देता है: कार्यक्रम में जमीनी तथ्यों के सेट के साथ प्रारंभ करें, फिर एक निश्चित बिंदु तक पहुंचने तक नियमों के परिणामों को बार-बार जोड़ें। इस एल्गोरिद्म को भोला मूल्यांकन कहा जाता है।


=== प्रमाण-सैद्धांतिक ===
=== प्रमाण-सैद्धांतिक ===
Line 181: Line 190:
]]प्रूफ-सैद्धांतिक शब्दार्थ एक डेटालॉग प्रोग्राम के अर्थ को संबंधित प्रूफ ट्री के साथ तथ्यों के सेट के रूप में परिभाषित करता है। सहज रूप से, एक प्रूफ ट्री दिखाता है कि किसी प्रोग्राम के तथ्यों और नियमों से तथ्य कैसे प्राप्त किया जाए।
]]प्रूफ-सैद्धांतिक शब्दार्थ एक डेटालॉग प्रोग्राम के अर्थ को संबंधित प्रूफ ट्री के साथ तथ्यों के सेट के रूप में परिभाषित करता है। सहज रूप से, एक प्रूफ ट्री दिखाता है कि किसी प्रोग्राम के तथ्यों और नियमों से तथ्य कैसे प्राप्त किया जाए।


किसी को यह जानने में दिलचस्पी हो सकती है कि क्या एक विशेष जमीनी परमाणु एक सूची कार्यक्रम के न्यूनतम हरब्रांड मॉडल में दिखाई देता है या नहीं, शायद बाकी मॉडल के बारे में ज्यादा परवाह किए बिना। ऊपर वर्णित प्रूफ ट्री का टॉप-डाउन रीडिंग ऐसे प्रश्नों के परिणामों की गणना के लिए एक एल्गोरिथ्म का सुझाव देता है। यह पठन [[एसएलडी संकल्प]] एल्गोरिदम को सूचित करता है, जो प्रोलॉग के मूल्यांकन के लिए आधार बनाता है।
किसी को यह जानने में दिलचस्पी हो सकती है कि क्या एक विशेष जमीनी परमाणु एक सूची कार्यक्रम के न्यूनतम हरब्रांड मॉडल में दिखाई देता है या नहीं, संभवतः बाकी मॉडल के बारे में ज्यादा परवाह किए बिना। ऊपर वर्णित प्रूफ ट्री का टॉप-डाउन रीडिंग ऐसे प्रश्नों के परिणामों की गणना के लिए एक एल्गोरिथ्म का सुझाव देता है। यह पठन [[एसएलडी संकल्प]] एल्गोरिदम को सूचित करता है, जो प्रोलॉग के मूल्यांकन के लिए आधार बनाता है।


== मूल्यांकन ==
== मूल्यांकन ==


अलग-अलग प्रदर्शन विशेषताओं के साथ, एक सूची कार्यक्रम का मूल्यांकन करने के कई अलग-अलग तरीके हैं।
अलग-अलग प्रदर्शन विशेषताओं के साथ, एक सूची कार्यक्रम का मूल्यांकन करने के कई अलग-अलग विधि हैं।


=== बॉटम-अप मूल्यांकन रणनीतियाँ ===
=== बॉटम-अप मूल्यांकन रणनीतियाँ ===


बॉटम-अप मूल्यांकन रणनीतियाँ कार्यक्रम में तथ्यों के साथ शुरू होती हैं और नियमों को बार-बार लागू करती हैं जब तक कि कोई लक्ष्य या प्रश्न स्थापित नहीं हो जाता है, या जब तक कार्यक्रम का पूर्ण न्यूनतम मॉडल तैयार नहीं हो जाता।
बॉटम-अप मूल्यांकन रणनीतियाँ कार्यक्रम में तथ्यों के साथ प्रारंभ होती हैं और नियमों को बार-बार लागू करती हैं जब तक कि कोई लक्ष्य या प्रश्न स्थापित नहीं हो जाता है, या जब तक कार्यक्रम का पूर्ण न्यूनतम मॉडल तैयार नहीं हो जाता है।


==== भोला मूल्यांकन ====
==== भोला मूल्यांकन ====


भोले-भाले मूल्यांकन में #Fixpoint Semantics को Datalog प्रोग्राम के लिए प्रतिबिम्बित करता है। भोली मूल्यांकन ज्ञात तथ्यों के एक सेट का उपयोग करता है, जिसे कार्यक्रम में तथ्यों के लिए आरंभ किया जाता है। यह कार्यक्रम में प्रत्येक नियम के सभी जमीनी उदाहरणों की बार-बार गणना करके आगे बढ़ता है। यदि जमीनी उदाहरण के शरीर में प्रत्येक परमाणु ज्ञात तथ्यों के समूह में है, तो शीर्ष परमाणु को ज्ञात तथ्यों के समूह में जोड़ा जाता है। यह प्रक्रिया एक निश्चित बिंदु तक पहुंचने तक दोहराई जाती है, और कोई और तथ्य नहीं निकाला जा सकता है। सहज मूल्यांकन कार्यक्रम के संपूर्ण न्यूनतम मॉडल का निर्माण करता है।{{sfn|Ceri|Gottlob|Tanca|1989|p=154}}
भोले-भाले मूल्यांकन में फिक्सपॉइंट शब्दार्थ को डेटालॉग प्रोग्राम के लिए प्रतिबिम्बित करता है। भोली मूल्यांकन ज्ञात तथ्यों के एक सेट का उपयोग करता है, जिसे कार्यक्रम में तथ्यों के लिए आरंभ किया जाता है। यह कार्यक्रम में प्रत्येक नियम के सभी जमीनी उदाहरणों की बार-बार गणना करके आगे बढ़ता है। यदि जमीनी उदाहरण के शरीर में प्रत्येक परमाणु ज्ञात तथ्यों के समूह में है, तो शीर्ष परमाणु को ज्ञात तथ्यों के समूह में जोड़ा जाता है। यह प्रक्रिया एक निश्चित बिंदु तक पहुंचने तक दोहराई जाती है, और कोई और तथ्य नहीं निकाला जा सकता है। सहज मूल्यांकन कार्यक्रम के संपूर्ण न्यूनतम मॉडल का निर्माण करता है।{{sfn|Ceri|Gottlob|Tanca|1989|p=154}}


==== अर्ध-भोला मूल्यांकन ====
==== अर्ध-भोला मूल्यांकन ====


अर्ध-भोले मूल्यांकन एक नीचे से ऊपर की मूल्यांकन रणनीति है जो सहज मूल्यांकन की तुलना में विषम रूप से तेज हो सकती है।<ref>{{Cite journal |last1=Alvarez-Picallo |first1=Mario |last2=Eyers-Taylor |first2=Alex |last3=Peyton Jones |first3=Michael |last4=Ong |first4=C.-H. Luke |date=2019 |editor-last=Caires |editor-first=Luís |title=वृद्धिशील संगणना को ठीक करना|url=https://link.springer.com/chapter/10.1007/978-3-030-17184-1_19 |journal=Programming Languages and Systems |series=Lecture Notes in Computer Science |volume=11423 |language=en |location=Cham |publisher=Springer International Publishing |pages=525–552 |doi=10.1007/978-3-030-17184-1_19 |isbn=978-3-030-17184-1|s2cid=53430789 }}</ref>
अर्ध-भोले मूल्यांकन एक नीचे से ऊपर की मूल्यांकन रणनीति है जो सहज मूल्यांकन की समानता में विषम रूप से तेज हो सकती है।<ref>{{Cite journal |last1=Alvarez-Picallo |first1=Mario |last2=Eyers-Taylor |first2=Alex |last3=Peyton Jones |first3=Michael |last4=Ong |first4=C.-H. Luke |date=2019 |editor-last=Caires |editor-first=Luís |title=वृद्धिशील संगणना को ठीक करना|url=https://link.springer.com/chapter/10.1007/978-3-030-17184-1_19 |journal=Programming Languages and Systems |series=Lecture Notes in Computer Science |volume=11423 |language=en |location=Cham |publisher=Springer International Publishing |pages=525–552 |doi=10.1007/978-3-030-17184-1_19 |isbn=978-3-030-17184-1|s2cid=53430789 }}</ref>




==== प्रदर्शन विचार ====
==== प्रदर्शन विचार ====


[[Image:Theta supercomputer - 389 071 002 (36954713450).jpg|thumb|[[Argonne National Laboratory]] में थीटा सुपरकंप्यूटर पर एक समानांतर Datalog इंजन का मूल्यांकन किया गया था।<ref>{{Cite arXiv |last1=Gilray |first1=Thomas |last2=Sahebolamri |first2=Arash |last3=Kumar |first3=Sidharth |last4=Micinski |first4=Kristopher |date=2022-11-21 |title=उच्च-क्रम, डेटा-समानांतर संरचित कटौती|class=cs.PL |eprint=2211.11573 }}</ref>]]भोली और अर्ध-भोली मूल्यांकन दोनों एक निश्चित बिंदु तक पहुंचने तक ज्ञात तथ्यों के एक सेट पर बार-बार लागू करके पुनरावर्ती डेटालॉग नियमों का मूल्यांकन करते हैं। प्रत्येक पुनरावृत्ति में, नियम केवल एक चरण के लिए चलाए जाते हैं, अर्थात गैर-पुनरावर्ती रूप से। जैसा कि उल्लेख किया गया है # तुलना संबंधपरक डेटाबेस के लिए, प्रत्येक गैर-पुनरावर्ती डेटालॉग नियम एक संयुग्मन क्वेरी के लिए सटीक रूप से मेल खाता है। इसलिए, संयुग्मी प्रश्नों को गति देने के लिए उपयोग की जाने वाली [[ डेटाबेस सिद्धांत ]] की कई तकनीकें डेटालॉग के बॉटम-अप मूल्यांकन पर लागू होती हैं, जैसे कि
[[Image:Theta supercomputer - 389 071 002 (36954713450).jpg|thumb|[[Argonne National Laboratory|आर्गोन नेशनल प्रयोगशाला]] में थीटा सुपरकंप्यूटर पर एक समानांतर डेटालॉग इंजन का मूल्यांकन किया गया था।<ref>{{Cite arXiv |last1=Gilray |first1=Thomas |last2=Sahebolamri |first2=Arash |last3=Kumar |first3=Sidharth |last4=Micinski |first4=Kristopher |date=2022-11-21 |title=उच्च-क्रम, डेटा-समानांतर संरचित कटौती|class=cs.PL |eprint=2211.11573 }}</ref>]]भोली और अर्ध-भोली मूल्यांकन दोनों एक निश्चित बिंदु तक पहुंचने तक ज्ञात तथ्यों के एक सेट पर बार-बार लागू करके पुनरावर्ती डेटालॉग नियमों का मूल्यांकन करते हैं। प्रत्येक पुनरावृत्ति में, नियम एकमात्र एक चरण के लिए चलाए जाते हैं, अर्थात गैर-पुनरावर्ती रूप से। जैसा कि उल्लेख किया गया है समानता संबंधपरक डेटाबेस के लिए, प्रत्येक गैर-पुनरावर्ती डेटालॉग नियम एक संयुग्मन क्वेरी के लिए सटीक रूप से मेल खाता है। इसलिए, संयुग्मी प्रश्नों को गति देने के लिए उपयोग की जाने वाली [[ डेटाबेस सिद्धांत |डेटाबेस सिद्धांत]] की कई तकनीकें डेटालॉग के बॉटम-अप मूल्यांकन पर लागू होती हैं, जैसे कि


* डेटाबेस सूचकांक चयन और डेटा संरचनाएं (हैश टेबल, [[ बी-वृक्ष ]], आदि)<ref>{{Cite journal |last1=Subotić |first1=Pavle |last2=Jordan |first2=Herbert |last3=Chang |first3=Lijun |last4=Fekete |first4=Alan |last5=Scholz |first5=Bernhard |date=2018-10-01 |title=बड़े पैमाने पर डेटालॉग संगणना के लिए स्वचालित सूचकांक चयन|url=https://doi.org/10.14778/3282495.3282500 |journal=Proceedings of the VLDB Endowment |volume=12 |issue=2 |pages=141–153 |doi=10.14778/3282495.3282500 |s2cid=53569679 |issn=2150-8097}}</ref>
* डेटाबेस सूचकांक चयन और डेटा संरचनाएं (हैश टेबल, [[ बी-वृक्ष |बी-वृक्ष]] , आदि)<ref>{{Cite journal |last1=Subotić |first1=Pavle |last2=Jordan |first2=Herbert |last3=Chang |first3=Lijun |last4=Fekete |first4=Alan |last5=Scholz |first5=Bernhard |date=2018-10-01 |title=बड़े पैमाने पर डेटालॉग संगणना के लिए स्वचालित सूचकांक चयन|url=https://doi.org/10.14778/3282495.3282500 |journal=Proceedings of the VLDB Endowment |volume=12 |issue=2 |pages=141–153 |doi=10.14778/3282495.3282500 |s2cid=53569679 |issn=2150-8097}}</ref>
* [[क्वेरी अनुकूलन]], विशेष रूप से आदेश में शामिल हों<ref>{{Cite journal |last1=Antoniadis |first1=Tony |last2=Triantafyllou |first2=Konstantinos |last3=Smaragdakis |first3=Yannis |date=2017-06-18 |title=Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses |url=https://doi.org/10.1145/3088515.3088522 |journal=Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis |series=SOAP 2017 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=25–30 |doi=10.1145/3088515.3088522 |isbn=978-1-4503-5072-3|s2cid=3074689 }} "The LogicBlox engine performs full query optimization."</ref><ref>{{Cite journal |last1=Arch |first1=Samuel |last2=Hu |first2=Xiaowen |last3=Zhao |first3=David |last4=Subotić |first4=Pavle |last5=Scholz |first5=Bernhard |date=2022 |editor-last=Villanueva |editor-first=Alicia |title=Building a Join Optimizer for Soufflé |url=https://link.springer.com/chapter/10.1007/978-3-031-16767-6_5 |journal=Logic-Based Program Synthesis and Transformation |series=Lecture Notes in Computer Science |volume=13474 |language=en |location=Cham |publisher=Springer International Publishing |pages=83–102 |doi=10.1007/978-3-031-16767-6_5 |isbn=978-3-031-16767-6}}</ref>
* [[क्वेरी अनुकूलन]], विशेष रूप से आदेश में सम्मलित हों<ref>{{Cite journal |last1=Antoniadis |first1=Tony |last2=Triantafyllou |first2=Konstantinos |last3=Smaragdakis |first3=Yannis |date=2017-06-18 |title=Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses |url=https://doi.org/10.1145/3088515.3088522 |journal=Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis |series=SOAP 2017 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=25–30 |doi=10.1145/3088515.3088522 |isbn=978-1-4503-5072-3|s2cid=3074689 }} "The LogicBlox engine performs full query optimization."</ref><ref>{{Cite journal |last1=Arch |first1=Samuel |last2=Hu |first2=Xiaowen |last3=Zhao |first3=David |last4=Subotić |first4=Pavle |last5=Scholz |first5=Bernhard |date=2022 |editor-last=Villanueva |editor-first=Alicia |title=Building a Join Optimizer for Soufflé |url=https://link.springer.com/chapter/10.1007/978-3-031-16767-6_5 |journal=Logic-Based Program Synthesis and Transformation |series=Lecture Notes in Computer Science |volume=13474 |language=en |location=Cham |publisher=Springer International Publishing |pages=83–102 |doi=10.1007/978-3-031-16767-6_5 |isbn=978-3-031-16767-6}}</ref>
* एल्गोरिदम से जुड़ें
* एल्गोरिदम से जुड़ें


इस तरह की कई तकनीकों को आधुनिक बॉटम-अप डेटालॉग इंजनों में कार्यान्वित किया जाता है जैसे सूफले (प्रोग्रामिंग लैंग्वेज) | सूफले। कुछ Datalog इंजन सीधे SQL डेटाबेस को एकीकृत करते हैं।<ref>{{Cite arXiv |last1=Fan |first1=Zhiwei |last2=Zhu |first2=Jianqiao |last3=Zhang |first3=Zuyu |last4=Albarghouthi |first4=Aws |last5=Koutris |first5=Paraschos |last6=Patel |first6=Jignesh |date=2018-12-10 |title=Scaling-Up In-Memory Datalog Processing: Observations and Techniques |class=cs.DB |eprint=1812.03975 }}</ref>
इस तरह की कई तकनीकों को आधुनिक बॉटम-अप डेटालॉग इंजनों में कार्यान्वित किया जाता है जैसे सूफले (प्रोग्रामिंग लैंग्वेज) | सूफले। कुछ डेटालॉग इंजन सीधे SQL डेटाबेस को एकीकृत करते हैं।<ref>{{Cite arXiv |last1=Fan |first1=Zhiwei |last2=Zhu |first2=Jianqiao |last3=Zhang |first3=Zuyu |last4=Albarghouthi |first4=Aws |last5=Koutris |first5=Paraschos |last6=Patel |first6=Jignesh |date=2018-12-10 |title=Scaling-Up In-Memory Datalog Processing: Observations and Techniques |class=cs.DB |eprint=1812.03975 }}</ref>
Datalog का बॉटम-अप मूल्यांकन भी [[समानांतर कंप्यूटिंग]] के लिए उत्तरदायी है। समानांतर डेटालॉग इंजन आम तौर पर दो प्रतिमानों में विभाजित होते हैं:
 
डेटालॉग का बॉटम-अप मूल्यांकन भी [[समानांतर कंप्यूटिंग]] के लिए उत्तरदायी है। समानांतर डेटालॉग इंजन सामान्यतः दो प्रतिमानों में विभाजित होते हैं:


* साझा-मेमोरी, मल्टी-कोर सेटिंग में, Datalog इंजन एक नोड पर निष्पादित होते हैं। लॉक (कंप्यूटर विज्ञान) या लॉक-मुक्त डेटा संरचनाओं का उपयोग करके थ्रेड्स के बीच समन्वय प्राप्त किया जा सकता है। उदाहरणों में [[OpenMP]] का उपयोग करने वाले Datalog इंजन शामिल हैं।<ref>{{Cite journal |last1=Jordan |first1=Herbert |last2=Subotić |first2=Pavle |last3=Zhao |first3=David |last4=Scholz |first4=Bernhard |date=2019-02-16 |title=समवर्ती डेटालॉग मूल्यांकन के लिए एक विशेष बी-ट्री|url=https://doi.org/10.1145/3293883.3295719 |journal=Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming |series=PPoPP '19 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=327–339 |doi=10.1145/3293883.3295719 |isbn=978-1-4503-6225-2|s2cid=59617209 }}</ref>
* साझा-मेमोरी, मल्टी-कोर सेटिंग में, डेटालॉग इंजन एक नोड पर निष्पादित होते हैं। लॉक (कंप्यूटर विज्ञान) या लॉक-मुक्त डेटा संरचनाओं का उपयोग करके थ्रेड्स के बीच समन्वय प्राप्त किया जा सकता है। उदाहरणों में [[OpenMP|ओपनएमपी]] का उपयोग करने वाले डेटालॉग इंजन सम्मलित हैं।<ref>{{Cite journal |last1=Jordan |first1=Herbert |last2=Subotić |first2=Pavle |last3=Zhao |first3=David |last4=Scholz |first4=Bernhard |date=2019-02-16 |title=समवर्ती डेटालॉग मूल्यांकन के लिए एक विशेष बी-ट्री|url=https://doi.org/10.1145/3293883.3295719 |journal=Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming |series=PPoPP '19 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=327–339 |doi=10.1145/3293883.3295719 |isbn=978-1-4503-6225-2|s2cid=59617209 }}</ref>
* [[ साझा-कुछ नहीं वास्तुकला ]]|शेयर्ड-नथिंग सेटिंग में, डाटालॉग इंजन नोड्स के [[कंप्यूटर क्लस्टर]] पर निष्पादित होते हैं। ऐसे इंजन आम तौर पर [[हैश फंकशन]] के आधार पर अलग-अलग उपसमुच्चय में संबंधों को विभाजित करके संचालित करते हैं, प्रत्येक नोड पर संगणना (जुड़ना) करते हैं, और फिर नेटवर्क पर नव-निर्मित ट्यूपल्स का आदान-प्रदान करते हैं।<ref>{{Cite journal |last1=Wu |first1=Jiacheng |last2=Wang |first2=Jin |last3=Zaniolo |first3=Carlo |date=2022-06-11 |title=मल्टीकोर मशीनों पर समांतर रिकर्सिव डेटालॉग मूल्यांकन का अनुकूलन|url=https://doi.org/10.1145/3514221.3517853 |journal=Proceedings of the 2022 International Conference on Management of Data |series=SIGMOD '22 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=1433–1446 |doi=10.1145/3514221.3517853 |isbn=978-1-4503-9249-5|s2cid=249578825 }} "These approaches implement the idea of parallel bottom-up evaluation by splitting the tables into disjoint partitions via discriminating functions, such as hashing, where each partition is then mapped to one of the parallel workers. After each iteration, workers coordinate with each other to exchange newly generated tuples where necessary.</ref> उदाहरणों में [[संदेश पासिंग इंटरफ़ेस]] पर आधारित डेटालॉग इंजन शामिल हैं,<ref>{{Cite arXiv |last1=Gilray |first1=Thomas |last2=Sahebolamri |first2=Arash |last3=Kumar |first3=Sidharth |last4=Micinski |first4=Kristopher |date=2022-11-21 |title=उच्च-क्रम, डेटा-समानांतर संरचित कटौती|class=cs.PL |eprint=2211.11573 }}</ref> [[अपाचे हडूप]],<ref>{{Cite journal |last1=Shaw |first1=Marianne |last2=Koutris |first2=Paraschos |last3=Howe |first3=Bill |last4=Suciu |first4=Dan |date=2012 |editor-last=Barceló |editor-first=Pablo |editor2-last=Pichler |editor2-first=Reinhard |title=Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop |url=https://link.springer.com/chapter/10.1007/978-3-642-32925-8_17 |journal=Datalog in Academia and Industry |series=Lecture Notes in Computer Science |volume=7494 |language=en |location=Berlin, Heidelberg |publisher=Springer |pages=165–176 |doi=10.1007/978-3-642-32925-8_17 |isbn=978-3-642-32925-8}}</ref> और [[अपाचे स्पार्क]]।<ref>{{Cite journal |last1=Shkapsky |first1=Alexander |last2=Yang |first2=Mohan |last3=Interlandi |first3=Matteo |last4=Chiu |first4=Hsuan |last5=Condie |first5=Tyson |last6=Zaniolo |first6=Carlo |date=2016-06-14 |title=स्पार्क पर डेटालॉग क्वेरीज़ के साथ बिग डेटा एनालिटिक्स|url=https://doi.org/10.1145/2882903.2915229 |journal=Proceedings of the 2016 International Conference on Management of Data |series=SIGMOD '16 |volume=2016 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=1135–1149 |doi=10.1145/2882903.2915229 |isbn=978-1-4503-3531-7 |pmc=5470845 |pmid=28626296}}</ref>
* [[ साझा-कुछ नहीं वास्तुकला | साझा-कुछ नहीं वास्तुकला]] |शेयर्ड-नथिंग सेटिंग में, डाटालॉग इंजन नोड्स के [[कंप्यूटर क्लस्टर]] पर निष्पादित होते हैं। ऐसे इंजन सामान्यतः [[हैश फंकशन]] के आधार पर अलग-अलग उपसमुच्चय में संबंधों को विभाजित करके संचालित करते हैं, प्रत्येक नोड पर संगणना (जुड़ना) करते हैं, और फिर नेटवर्क पर नव-निर्मित ट्यूपल्स का आदान-प्रदान करते हैं।<ref>{{Cite journal |last1=Wu |first1=Jiacheng |last2=Wang |first2=Jin |last3=Zaniolo |first3=Carlo |date=2022-06-11 |title=मल्टीकोर मशीनों पर समांतर रिकर्सिव डेटालॉग मूल्यांकन का अनुकूलन|url=https://doi.org/10.1145/3514221.3517853 |journal=Proceedings of the 2022 International Conference on Management of Data |series=SIGMOD '22 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=1433–1446 |doi=10.1145/3514221.3517853 |isbn=978-1-4503-9249-5|s2cid=249578825 }} "These approaches implement the idea of parallel bottom-up evaluation by splitting the tables into disjoint partitions via discriminating functions, such as hashing, where each partition is then mapped to one of the parallel workers. After each iteration, workers coordinate with each other to exchange newly generated tuples where necessary.</ref> उदाहरणों में [[संदेश पासिंग इंटरफ़ेस]] पर आधारित डेटालॉग इंजन सम्मलित हैं,<ref>{{Cite arXiv |last1=Gilray |first1=Thomas |last2=Sahebolamri |first2=Arash |last3=Kumar |first3=Sidharth |last4=Micinski |first4=Kristopher |date=2022-11-21 |title=उच्च-क्रम, डेटा-समानांतर संरचित कटौती|class=cs.PL |eprint=2211.11573 }}</ref> [[अपाचे हडूप]],<ref>{{Cite journal |last1=Shaw |first1=Marianne |last2=Koutris |first2=Paraschos |last3=Howe |first3=Bill |last4=Suciu |first4=Dan |date=2012 |editor-last=Barceló |editor-first=Pablo |editor2-last=Pichler |editor2-first=Reinhard |title=Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop |url=https://link.springer.com/chapter/10.1007/978-3-642-32925-8_17 |journal=Datalog in Academia and Industry |series=Lecture Notes in Computer Science |volume=7494 |language=en |location=Berlin, Heidelberg |publisher=Springer |pages=165–176 |doi=10.1007/978-3-642-32925-8_17 |isbn=978-3-642-32925-8}}</ref> और [[अपाचे स्पार्क]]। सम्मलित हैं<ref>{{Cite journal |last1=Shkapsky |first1=Alexander |last2=Yang |first2=Mohan |last3=Interlandi |first3=Matteo |last4=Chiu |first4=Hsuan |last5=Condie |first5=Tyson |last6=Zaniolo |first6=Carlo |date=2016-06-14 |title=स्पार्क पर डेटालॉग क्वेरीज़ के साथ बिग डेटा एनालिटिक्स|url=https://doi.org/10.1145/2882903.2915229 |journal=Proceedings of the 2016 International Conference on Management of Data |series=SIGMOD '16 |volume=2016 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=1135–1149 |doi=10.1145/2882903.2915229 |isbn=978-1-4503-3531-7 |pmc=5470845 |pmid=28626296}}</ref>




Line 221: Line 231:
=== जादू सेट ===
=== जादू सेट ===


टॉप-डाउन मूल्यांकन रणनीतियाँ एक प्रश्न या लक्ष्य से शुरू होती हैं। बॉटम-अप मूल्यांकन रणनीतियाँ पूरे न्यूनतम मॉडल की गणना करके और उसके विरुद्ध क्वेरी का मिलान करके प्रश्नों का उत्तर दे सकती हैं, लेकिन यह अक्षम हो सकता है यदि उत्तर केवल पूरे मॉडल के एक छोटे उपसमुच्चय पर निर्भर करता है। जादू सेट एल्गोरिदम एक डेटालॉग प्रोग्राम और एक क्वेरी लेता है, और एक अधिक कुशल प्रोग्राम तैयार करता है जो नीचे-ऊपर मूल्यांकन का उपयोग करते हुए क्वेरी के समान उत्तर की गणना करता है।<ref>{{Cite journal |last1=Balbin |first1=I. |last2=Port |first2=G. S. |last3=Ramamohanarao |first3=K. |last4=Meenakshi |first4=K. |date=1991-10-01 |title=स्तरीकृत डेटाबेस पर प्रश्नों की कुशल बॉटम-अप संगणना|url=https://dx.doi.org/10.1016/0743-1066%2891%2990030-S |journal=The Journal of Logic Programming |language=en |volume=11 |issue=3 |pages=295–344 |doi=10.1016/0743-1066(91)90030-S |issn=0743-1066}}</ref> मैजिक सेट एल्गोरिथम के एक प्रकार को ऐसे प्रोग्राम बनाने के लिए दिखाया गया है, जो #अर्ध-भोले मूल्यांकन|अर्द्ध-भोले मूल्यांकन का उपयोग करके मूल्यांकन किए जाने पर, टॉप-डाउन मूल्यांकन के रूप में कुशल हैं।<ref>{{Cite journal |last=Ullman |first=J. D. |date=1989-03-29 |title=डेटालॉग के लिए बॉटम-अप टॉप-डाउन को मात देता है|url=https://doi.org/10.1145/73721.73736 |journal=Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems |series=PODS '89 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=140–149 |doi=10.1145/73721.73736 |isbn=978-0-89791-308-9|s2cid=13269547 }}</ref>
टॉप-डाउन मूल्यांकन रणनीतियाँ एक प्रश्न या लक्ष्य से प्रारंभ होती हैं। बॉटम-अप मूल्यांकन रणनीतियाँ पूरे न्यूनतम मॉडल की गणना करके और उसके विरुद्ध क्वेरी का मिलान करके प्रश्नों का उत्तर दे सकती हैं, लेकिन यह अक्षम हो सकता है यदि उत्तर एकमात्र पूरे मॉडल के एक छोटे उपसमुच्चय पर निर्भर करता है। जादू सेट एल्गोरिदम एक डेटालॉग प्रोग्राम और एक क्वेरी लेता है, और एक अधिक कुशल प्रोग्राम तैयार करता है जो नीचे-ऊपर मूल्यांकन का उपयोग करते हुए क्वेरी के समान उत्तर की गणना करता है।<ref>{{Cite journal |last1=Balbin |first1=I. |last2=Port |first2=G. S. |last3=Ramamohanarao |first3=K. |last4=Meenakshi |first4=K. |date=1991-10-01 |title=स्तरीकृत डेटाबेस पर प्रश्नों की कुशल बॉटम-अप संगणना|url=https://dx.doi.org/10.1016/0743-1066%2891%2990030-S |journal=The Journal of Logic Programming |language=en |volume=11 |issue=3 |pages=295–344 |doi=10.1016/0743-1066(91)90030-S |issn=0743-1066}}</ref> मैजिक सेट एल्गोरिथम के एक प्रकार को ऐसे प्रोग्राम बनाने के लिए दिखाया गया है, जो अर्ध-भोले मूल्यांकन|अर्द्ध-भोले मूल्यांकन का उपयोग करके मूल्यांकन किए जाने पर, टॉप-डाउन मूल्यांकन के रूप में कुशल हैं।<ref>{{Cite journal |last=Ullman |first=J. D. |date=1989-03-29 |title=डेटालॉग के लिए बॉटम-अप टॉप-डाउन को मात देता है|url=https://doi.org/10.1145/73721.73736 |journal=Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems |series=PODS '89 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=140–149 |doi=10.1145/73721.73736 |isbn=978-0-89791-308-9|s2cid=13269547 }}</ref>




Line 227: Line 237:


डेटालॉग मूल्यांकन का [[निर्णय समस्या]] सूत्रीकरण इस प्रकार है: एक डेटालॉग प्रोग्राम दिया गया {{mvar|P}} तथ्यों के एक सेट में विभाजित (ईडीबी) {{mvar|E}} और नियमों का एक सेट {{mvar|R}}, और एक व्याख्या {{mvar|A}}, है {{mvar|A}} के न्यूनतम मॉडल में {{mvar|P}}? इस सूत्रीकरण में, सूची कार्यक्रमों के मूल्यांकन की कम्प्यूटेशनल जटिलता के तीन रूप हैं:<ref>{{Cite journal |last1=Dantsin |first1=Evgeny |last2=Eiter |first2=Thomas |last3=Gottlob |first3=Georg |last4=Voronkov |first4=Andrei |date=2001-09-01 |title=तर्क प्रोग्रामिंग की जटिलता और अभिव्यंजक शक्ति|url=https://doi.org/10.1145/502807.502810 |journal=ACM Computing Surveys |volume=33 |issue=3 |pages=374–425 |doi=10.1145/502807.502810 |issn=0360-0300}}</ref>
डेटालॉग मूल्यांकन का [[निर्णय समस्या]] सूत्रीकरण इस प्रकार है: एक डेटालॉग प्रोग्राम दिया गया {{mvar|P}} तथ्यों के एक सेट में विभाजित (ईडीबी) {{mvar|E}} और नियमों का एक सेट {{mvar|R}}, और एक व्याख्या {{mvar|A}}, है {{mvar|A}} के न्यूनतम मॉडल में {{mvar|P}}? इस सूत्रीकरण में, सूची कार्यक्रमों के मूल्यांकन की कम्प्यूटेशनल जटिलता के तीन रूप हैं:<ref>{{Cite journal |last1=Dantsin |first1=Evgeny |last2=Eiter |first2=Thomas |last3=Gottlob |first3=Georg |last4=Voronkov |first4=Andrei |date=2001-09-01 |title=तर्क प्रोग्रामिंग की जटिलता और अभिव्यंजक शक्ति|url=https://doi.org/10.1145/502807.502810 |journal=ACM Computing Surveys |volume=33 |issue=3 |pages=374–425 |doi=10.1145/502807.502810 |issn=0360-0300}}</ref>
* {{dfni|data complexity}ty}} निर्णय समस्या की जटिलता है जब {{mvar|A}} और {{mvar|E}} इनपुट हैं और {{mvar|R}} निश्चित है।
* {{dfni|डेटा जटिलता<nowiki>}</nowiki>}} निर्णय समस्या की जटिलता है जब {{mvar|A}} और {{mvar|E}} इनपुट हैं और {{mvar|R}} निश्चित है।
* वह {{dfni|program complexity}} निर्णय समस्या की जटिलता है जब {{mvar|A}} और {{mvar|R}} इनपुट हैं और {{mvar|E}} निश्चित है।
* वह {{dfni|कार्यक्रम की जटिलता}} निर्णय समस्या की जटिलता है जब {{mvar|A}} और {{mvar|R}} इनपुट हैं और {{mvar|E}} निश्चित है।
* वह {{dfni|combined complexity}} निर्णय समस्या की जटिलता है जब {{mvar|A}}, {{mvar|E}}, और {{mvar|R}} इनपुट हैं।
* वह {{dfni|संयुक्त जटिलता}} निर्णय समस्या की जटिलता है जब {{mvar|A}}, {{mvar|E}}, और {{mvar|R}} इनपुट हैं।


डेटा जटिलता के संबंध में, Datalog के लिए निर्णय समस्या P-पूर्ण है। कार्यक्रम की जटिलता के संबंध में, निर्णय समस्या EXPTIME-पूर्ण है। विशेष रूप से, सूची कार्यक्रमों का मूल्यांकन हमेशा समाप्त हो जाता है; डेटालॉग [[ट्यूरिंग पूर्णता]] नहीं है | ट्यूरिंग-पूर्ण।
डेटा जटिलता के संबंध में, डेटालॉग के लिए निर्णय समस्या P-पूर्ण है। कार्यक्रम की जटिलता के संबंध में, निर्णय समस्या EXPTIME-पूर्ण है। विशेष रूप से, सूची कार्यक्रमों का मूल्यांकन हमेशा समाप्त हो जाता है; डेटालॉग [[ट्यूरिंग पूर्णता]] नहीं है | ट्यूरिंग-पूर्ण।


Datalog के कुछ एक्सटेंशन इन जटिलता सीमाओं को संरक्षित नहीं करते हैं। कुछ Datalog इंजनों में लागू किए गए एक्सटेंशन #Datalog इंजन, जैसे कि बीजगणितीय डेटा प्रकार, परिणामी भाषा को ट्यूरिंग-पूर्ण भी बना सकते हैं।
डेटालॉग के कुछ एक्सटेंशन इन जटिलता सीमाओं को संरक्षित नहीं करते हैं। कुछ डेटालॉग इंजनों में लागू किए गए एक्सटेंशन डेटालॉग इंजन, जैसे कि बीजगणितीय डेटा प्रकार, परिणामी भाषा को ट्यूरिंग-पूर्ण भी बना सकते हैं।


== एक्सटेंशन ==
== एक्सटेंशन ==


Datalog में कई एक्सटेंशन किए गए हैं, उदाहरण के लिए, [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]] की अनुमति देने के लिए, नकारात्मकता, कुल कार्यों, असमानताओं का समर्थन करने के लिए, या [[खंड (तर्क)]] के प्रमुखों के रूप में संयोजनों को अनुमति देने के लिए। इन विस्तारों का भाषा के शब्दार्थ और संबंधित दुभाषिया के कार्यान्वयन पर महत्वपूर्ण प्रभाव पड़ता है।
डेटालॉग में कई एक्सटेंशन किए गए हैं, उदाहरण के लिए, [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग |ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग]] की अनुमति देने के लिए, नकारात्मकता, कुल कार्यों, असमानताओं का समर्थन करने के लिए, या [[खंड (तर्क)]] के प्रमुखों के रूप में संयोजनों को अनुमति देने के लिए। इन विस्तारों का भाषा के शब्दार्थ और संबंधित दुभाषिया के कार्यान्वयन पर महत्वपूर्ण प्रभाव पड़ता है।


Datalog Prolog, [[disjunctive Datalog]], [[उत्तर सेट प्रोग्रामिंग]], DatalogZ|Datalog का एक सिंटैक्टिक उपसमुच्चय है<sub>ℤ</sub>, और [[बाधा तर्क प्रोग्रामिंग]]। जब एक उत्तर सेट प्रोग्राम के रूप में मूल्यांकन किया जाता है, तो एक डेटालॉग प्रोग्राम एक एकल उत्तर सेट उत्पन्न करता है, जो वास्तव में इसका न्यूनतम मॉडल है।<ref>{{Cite journal |last1=Bembenek |first1=Aaron |last2=Greenberg |first2=Michael |last3=Chong |first3=Stephen |date=2023-01-11 |title=From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems |url=https://doi.org/10.1145/3571200 |journal=Proceedings of the ACM on Programming Languages |volume=7 |issue=POPL |pages=7:185–7:217 |doi=10.1145/3571200|s2cid=253525805 }}</ref>
डेटालॉग प्रोलॉग , [[disjunctive Datalog|वियोगी डेटालॉग]], [[उत्तर सेट प्रोग्रामिंग]], डेटालॉग Z|डेटालॉग<sub>ℤ</sub> का एक सिंटैक्टिक उपसमुच्चय है, और [[बाधा तर्क प्रोग्रामिंग]]। जब एक उत्तर सेट प्रोग्राम के रूप में मूल्यांकन किया जाता है, तो एक डेटालॉग प्रोग्राम एक एकल उत्तर सेट उत्पन्न करता है, जो वास्तव में इसका न्यूनतम मॉडल है।<ref>{{Cite journal |last1=Bembenek |first1=Aaron |last2=Greenberg |first2=Michael |last3=Chong |first3=Stephen |date=2023-01-11 |title=From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems |url=https://doi.org/10.1145/3571200 |journal=Proceedings of the ACM on Programming Languages |volume=7 |issue=POPL |pages=7:185–7:217 |doi=10.1145/3571200|s2cid=253525805 }}</ref>
Datalog के कई कार्यान्वयन अतिरिक्त सुविधाओं के साथ Datalog का विस्तार करते हैं; देखना {{section link||Datalog engines}} अधिक जानकारी के लिए।
 
डेटालॉग के कई कार्यान्वयन अतिरिक्त सुविधाओं के साथ डेटालॉग का विस्तार करते हैं; देखना {{section link||डेटालॉग इंजन}} अधिक जानकारी के लिए।


=== एकत्रीकरण ===
=== एकत्रीकरण ===


एग्रीगेट फ़ंक्शन का समर्थन करने के लिए डेटालॉग को बढ़ाया जा सकता है।<ref>{{Cite journal |last1=Zaniolo |first1=Carlo |last2=Yang |first2=Mohan |last3=Das |first3=Ariyam |last4=Shkapsky |first4=Alexander |last5=Condie |first5=Tyson |last6=Interlandi |first6=Matteo |date=September 2017 |title=समुच्चय के साथ पुनरावर्ती Datalog कार्यक्रमों का फिक्सपॉइंट शब्दार्थ और अनुकूलन*|url=https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/fixpoint-semantics-and-optimization-of-recursive-datalog-programs-with-aggregates/605FE14CADEA2567C9EDBB78BBD1E0A2 |journal=Theory and Practice of Logic Programming |language=en |volume=17 |issue=5–6 |pages=1048–1065 |doi=10.1017/S1471068417000436 |arxiv=1707.05681 |s2cid=6272867 |issn=1471-0684}}</ref>
एग्रीगेट फ़ंक्शन का समर्थन करने के लिए डेटालॉग को बढ़ाया जा सकता है।<ref>{{Cite journal |last1=Zaniolo |first1=Carlo |last2=Yang |first2=Mohan |last3=Das |first3=Ariyam |last4=Shkapsky |first4=Alexander |last5=Condie |first5=Tyson |last6=Interlandi |first6=Matteo |date=September 2017 |title=समुच्चय के साथ पुनरावर्ती Datalog कार्यक्रमों का फिक्सपॉइंट शब्दार्थ और अनुकूलन*|url=https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/fixpoint-semantics-and-optimization-of-recursive-datalog-programs-with-aggregates/605FE14CADEA2567C9EDBB78BBD1E0A2 |journal=Theory and Practice of Logic Programming |language=en |volume=17 |issue=5–6 |pages=1048–1065 |doi=10.1017/S1471068417000436 |arxiv=1707.05681 |s2cid=6272867 |issn=1471-0684}}</ref>
एकत्रीकरण को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में शामिल हैं:
 
एकत्रीकरण को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में सम्मलित हैं:


* [[लॉजिकब्लॉक्स]]<ref>{{Cite web |title=Chapter 7. Rules - LogicBlox 3.10 Reference Manual |url=https://developer.logicblox.com/content/docs/core-reference/webhelp/rules.html#rules-aggregation |access-date=2023-03-04 |website=developer.logicblox.com}}</ref>
* [[लॉजिकब्लॉक्स]]<ref>{{Cite web |title=Chapter 7. Rules - LogicBlox 3.10 Reference Manual |url=https://developer.logicblox.com/content/docs/core-reference/webhelp/rules.html#rules-aggregation |access-date=2023-03-04 |website=developer.logicblox.com}}</ref>
Line 252: Line 264:
=== निषेध ===
=== निषेध ===


{{see|Syntax and semantics of logic programming#Extending Datalog with negation}}
{{see|लॉजिक प्रोग्रामिंग का वाक्य-विन्यास और शब्दार्थ निषेध के साथ सूची का विस्तार}}


Datalog में निषेध जोड़ने से इसके शब्दार्थ जटिल हो जाते हैं, जिससे मूल्यांकन के लिए पूरी नई भाषाएँ और रणनीतियाँ बन जाती हैं। उदाहरण के लिए, वह भाषा जो [[स्थिर मॉडल शब्दार्थ]] के साथ निषेध को जोड़ने का परिणाम है, बिल्कुल उत्तर सेट प्रोग्रामिंग है।
डेटालॉग में निषेध जोड़ने से इसके शब्दार्थ जटिल हो जाते हैं, जिससे मूल्यांकन के लिए पूरी नई भाषाएँ और रणनीतियाँ बन जाती हैं। उदाहरण के लिए, वह भाषा जो [[स्थिर मॉडल शब्दार्थ]] के साथ निषेध को जोड़ने का परिणाम है, बिल्कुल उत्तर सेट प्रोग्रामिंग है।


स्तरीकरण (गणित)#गणितीय तर्क में नकार को इसके मॉडल-सैद्धांतिक और निश्चित बिंदु शब्दार्थ को बनाए रखते हुए Datalog में जोड़ा जा सकता है। स्तरीकृत निषेध को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में शामिल हैं:
स्तरीकरण (गणित) गणितीय तर्क में नकार को इसके मॉडल-सैद्धांतिक और निश्चित बिंदु शब्दार्थ को बनाए रखते हुए डेटालॉग में जोड़ा जा सकता है। स्तरीकृत निषेध को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में सम्मलित हैं:


* लॉजिकब्लॉक्स<ref>{{Cite web |title=6.4. Negation - LogicBlox 3.10 Reference Manual |url=https://developer.logicblox.com/content/docs/core-reference/webhelp/formula-negation.html |access-date=2023-03-04 |website=developer.logicblox.com}} "Additionally, negation is only allowed when the platform can determine a way to stratify all rules and constraints that use negation."</ref>
* लॉजिकब्लॉक्स<ref>{{Cite web |title=6.4. Negation - LogicBlox 3.10 Reference Manual |url=https://developer.logicblox.com/content/docs/core-reference/webhelp/formula-negation.html |access-date=2023-03-04 |website=developer.logicblox.com}} "Additionally, negation is only allowed when the platform can determine a way to stratify all rules and constraints that use negation."</ref>
* सूफले (प्रोग्रामिंग भाषा) | सूफले
* सूफले (प्रोग्रामिंग भाषा) | सूफले


== प्रोलॉग से तुलना ==
== प्रोलॉग से समानता ==


प्रोलॉग के विपरीत, एक सूची कार्यक्रम के बयान किसी भी क्रम में बताए जा सकते हैं। Datalog में Prolog's Cut (तर्क प्रोग्रामिंग) ऑपरेटर नहीं है। यह Datalog को पूरी तरह से [[घोषणात्मक भाषा]] बनाता है।
प्रोलॉग के विपरीत, एक सूची कार्यक्रम के बयान किसी भी क्रम में बताए जा सकते हैं। डेटालॉग में प्रोलॉग का कट (तर्क प्रोग्रामिंग) ऑपरेटर नहीं है। यह डेटालॉग को पूरी तरह से [[घोषणात्मक भाषा]] बनाता है।


प्रोलॉग के विपरीत, Datalog
प्रोलॉग के विपरीत, डेटालॉग
* जटिल शब्दों को [[विधेय (तर्क)]] के तर्कों के रूप में अस्वीकार करता है, उदाहरण के लिए, <code>p(x, y)</code> स्वीकार्य है लेकिन नहीं <code>p(f(x), y)</code>,
* जटिल शब्दों को [[विधेय (तर्क)]] के तर्कों के रूप में अस्वीकार करता है, उदाहरण के लिए, <code>p(x, y)</code> स्वीकार्य है लेकिन नहीं <code>p(f(x), y)</code>,
* निषेध अस्वीकार करता है,
* निषेध अस्वीकार करता है,
* के लिए आवश्यक है कि खंड (तर्क) के शीर्ष में दिखाई देने वाला प्रत्येक चर खंड के शरीर में एक [[शाब्दिक (गणितीय तर्क)]] में भी दिखाई दे।
* के लिए आवश्यक है कि खंड (तर्क) के शीर्ष में दिखाई देने वाला प्रत्येक चर खंड के शरीर में एक [[शाब्दिक (गणितीय तर्क)]] में भी दिखाई दे।


यह लेख मुख्य रूप से बिना निषेध के Datalog से संबंधित है (यह भी देखें {{section link|Syntax and semantics of logic programming|Extending Datalog with negation}}). हालाँकि, स्तरीकृत निषेध, Datalog के लिए एक सामान्य जोड़ है; निम्न सूची स्तरीकृत निषेध के साथ प्रोलॉग के साथ डेटालॉग के विपरीत है। स्तरीकृत निषेध के साथ डेटालॉग
यह लेख मुख्य रूप से बिना निषेध के डेटालॉग से संबंधित है (यह भी देखें {{section link|लॉजिक प्रोग्रामिंग का सिंटैक्स और सिमेंटिक्स|अस्वीकृति के साथ डेटालॉग का विस्तार}}). चूँकि, स्तरीकृत निषेध, डेटालॉग के लिए एक सामान्य जोड़ है; निम्न सूची स्तरीकृत निषेध के साथ प्रोलॉग के साथ डेटालॉग के विपरीत है। स्तरीकृत निषेध के साथ डेटालॉग


* विधेय (तर्क) के तर्कों के रूप में जटिल शब्दों को भी अस्वीकार करता है,
* विधेय (तर्क) के तर्कों के रूप में जटिल शब्दों को भी अस्वीकार करता है,
Line 276: Line 288:
* की आवश्यकता है कि खंड के शरीर में नकारात्मक शाब्दिक में दिखाई देने वाला प्रत्येक चर खंड के शरीर में कुछ सकारात्मक अक्षर में भी दिखाई दे।<ref>{{cite web |author1=Michael Lam |author2=Dr. Sin Min Lee |title=संगणक वैज्ञानिक|url=http://www.cs.sjsu.edu/faculty/lee/cs157/24SpDatalog.ppt |website=Course CS 157A |publisher=SAN JOSÉ STATE UNIVERSITY, department of Computer Science |archive-url=https://web.archive.org/web/20170325035511/http://www.cs.sjsu.edu/faculty/lee/cs157/24SpDatalog.ppt |archive-date=2017-03-25}}</ref>{{Unreliable source?|date=March 2023}}
* की आवश्यकता है कि खंड के शरीर में नकारात्मक शाब्दिक में दिखाई देने वाला प्रत्येक चर खंड के शरीर में कुछ सकारात्मक अक्षर में भी दिखाई दे।<ref>{{cite web |author1=Michael Lam |author2=Dr. Sin Min Lee |title=संगणक वैज्ञानिक|url=http://www.cs.sjsu.edu/faculty/lee/cs157/24SpDatalog.ppt |website=Course CS 157A |publisher=SAN JOSÉ STATE UNIVERSITY, department of Computer Science |archive-url=https://web.archive.org/web/20170325035511/http://www.cs.sjsu.edu/faculty/lee/cs157/24SpDatalog.ppt |archive-date=2017-03-25}}</ref>{{Unreliable source?|date=March 2023}}


== अभिव्यक्ति == {{dfni|boundedness problem}em}} के लिए Datalog पूछता है, एक Datalog प्रोग्राम दिया गया है, चाहे वह हो {{dfni|bounded}}, यानी, एक इनपुट डेटाबेस पर प्रोग्राम का मूल्यांकन करते समय अधिकतम रिकर्सन गहराई तक पहुंचा जा सकता है, जिसे कुछ स्थिरता से बांधा जा सकता है। दूसरे शब्दों में, यह प्रश्न पूछता है कि क्या Datalog प्रोग्राम को एक गैर-आवर्ती Datalog प्रोग्राम के रूप में फिर से लिखा जा सकता है। मनमाना Datalog प्रोग्राम पर बाउंडनेस की समस्या का समाधान करना [[अनिर्णीत समस्या]] है,<ref>{{Cite journal|last1=Hillebrand|first1=Gerd G|last2=Kanellakis|first2=Paris C|last3=Mairson|first3=Harry G|last4=Vardi|first4=Moshe Y|date=1995-11-01|title=डेटालॉग प्रोग्राम के लिए अनिर्णायक बाउंडनेस समस्याएँ|journal=The Journal of Logic Programming|language=en|volume=25|issue=2|pages=163–190|doi=10.1016/0743-1066(95)00051-K|issn=0743-1066|doi-access=free}}</ref> लेकिन इसे Datalog के कुछ अंशों तक सीमित करके निर्णायक बनाया जा सकता है।
== अभिव्यक्ति ==
{{dfni|बाउंडनेस समस्या}} के लिए डेटालॉग पूछता है, एक डेटालॉग प्रोग्राम दिया गया है, चाहे वह हो {{dfni|bounded}}, यानी, एक इनपुट डेटाबेस पर प्रोग्राम का मूल्यांकन करते समय अधिकतम रिकर्सन गहराई तक पहुंचा जा सकता है, जिसे कुछ स्थिरता से बांधा जा सकता है। दूसरे शब्दों में, यह प्रश्न पूछता है कि क्या डेटालॉग प्रोग्राम को एक गैर-आवर्ती डेटालॉग प्रोग्राम के रूप में फिर से लिखा जा सकता है। इच्छानुसार डेटालॉग प्रोग्राम पर बाउंडनेस की समस्या का समाधान करना [[अनिर्णीत समस्या]] है,<ref>{{Cite journal|last1=Hillebrand|first1=Gerd G|last2=Kanellakis|first2=Paris C|last3=Mairson|first3=Harry G|last4=Vardi|first4=Moshe Y|date=1995-11-01|title=डेटालॉग प्रोग्राम के लिए अनिर्णायक बाउंडनेस समस्याएँ|journal=The Journal of Logic Programming|language=en|volume=25|issue=2|pages=163–190|doi=10.1016/0743-1066(95)00051-K|issn=0743-1066|doi-access=free}}</ref> लेकिन इसे डेटालॉग के कुछ अंशों तक सीमित करके निर्णायक बनाया जा सकता है।


== डेटा लॉग इंजन ==
== डेटा लॉग इंजन ==


{{see|Draft:List of Datalog engines}}
{{see|प्रारूप: डेटालॉग इंजनों की सूची}}


सिस्टम जो Datalog से प्रेरित भाषाओं को लागू करता है, चाहे वह [[ संकलक ]], [[ दुभाषिया (कंप्यूटिंग) ]], [[ पुस्तकालय (कम्प्यूटिंग) ]], या एंबेडेड DSL, के रूप में जाना जाता है {{dfni|Datalog engines}}. Datalog इंजन अक्सर Datalog के एक्सटेंशन को लागू करते हैं, इसे अतिरिक्त [[डेटा प्रकार]], [[विदेशी फ़ंक्शन इंटरफ़ेस]] या उपयोगकर्ता-परिभाषित जाली (ऑर्डर) के लिए समर्थन के साथ विस्तारित करते हैं। इस तरह के एक्सटेंशन डायवर्जेंस (कंप्यूटर साइंस) | नॉन-टर्मिनेटिंग या अन्यथा खराब परिभाषित प्रोग्राम लिखने की अनुमति दे सकते हैं।
सिस्टम जो डेटालॉग से प्रेरित भाषाओं को लागू करता है, चाहे वह [[ संकलक |संकलक]] , [[ दुभाषिया (कंप्यूटिंग) |दुभाषिया (कंप्यूटिंग)]] , [[ पुस्तकालय (कम्प्यूटिंग) |पुस्तकालय (कम्प्यूटिंग)]] , या एंबेडेड DSL, के रूप में जाना जाता है {{dfni|डेटालॉग इंजन}}. डेटालॉग इंजन अधिकांशतः डेटालॉग के एक्सटेंशन को लागू करते हैं, इसे अतिरिक्त [[डेटा प्रकार]], [[विदेशी फ़ंक्शन इंटरफ़ेस]] या उपयोगकर्ता-परिभाषित जाली (ऑर्डर) के लिए समर्थन के साथ विस्तारित करते हैं। इस तरह के एक्सटेंशन डायवर्जेंस (कंप्यूटर साइंस) | नॉन-टर्मिनेटिंग या अन्यथा खराब परिभाषित प्रोग्राम लिखने की अनुमति दे सकते हैं।


== उपयोग और प्रभाव ==
== उपयोग और प्रभाव ==


Datalog अपनी अभिव्यक्ति में काफी सीमित है। यह ट्यूरिंग पूर्णता नहीं है | ट्यूरिंग-पूर्ण, और इसमें बुनियादी डेटा प्रकार जैसे इंटेगर (कंप्यूटर विज्ञान) या [[स्ट्रिंग (कंप्यूटर विज्ञान)]] शामिल नहीं है। यह पारसीमोनी एक सैद्धांतिक दृष्टिकोण से अपील कर रहा है, लेकिन इसका मतलब है कि Datalog per se शायद ही कभी एक प्रोग्रामिंग भाषा के रूप में उपयोग किया जाता है।<ref>Lifschitz, Vladimir. "Foundations of logic programming." ''Principles of knowledge representation'' 3 (1996): 69-127. "The expressive possibilities of [Datalog] are much too limited for meaningful applications to knowledge representation."</ref> अधिकांश #Datalog इंजन, Datalog के पर्याप्त विस्तार को लागू करते हैं। हालाँकि, इस तरह के कार्यान्वयन पर Datalog का एक मजबूत प्रभाव है, और कई लेखक उन्हें इस लेख में प्रस्तुत किए गए Datalog से अलग करने की जहमत नहीं उठाते हैं। तदनुसार, इस खंड में चर्चा किए गए अनुप्रयोगों में सूची-आधारित भाषाओं के यथार्थवादी कार्यान्वयन के अनुप्रयोग शामिल हैं।
डेटालॉग अपनी अभिव्यक्ति में काफी सीमित है। यह ट्यूरिंग पूर्णता नहीं है | ट्यूरिंग-पूर्ण, और इसमें बुनियादी डेटा प्रकार जैसे इंटेगर (कंप्यूटर विज्ञान) या [[स्ट्रिंग (कंप्यूटर विज्ञान)]] सम्मलित नहीं है। यह पारसीमोनी एक सैद्धांतिक दृष्टिकोण से अपील कर रहा है, लेकिन इसका तात्पर्य है कि डेटालॉग प्रति से संभवतः ही कभी एक प्रोग्रामिंग भाषा के रूप में उपयोग किया जाता है।<ref>Lifschitz, Vladimir. "Foundations of logic programming." ''Principles of knowledge representation'' 3 (1996): 69-127. "The expressive possibilities of [Datalog] are much too limited for meaningful applications to knowledge representation."</ref> अधिकांश डेटालॉग इंजन, डेटालॉग के पर्याप्त विस्तार को लागू करते हैं। चूँकि , इस तरह के कार्यान्वयन पर डेटालॉग का एक मजबूत प्रभाव है, और कई लेखक उन्हें इस लेख में प्रस्तुत किए गए डेटालॉग से अलग करने की झंझट नहीं उठाते हैं। तदनुसार, इस खंड में चर्चा किए गए अनुप्रयोगों में सूची-आधारित भाषाओं के यथार्थवादी कार्यान्वयन के अनुप्रयोग सम्मलित हैं।
 
डेटालॉग को डेटा एकीकरण, [[सूचना निष्कर्षण]], कंप्यूटर नेटवर्क, [[सुरक्षा]], [[ क्लाउड कम्प्यूटिंग |क्लाउड कम्प्यूटिंग]] और [[ यंत्र अधिगम |यंत्र अधिगम]] में समस्याओं के लिए लागू किया गया है।<ref>{{Citation | url = http://www.cs.ucdavis.edu/~green/papers/sigmod906t-huang.pdf | title = SIGMOD 2011 | contribution = Datalog and Emerging applications | last = Huang, Green, and Loo  | publisher = UC Davis}}.</ref><ref>{{Cite journal|title=Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification|journal=Proceedings of ICML 2020|last1=Mei |first1=Hongyuan |last2=Qin |first2=Guanghui |last3=Xu |first3=Minjie |last4=Eisner |first4=Jason |year=2020 |arxiv=2006.16723 }}</ref> [[Google|गूगल]] ने बड़े डेटा संसाधन के लिए डेटालॉग का एक एक्सटेंशन विकसित किया है।<ref>{{Cite journal |last1=Chin |first1=Brian |last2=Dincklage |first2=Daniel von |last3=Ercegovac |first3=Vuk |last4=Hawkins |first4=Peter |last5=Miller |first5=Mark S. |last6=Och |first6=Franz |last7=Olston |first7=Christopher |last8=Pereira |first8=Fernando |date=2015 |editor-last=Ball |editor-first=Thomas |editor2-last=Bodik |editor2-first=Rastislav |editor3-last=Krishnamurthi |editor3-first=Shriram |editor4-last=Lerner |editor4-first=Benjamin S. |editor5-last=Morrisett |editor5-first=Greg |title=Yedalog: Exploring Knowledge at Scale |url=http://drops.dagstuhl.de/opus/volltexte/2015/5017 |journal=1st Summit on Advances in Programming Languages (SNAPL 2015) |series=Leibniz International Proceedings in Informatics (LIPIcs) |location=Dagstuhl, Germany |publisher=Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik |volume=32 |pages=63–78 |doi=10.4230/LIPIcs.SNAPL.2015.63 |isbn=978-3-939897-80-4}}</ref>
 
डेटालॉग ने स्थैतिक प्रोग्राम विश्लेषण में अनुप्रयोग देखा है।<ref>{{Cite journal |last1=Whaley |first1=John |last2=Avots |first2=Dzintars |last3=Carbin |first3=Michael |last4=Lam |first4=Monica S. |date=2005 |editor-last=Yi |editor-first=Kwangkeun |title=प्रोग्राम विश्लेषण के लिए बाइनरी डिसीजन डायग्राम के साथ डेटालॉग का उपयोग करना|url=https://link.springer.com/chapter/10.1007/11575467_8 |journal=Programming Languages and Systems |series=Lecture Notes in Computer Science |volume=3780 |language=en |location=Berlin, Heidelberg |publisher=Springer |pages=97–118 |doi=10.1007/11575467_8 |isbn=978-3-540-32247-4}}</ref> सूफले (प्रोग्रामिंग भाषा) | सूफले बोली का उपयोग [[जावा (प्रोग्रामिंग भाषा)]] के लिए पॉइंटर विश्लेषण और [[नियंत्रण प्रवाह विश्लेषण]] | [[योजना (प्रोग्रामिंग भाषा)]] के लिए नियंत्रण-प्रवाह विश्लेषण लिखने के लिए किया गया है।<ref>{{Cite journal |last1=Scholz |first1=Bernhard |last2=Jordan |first2=Herbert |last3=Subotić |first3=Pavle |last4=Westmann |first4=Till |date=2016-03-17 |title=Datalog में तेजी से बड़े पैमाने पर प्रोग्राम विश्लेषण पर|url=https://doi.org/10.1145/2892208.2892226 |journal=Proceedings of the 25th International Conference on Compiler Construction |series=CC 2016 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=196–206 |doi=10.1145/2892208.2892226 |isbn=978-1-4503-4241-4|s2cid=7531543 }}</ref><ref>{{Cite journal |last1=Antoniadis |first1=Tony |last2=Triantafyllou |first2=Konstantinos |last3=Smaragdakis |first3=Yannis |date=2017-06-18 |title=Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses |url=https://doi.org/10.1145/3088515.3088522 |journal=Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis |series=SOAP 2017 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=25–30 |doi=10.1145/3088515.3088522 |isbn=978-1-4503-5072-3|s2cid=3074689 }}</ref> कुछ स्थिर विश्लेषणों को लिखना आसान बनाने के लिए डेटालॉग को संतुष्टि मॉडुलो सिद्धांतों के साथ एकीकृत किया गया है।<ref>{{Cite journal |last1=Bembenek |first1=Aaron |last2=Greenberg |first2=Michael |last3=Chong |first3=Stephen |date=2020-11-13 |title=Formulog: Datalog for SMT-based static analysis |url=https://doi.org/10.1145/3428209 |journal=Proceedings of the ACM on Programming Languages |volume=4 |issue=OOPSLA |pages=141:1–141:31 |doi=10.1145/3428209|s2cid=226961727 }}</ref> फ़्लिक्स (प्रोग्रामिंग भाषा) बोली स्थिर प्रोग्राम विश्लेषण लिखने के लिए भी अनुकूल है।<ref>{{Cite journal |last1=Madsen |first1=Magnus |last2=Yee |first2=Ming-Ho |last3=Lhoták |first3=Ondřej |date=2016-06-02 |title=From Datalog to flix: a declarative language for fixed points on lattices |url=https://doi.org/10.1145/2980983.2908096 |journal=ACM SIGPLAN Notices |volume=51 |issue=6 |pages=194–208 |doi=10.1145/2980983.2908096 |issn=0362-1340}}</ref>
 
कुछ व्यापक रूप से उपयोग किए जाने वाले डेटाबेस सिस्टम में डेटालॉग के लिए विकसित विचार और एल्गोरिदम सम्मलित हैं। उदाहरण के लिए, SQL:1999 मानक में [[SQL में श्रेणीबद्ध और पुनरावर्ती प्रश्न]] सम्मलित हैं, और IBM के [[IBM DB2]] में मैजिक सेट्स एल्गोरिथम (प्रारंभिक में डेटालॉग प्रश्नों के तेजी से मूल्यांकन के लिए विकसित) लागू किया गया है।<ref>{{cite book|last1=Gryz|last2=Guo|last3=Liu|last4=Zuzarte|chapter=Query sampling in DB2 Universal Database|chapter-url=http://dl.acm.org/ft_gateway.cfm?id=1007664&ftid=268727&dwn=1&CFID=411300798&CFTOKEN=23708243|chapter-format=PDF|doi=10.1145/1007568.1007664|title=Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04|pages=839|year=2004|isbn=978-1581138597|s2cid=7775190}}</ref>


Datalog को डेटा एकीकरण, [[सूचना निष्कर्षण]], कंप्यूटर नेटवर्क, [[सुरक्षा]], [[ क्लाउड कम्प्यूटिंग ]] और [[ यंत्र अधिगम ]] में समस्याओं के लिए लागू किया गया है।<ref>{{Citation | url = http://www.cs.ucdavis.edu/~green/papers/sigmod906t-huang.pdf | title = SIGMOD 2011 | contribution = Datalog and Emerging applications | last = Huang, Green, and Loo  | publisher = UC Davis}}.</ref><ref>{{Cite journal|title=Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification|journal=Proceedings of ICML 2020|last1=Mei |first1=Hongyuan |last2=Qin |first2=Guanghui |last3=Xu |first3=Minjie |last4=Eisner |first4=Jason |year=2020 |arxiv=2006.16723 }}</ref> [[Google]] ने बड़े डेटा संसाधन के लिए Datalog का एक एक्सटेंशन विकसित किया है।<ref>{{Cite journal |last1=Chin |first1=Brian |last2=Dincklage |first2=Daniel von |last3=Ercegovac |first3=Vuk |last4=Hawkins |first4=Peter |last5=Miller |first5=Mark S. |last6=Och |first6=Franz |last7=Olston |first7=Christopher |last8=Pereira |first8=Fernando |date=2015 |editor-last=Ball |editor-first=Thomas |editor2-last=Bodik |editor2-first=Rastislav |editor3-last=Krishnamurthi |editor3-first=Shriram |editor4-last=Lerner |editor4-first=Benjamin S. |editor5-last=Morrisett |editor5-first=Greg |title=Yedalog: Exploring Knowledge at Scale |url=http://drops.dagstuhl.de/opus/volltexte/2015/5017 |journal=1st Summit on Advances in Programming Languages (SNAPL 2015) |series=Leibniz International Proceedings in Informatics (LIPIcs) |location=Dagstuhl, Germany |publisher=Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik |volume=32 |pages=63–78 |doi=10.4230/LIPIcs.SNAPL.2015.63 |isbn=978-3-939897-80-4}}</ref>
Datalog ने स्थैतिक प्रोग्राम विश्लेषण में अनुप्रयोग देखा है।<ref>{{Cite journal |last1=Whaley |first1=John |last2=Avots |first2=Dzintars |last3=Carbin |first3=Michael |last4=Lam |first4=Monica S. |date=2005 |editor-last=Yi |editor-first=Kwangkeun |title=प्रोग्राम विश्लेषण के लिए बाइनरी डिसीजन डायग्राम के साथ डेटालॉग का उपयोग करना|url=https://link.springer.com/chapter/10.1007/11575467_8 |journal=Programming Languages and Systems |series=Lecture Notes in Computer Science |volume=3780 |language=en |location=Berlin, Heidelberg |publisher=Springer |pages=97–118 |doi=10.1007/11575467_8 |isbn=978-3-540-32247-4}}</ref> Soufflé (प्रोग्रामिंग भाषा) | Soufflé बोली का उपयोग [[जावा (प्रोग्रामिंग भाषा)]] के लिए पॉइंटर विश्लेषण और [[नियंत्रण प्रवाह विश्लेषण]] | [[योजना (प्रोग्रामिंग भाषा)]] के लिए नियंत्रण-प्रवाह विश्लेषण लिखने के लिए किया गया है।<ref>{{Cite journal |last1=Scholz |first1=Bernhard |last2=Jordan |first2=Herbert |last3=Subotić |first3=Pavle |last4=Westmann |first4=Till |date=2016-03-17 |title=Datalog में तेजी से बड़े पैमाने पर प्रोग्राम विश्लेषण पर|url=https://doi.org/10.1145/2892208.2892226 |journal=Proceedings of the 25th International Conference on Compiler Construction |series=CC 2016 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=196–206 |doi=10.1145/2892208.2892226 |isbn=978-1-4503-4241-4|s2cid=7531543 }}</ref><ref>{{Cite journal |last1=Antoniadis |first1=Tony |last2=Triantafyllou |first2=Konstantinos |last3=Smaragdakis |first3=Yannis |date=2017-06-18 |title=Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses |url=https://doi.org/10.1145/3088515.3088522 |journal=Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis |series=SOAP 2017 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=25–30 |doi=10.1145/3088515.3088522 |isbn=978-1-4503-5072-3|s2cid=3074689 }}</ref> कुछ स्थिर विश्लेषणों को लिखना आसान बनाने के लिए डेटालॉग को संतुष्टि मॉडुलो सिद्धांतों के साथ एकीकृत किया गया है।<ref>{{Cite journal |last1=Bembenek |first1=Aaron |last2=Greenberg |first2=Michael |last3=Chong |first3=Stephen |date=2020-11-13 |title=Formulog: Datalog for SMT-based static analysis |url=https://doi.org/10.1145/3428209 |journal=Proceedings of the ACM on Programming Languages |volume=4 |issue=OOPSLA |pages=141:1–141:31 |doi=10.1145/3428209|s2cid=226961727 }}</ref> फ़्लिक्स (प्रोग्रामिंग भाषा) बोली स्थिर प्रोग्राम विश्लेषण लिखने के लिए भी अनुकूल है।<ref>{{Cite journal |last1=Madsen |first1=Magnus |last2=Yee |first2=Ming-Ho |last3=Lhoták |first3=Ondřej |date=2016-06-02 |title=From Datalog to flix: a declarative language for fixed points on lattices |url=https://doi.org/10.1145/2980983.2908096 |journal=ACM SIGPLAN Notices |volume=51 |issue=6 |pages=194–208 |doi=10.1145/2980983.2908096 |issn=0362-1340}}</ref>
कुछ व्यापक रूप से उपयोग किए जाने वाले डेटाबेस सिस्टम में Datalog के लिए विकसित विचार और एल्गोरिदम शामिल हैं। उदाहरण के लिए, SQL:1999 मानक में [[SQL में श्रेणीबद्ध और पुनरावर्ती प्रश्न]] शामिल हैं, और IBM के [[IBM DB2]] में मैजिक सेट्स एल्गोरिथम (शुरुआत में Datalog प्रश्नों के तेजी से मूल्यांकन के लिए विकसित) लागू किया गया है।<ref>{{cite book|last1=Gryz|last2=Guo|last3=Liu|last4=Zuzarte|chapter=Query sampling in DB2 Universal Database|chapter-url=http://dl.acm.org/ft_gateway.cfm?id=1007664&ftid=268727&dwn=1&CFID=411300798&CFTOKEN=23708243|chapter-format=PDF|doi=10.1145/1007568.1007664|title=Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04|pages=839|year=2004|isbn=978-1581138597|s2cid=7775190}}</ref>




== इतिहास ==
== इतिहास ==


Datalog की उत्पत्ति [[तर्क]] प्रोग्रामिंग की शुरुआत में हुई थी, लेकिन यह 1977 के आसपास एक अलग क्षेत्र के रूप में प्रमुख हो गया जब हर्वे गैलेयर और [[जैक मिंकर]] ने तर्क और [[डेटाबेस]] पर एक कार्यशाला का आयोजन किया।<ref>{{Citation | editor1-first = Hervé | editor1-last = Gallaire | editor2-first = John 'Jack' | editor2-last = Minker | contribution = Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977 | title = Advances in Data Base Theory | publisher = Plenum Press | place = New York | year = 1978 | isbn = 978-0-306-40060-5 | url-access = registration | url = https://archive.org/details/logicdatabases0000symp }}.</ref> [[डेविड मैयर]] को 'डेटालॉग' शब्द गढ़ने का श्रेय दिया जाता है।<ref>{{Citation | author1-link = Serge Abiteboul | first1 = Serge | last1 = Abiteboul | first2 = Richard | last2 = Hull | author3-link = Victor Vianu | first3 = Victor | last3 = Vianu | title = Foundations of databases | page = 305 | url = https://books.google.com/books?id=HN9QAAAAMAAJ&q=David+Maier| isbn = 9780201537710 | year = 1995 }}.</ref>
डेटालॉग की उत्पत्ति [[तर्क]] प्रोग्रामिंग की प्रारंभिक में हुई थी, लेकिन यह 1977 के आसपास एक अलग क्षेत्र के रूप में प्रमुख हो गया जब हर्वे गैलेयर और [[जैक मिंकर]] ने तर्क और [[डेटाबेस]] पर एक कार्यशाला का आयोजन किया।<ref>{{Citation | editor1-first = Hervé | editor1-last = Gallaire | editor2-first = John 'Jack' | editor2-last = Minker | contribution = Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977 | title = Advances in Data Base Theory | publisher = Plenum Press | place = New York | year = 1978 | isbn = 978-0-306-40060-5 | url-access = registration | url = https://archive.org/details/logicdatabases0000symp }}.</ref> [[डेविड मैयर]] को 'डेटालॉग' शब्द गढ़ने का श्रेय दिया जाता है।<ref>{{Citation | author1-link = Serge Abiteboul | first1 = Serge | last1 = Abiteboul | first2 = Richard | last2 = Hull | author3-link = Victor Vianu | first3 = Victor | last3 = Vianu | title = Foundations of databases | page = 305 | url = https://books.google.com/books?id=HN9QAAAAMAAJ&q=David+Maier| isbn = 9780201537710 | year = 1995 }}.</ref>




Line 304: Line 320:
* फ्लिक्स (प्रोग्रामिंग भाषा)
* फ्लिक्स (प्रोग्रामिंग भाषा)
* शब्दार्थ वेब नियम भाषा
* शब्दार्थ वेब नियम भाषा
* [[टपल-जनरेटिंग डिपेंडेंसी]] (TGD), डेटालॉग के समान सिंटैक्स के साथ संबंधपरक डेटाबेस पर अखंडता की कमी के लिए एक भाषा
* [[टपल-जनरेटिंग डिपेंडेंसी]] (TGD), डेटालॉग के समान सिंटैक्स के साथ संबंधपरक डेटाबेस पर अखंडता की कमी के लिए एक भाषा है।


== टिप्पणियाँ ==
== टिप्पणियाँ ==
Line 316: Line 332:




{{Query languages}}
{{Authority control}}
{{Authority control}}
[[Category: क्वेरी भाषाएँ]] [[Category: तर्क प्रोग्रामिंग भाषाएँ]] [[Category: घोषणात्मक प्रोग्रामिंग भाषाएँ]]


[[Category: Machine Translated Page]]
[[Category:All articles lacking reliable references]]
[[Category:Articles lacking reliable references from March 2023]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with invalid date parameter in template]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 15/05/2023]]
[[Category:Created On 15/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:क्वेरी भाषाएँ]]
[[Category:घोषणात्मक प्रोग्रामिंग भाषाएँ]]
[[Category:तर्क प्रोग्रामिंग भाषाएँ]]

Latest revision as of 16:46, 26 October 2023

डेटालॉग
ParadigmLogic, Declarative
परिवारProlog
पहली प्रस्तुति1986; 39 years ago (1986)
टाइपिंग अनुशासनWeak
Dialects
Datomic, .QL, Soufflé, etc.
Influenced by
Prolog

डेटालॉग एक घोषणात्मक प्रोग्रामिंग तर्क प्रोग्रामिंग लैंग्वेज है। चूंकि यह सिंटैक्टिक रूप से प्रोलॉग का सबसेट है, लेकिन सूचीपत्र सामान्यतः टॉप-डाउन मूल्यांकन मॉडल के अतिरिक्त नीचे-ऊपर का उपयोग करता है। यह अंतर प्रोलॉग से काफी भिन्न व्यवहार और गुण उत्पन्न करता है। यह अधिकांशतः कटौतीत्मक डेटाबेस के लिए पूछताछ भाषा के रूप में उपयोग किया जाता है। डेटालॉग को डेटा एकीकरण, संगणक संजाल , कार्यक्रम विश्लेषण , और बहुत कुछ में समस्याओं के लिए लागू किया गया है।

उदाहरण

एक सूची कार्यक्रम में तथ्य सम्मलित होते हैं, जो ऐसे कथन होते हैं जिन्हें सत्य माना जाता है, और नियम, जो कहते हैं कि ज्ञात तथ्यों से नए तथ्यों को कैसे निकाला जाए। उदाहरण के लिए, यहां दो तथ्य दिए गए हैं, जिसका अर्थ है कि जेर्सेस ब्रुक का जनक है और ब्रुक डैमोकल्स का जनक है: 

parent(xerces, brooke).
parent(brooke, damocles).

नाम लोअरकेस में लिखे गए हैं क्योंकि अपरकेस अक्षर से प्रारंभ होने वाले तार वेरिएबल्स के लिए खड़े होते हैं। यहाँ दो नियम हैं: 

ancestor(X, Y) :- parent(X, Y).
ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).

:- e> प्रतीक को इस प्रकार पढ़ा जाता है मानो , और अल्पविराम को पढ़ा जाता है और , इसलिए इन नियमों का अर्थ है:
  • X, Y का पूर्वज है यदि X, Y का माता-पिता है।
  • X, Y का पूर्वज है यदि X किसी Z का माता-पिता है, और Z, Y का पूर्वज है।

एक कार्यक्रम का अर्थ उन सभी तथ्यों के समूह के रूप में परिभाषित किया जाता है, जिन्हें प्रारंभिक तथ्यों और नियमों का उपयोग करके निकाला जा सकता है। इस कार्यक्रम का अर्थ निम्नलिखित तथ्यों द्वारा दिया गया है: 

parent(xerces, brooke).
parent(brooke, damocles).
ancestor(xerces, brooke).
ancestor(brooke, damocles).
ancestor(xerces, damocles).

कुछ डेटालॉग कार्यान्वयन सभी संभावित तथ्यों को नहीं निकालते हैं, बल्कि प्रश्नों का उत्तर देते हैं: 

?- ancestor(xerces, X).

यह क्वेरी पूछती है: वे सभी X कौन हैं जो जर्सीज के पूर्वज हैं? इस उदाहरण के लिए, यह ब्रुक और डैमोकल्स लौटाएगा।

संबंध का डेटाबेस से समानता

डेटालॉग का गैर-पुनरावर्ती सबसेट संबंधपरक डेटाबेस, जैसे SQL के लिए क्वेरी भाषाओं से निकटता से संबंधित है। डेटालॉग, संबंधपरक बीजगणित और SQL अवधारणाओं के बीच निम्न तालिका मानचित्र:

डेटालॉग संबंधपरक बीजगणित SQL
संबंध संबंध Table
Fact टपल Row
नियम n/a भौतिक दृश्य
क्वैरी Select Query

अधिक औपचारिक रूप से, गैर-पुनरावर्ती डेटालॉग संयोजक प्रश्नों के संघ, या समकक्ष, निषेध-मुक्त संबंधपरक बीजगणित के सटीक रूप से मेल खाता है।

style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " |
Schematic translation from non-recursive Datalog into SQL
s(x, y).
t(y).
r(A, B) :- s(A, B), t(B).

CREATE TABLE s (
  z0 TEXT NONNULL,
  z1 TEXT NONNULL,
  PRIMARY KEY (z0, z1)
);
CREATE TABLE t (
  z0 TEXT NONNULL PRIMARY KEY
);
INSERT INTO s VALUES ('x', 'y');
INSERT INTO t VALUES ('y');
CREATE VIEW r AS
SELECT s.z0, s.z1
FROM s, t
WHERE s.z1 = t.z0;

सिंटेक्स

एक सूची कार्यक्रम में नियमों की एक सूची होती है (हॉर्न खंड)।[1] यदि निरंतर और चर क्रमशः स्थिरांक और चर के दो गणनीय सेट सेट हैं और संबंध विधेय चर का एक गणनीय सेट है, तो निम्नलिखित बीएनएफ व्याकरण एक डेटालॉग प्रोग्राम की संरचना को व्यक्त करता है: 

<program> ::= <rule> <program> | ""
<rule> ::= <atom> ":-" <atom-list> "."
<atom> ::= <relation> "(" <term-list> ")"
<atom-list> ::= <atom> | <atom> "," <atom-list> | ""
<term> ::= <constant> | <variable>
<term-list> ::= <term> | <term> "," <term-list> | ""

परमाणु भी कहा जाता है शाब्दिक. के बाईं ओर परमाणु :- प्रतीक कहा जाता है head नियम; दाईं ओर परमाणु हैं body. प्रत्येक डेटालॉग प्रोग्राम को इस शर्त को पूरा करना चाहिए कि नियम के शीर्ष में दिखाई देने वाला प्रत्येक चर शरीर में भी प्रकट होता है (इस स्थिति को कभी-कभी कहा जाता है सीमा प्रतिबंध).[1][2]

वेरिएबल नामों के लिए दो सामान्य परंपराएं हैं: वेरिएबल्स को बड़ा करना, या उन्हें एक प्रश्न चिह्न के साथ उपसर्ग करना ?.[3]

ध्यान दें कि इस परिभाषा के तहत, डेटालॉग करता है not निषेध और न ही समुच्चय सम्मलित करें; देखना § एक्सटेंशन उन निर्माणों के बारे में अधिक जानकारी के लिए।

खाली शरीर वाले नियम कहलाते हैं facts. उदाहरण के लिए, निम्नलिखित नियम एक तथ्य है: 

r(x) :- .

तथ्यों के समुच्चय को कहा जाता है विस्तारक डेटाबेस या EDB डेटालॉग कार्यक्रम के। डाटालॉग प्रोग्राम का मूल्यांकन करके गणना किए गए टुपल्स के सेट को कहा जाता है गहन डेटाबेस या IDB.

सिंथेटिक चीनी

लॉजिक प्रोग्रामिंग के कई कार्यान्वयन उपरोक्त व्याकरण का विस्तार करते हैं जिससे बिना तथ्यों को लिखने की अनुमति मिल सके :-, जैसे इतना: 

r(x).

कुछ 0-एरी संबंधों को कोष्ठक के बिना लिखने की अनुमति भी देते हैं, जैसे: 

p :- q.

ये एकमात्र संक्षिप्त रूप हैं (सिंटैक्टिक चीनी); कार्यक्रम के शब्दार्थ पर उनका कोई प्रभाव नहीं है।

शब्दार्थ

Main article: लॉजिक प्रोग्रामिंग का सिंटैक्स और सिमेंटिक्स
Herbrand universe, base, and model of a Datalog program

Program: 

edge(x, y).
edge(y, z).
path(A, B) :- 
  edge(A, B).
path(A, C) :- 
  path(A, B), 
  edge(B, C).
Herbrand universe: x, y, z
Herbrand base: edge(x, x), edge(x, y), ..., edge(z, z), path(x, x), ..., path(z, z)
Herbrand model: edge(x, y), edge(y, z), path(x, y), path(y, z), path(x, z)

डेटालॉग प्रोग्राम के शब्दार्थ के लिए तीन व्यापक रूप से उपयोग किए जाने वाले दृष्टिकोण हैं: मॉडल सिद्धांत | मॉडल-सैद्धांतिक, निश्चित बिंदु (गणित) | निश्चित-बिंदु, और प्रूफ-सैद्धांतिक शब्दार्थ | प्रूफ-सैद्धांतिक। इन तीन दृष्टिकोणों को समकक्ष सिद्ध किया जा सकता है।[4]

परमाणु कहा जाता है जमीन यदि इसका कोई उपपद चर नहीं है। सहज रूप से, प्रत्येक शब्दार्थ एक कार्यक्रम के अर्थ को परिभाषित करता है, जो कि सभी जमीनी परमाणुओं का समूह होता है, जिसे तथ्यों से प्रारंभ करके, कार्यक्रम के नियमों से घटाया जा सकता है।

मॉडल सैद्धांतिक

एक नियम को ग्राउंड कहा जाता है यदि इसके सभी परमाणु (सिर और शरीर) ग्राउंड होते हैं। एक बुनियादी नियम R1 दूसरे नियम R2 का एक जमीनी उदाहरण है यदि R1 R2 में सभी चर के लिए स्थिरांक के प्रतिस्थापन (तर्क) का परिणाम है. डाटालॉग प्रोग्राम का हरब्रांड बेस सभी जमीनी परमाणुओं का सेट है जो प्रोग्राम में दिखाई देने वाले स्थिरांक के साथ बनाया जा सकता है। हरब्रांड मॉडल} एल एक डेटालॉग प्रोग्राम का सबसे छोटा उपसमुच्चय है, जैसे कि कार्यक्रम में प्रत्येक नियम के प्रत्येक आधार उदाहरण के लिए, यदि नियम के शरीर में परमाणु सेट में हैं, तो सिर भी है।[5] मॉडल-सैद्धांतिक शब्दार्थ कार्यक्रम के अर्थ के रूप में न्यूनतम हेरब्रांड मॉडल को परिभाषित करता है।

फिक्स्ड-पॉइंट

फिक्स्ड-पॉइंट होने देना I कार्यक्रम P के हरब्रांड आधार का सत्ता स्थापित हो। P के लिए तत्काल परिणाम ऑपरेटर एक मानचित्र है T से I को I जो एक ही चरण में कार्यक्रम के नियमों से प्राप्त किए जा सकने वाले सभी नए जमीनी परमाणुओं को जोड़ता है। कम से कम निश्चित बिंदु शब्दार्थ कम से कम निश्चित बिंदु को परिभाषित करता है T कार्यक्रम का अर्थ होना; यह न्यूनतम हरब्रांड मॉडल के साथ मेल खाता है।[6]

फ़िक्सप्वाइंट सिमेंटिक्स न्यूनतम मॉडल की गणना के लिए एक एल्गोरिथ्म का सुझाव देता है: कार्यक्रम में जमीनी तथ्यों के सेट के साथ प्रारंभ करें, फिर एक निश्चित बिंदु तक पहुंचने तक नियमों के परिणामों को बार-बार जोड़ें। इस एल्गोरिद्म को भोला मूल्यांकन कहा जाता है।

प्रमाण-सैद्धांतिक

ग्राउंड एटम की व्युत्पत्ति दर्शाने वाला प्रूफ ट्री path(x, z) कार्यक्रम से 
edge(x, y).
edge(y, z).
path(A, B) :- 
  edge(A, B).
path(A, C) :- 
  path(A, B), 
  edge(B, C).

प्रूफ-सैद्धांतिक शब्दार्थ एक डेटालॉग प्रोग्राम के अर्थ को संबंधित प्रूफ ट्री के साथ तथ्यों के सेट के रूप में परिभाषित करता है। सहज रूप से, एक प्रूफ ट्री दिखाता है कि किसी प्रोग्राम के तथ्यों और नियमों से तथ्य कैसे प्राप्त किया जाए।

किसी को यह जानने में दिलचस्पी हो सकती है कि क्या एक विशेष जमीनी परमाणु एक सूची कार्यक्रम के न्यूनतम हरब्रांड मॉडल में दिखाई देता है या नहीं, संभवतः बाकी मॉडल के बारे में ज्यादा परवाह किए बिना। ऊपर वर्णित प्रूफ ट्री का टॉप-डाउन रीडिंग ऐसे प्रश्नों के परिणामों की गणना के लिए एक एल्गोरिथ्म का सुझाव देता है। यह पठन एसएलडी संकल्प एल्गोरिदम को सूचित करता है, जो प्रोलॉग के मूल्यांकन के लिए आधार बनाता है।

मूल्यांकन

अलग-अलग प्रदर्शन विशेषताओं के साथ, एक सूची कार्यक्रम का मूल्यांकन करने के कई अलग-अलग विधि हैं।

बॉटम-अप मूल्यांकन रणनीतियाँ

बॉटम-अप मूल्यांकन रणनीतियाँ कार्यक्रम में तथ्यों के साथ प्रारंभ होती हैं और नियमों को बार-बार लागू करती हैं जब तक कि कोई लक्ष्य या प्रश्न स्थापित नहीं हो जाता है, या जब तक कार्यक्रम का पूर्ण न्यूनतम मॉडल तैयार नहीं हो जाता है।

भोला मूल्यांकन

भोले-भाले मूल्यांकन में फिक्सपॉइंट शब्दार्थ को डेटालॉग प्रोग्राम के लिए प्रतिबिम्बित करता है। भोली मूल्यांकन ज्ञात तथ्यों के एक सेट का उपयोग करता है, जिसे कार्यक्रम में तथ्यों के लिए आरंभ किया जाता है। यह कार्यक्रम में प्रत्येक नियम के सभी जमीनी उदाहरणों की बार-बार गणना करके आगे बढ़ता है। यदि जमीनी उदाहरण के शरीर में प्रत्येक परमाणु ज्ञात तथ्यों के समूह में है, तो शीर्ष परमाणु को ज्ञात तथ्यों के समूह में जोड़ा जाता है। यह प्रक्रिया एक निश्चित बिंदु तक पहुंचने तक दोहराई जाती है, और कोई और तथ्य नहीं निकाला जा सकता है। सहज मूल्यांकन कार्यक्रम के संपूर्ण न्यूनतम मॉडल का निर्माण करता है।[7]

अर्ध-भोला मूल्यांकन

अर्ध-भोले मूल्यांकन एक नीचे से ऊपर की मूल्यांकन रणनीति है जो सहज मूल्यांकन की समानता में विषम रूप से तेज हो सकती है।[8]


प्रदर्शन विचार

आर्गोन नेशनल प्रयोगशाला में थीटा सुपरकंप्यूटर पर एक समानांतर डेटालॉग इंजन का मूल्यांकन किया गया था।[9]

भोली और अर्ध-भोली मूल्यांकन दोनों एक निश्चित बिंदु तक पहुंचने तक ज्ञात तथ्यों के एक सेट पर बार-बार लागू करके पुनरावर्ती डेटालॉग नियमों का मूल्यांकन करते हैं। प्रत्येक पुनरावृत्ति में, नियम एकमात्र एक चरण के लिए चलाए जाते हैं, अर्थात गैर-पुनरावर्ती रूप से। जैसा कि उल्लेख किया गया है समानता संबंधपरक डेटाबेस के लिए, प्रत्येक गैर-पुनरावर्ती डेटालॉग नियम एक संयुग्मन क्वेरी के लिए सटीक रूप से मेल खाता है। इसलिए, संयुग्मी प्रश्नों को गति देने के लिए उपयोग की जाने वाली डेटाबेस सिद्धांत की कई तकनीकें डेटालॉग के बॉटम-अप मूल्यांकन पर लागू होती हैं, जैसे कि

इस तरह की कई तकनीकों को आधुनिक बॉटम-अप डेटालॉग इंजनों में कार्यान्वित किया जाता है जैसे सूफले (प्रोग्रामिंग लैंग्वेज) | सूफले। कुछ डेटालॉग इंजन सीधे SQL डेटाबेस को एकीकृत करते हैं।[13]

डेटालॉग का बॉटम-अप मूल्यांकन भी समानांतर कंप्यूटिंग के लिए उत्तरदायी है। समानांतर डेटालॉग इंजन सामान्यतः दो प्रतिमानों में विभाजित होते हैं:

  • साझा-मेमोरी, मल्टी-कोर सेटिंग में, डेटालॉग इंजन एक नोड पर निष्पादित होते हैं। लॉक (कंप्यूटर विज्ञान) या लॉक-मुक्त डेटा संरचनाओं का उपयोग करके थ्रेड्स के बीच समन्वय प्राप्त किया जा सकता है। उदाहरणों में ओपनएमपी का उपयोग करने वाले डेटालॉग इंजन सम्मलित हैं।[14]
  • साझा-कुछ नहीं वास्तुकला |शेयर्ड-नथिंग सेटिंग में, डाटालॉग इंजन नोड्स के कंप्यूटर क्लस्टर पर निष्पादित होते हैं। ऐसे इंजन सामान्यतः हैश फंकशन के आधार पर अलग-अलग उपसमुच्चय में संबंधों को विभाजित करके संचालित करते हैं, प्रत्येक नोड पर संगणना (जुड़ना) करते हैं, और फिर नेटवर्क पर नव-निर्मित ट्यूपल्स का आदान-प्रदान करते हैं।[15] उदाहरणों में संदेश पासिंग इंटरफ़ेस पर आधारित डेटालॉग इंजन सम्मलित हैं,[16] अपाचे हडूप,[17] और अपाचे स्पार्क। सम्मलित हैं[18]


टॉप-डाउन मूल्यांकन रणनीतियाँ

एसएलडी रिजॉल्यूशन डाटालॉग प्रोग्राम के लिए मजबूत और पूर्ण है।

जादू सेट

टॉप-डाउन मूल्यांकन रणनीतियाँ एक प्रश्न या लक्ष्य से प्रारंभ होती हैं। बॉटम-अप मूल्यांकन रणनीतियाँ पूरे न्यूनतम मॉडल की गणना करके और उसके विरुद्ध क्वेरी का मिलान करके प्रश्नों का उत्तर दे सकती हैं, लेकिन यह अक्षम हो सकता है यदि उत्तर एकमात्र पूरे मॉडल के एक छोटे उपसमुच्चय पर निर्भर करता है। जादू सेट एल्गोरिदम एक डेटालॉग प्रोग्राम और एक क्वेरी लेता है, और एक अधिक कुशल प्रोग्राम तैयार करता है जो नीचे-ऊपर मूल्यांकन का उपयोग करते हुए क्वेरी के समान उत्तर की गणना करता है।[19] मैजिक सेट एल्गोरिथम के एक प्रकार को ऐसे प्रोग्राम बनाने के लिए दिखाया गया है, जो अर्ध-भोले मूल्यांकन|अर्द्ध-भोले मूल्यांकन का उपयोग करके मूल्यांकन किए जाने पर, टॉप-डाउन मूल्यांकन के रूप में कुशल हैं।[20]


जटिलता

डेटालॉग मूल्यांकन का निर्णय समस्या सूत्रीकरण इस प्रकार है: एक डेटालॉग प्रोग्राम दिया गया P तथ्यों के एक सेट में विभाजित (ईडीबी) E और नियमों का एक सेट R, और एक व्याख्या A, है A के न्यूनतम मॉडल में P? इस सूत्रीकरण में, सूची कार्यक्रमों के मूल्यांकन की कम्प्यूटेशनल जटिलता के तीन रूप हैं:[21]

  • डेटा जटिलता} निर्णय समस्या की जटिलता है जब A और E इनपुट हैं और R निश्चित है।
  • वह कार्यक्रम की जटिलता निर्णय समस्या की जटिलता है जब A और R इनपुट हैं और E निश्चित है।
  • वह संयुक्त जटिलता निर्णय समस्या की जटिलता है जब A, E, और R इनपुट हैं।

डेटा जटिलता के संबंध में, डेटालॉग के लिए निर्णय समस्या P-पूर्ण है। कार्यक्रम की जटिलता के संबंध में, निर्णय समस्या EXPTIME-पूर्ण है। विशेष रूप से, सूची कार्यक्रमों का मूल्यांकन हमेशा समाप्त हो जाता है; डेटालॉग ट्यूरिंग पूर्णता नहीं है | ट्यूरिंग-पूर्ण।

डेटालॉग के कुछ एक्सटेंशन इन जटिलता सीमाओं को संरक्षित नहीं करते हैं। कुछ डेटालॉग इंजनों में लागू किए गए एक्सटेंशन डेटालॉग इंजन, जैसे कि बीजगणितीय डेटा प्रकार, परिणामी भाषा को ट्यूरिंग-पूर्ण भी बना सकते हैं।

एक्सटेंशन

डेटालॉग में कई एक्सटेंशन किए गए हैं, उदाहरण के लिए, ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग की अनुमति देने के लिए, नकारात्मकता, कुल कार्यों, असमानताओं का समर्थन करने के लिए, या खंड (तर्क) के प्रमुखों के रूप में संयोजनों को अनुमति देने के लिए। इन विस्तारों का भाषा के शब्दार्थ और संबंधित दुभाषिया के कार्यान्वयन पर महत्वपूर्ण प्रभाव पड़ता है।

डेटालॉग प्रोलॉग , वियोगी डेटालॉग, उत्तर सेट प्रोग्रामिंग, डेटालॉग Z|डेटालॉगℤ का एक सिंटैक्टिक उपसमुच्चय है, और बाधा तर्क प्रोग्रामिंग। जब एक उत्तर सेट प्रोग्राम के रूप में मूल्यांकन किया जाता है, तो एक डेटालॉग प्रोग्राम एक एकल उत्तर सेट उत्पन्न करता है, जो वास्तव में इसका न्यूनतम मॉडल है।[22]

डेटालॉग के कई कार्यान्वयन अतिरिक्त सुविधाओं के साथ डेटालॉग का विस्तार करते हैं; देखना § डेटालॉग इंजन अधिक जानकारी के लिए।

एकत्रीकरण

एग्रीगेट फ़ंक्शन का समर्थन करने के लिए डेटालॉग को बढ़ाया जा सकता है।[23]

एकत्रीकरण को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में सम्मलित हैं:

निषेध

Further information: लॉजिक प्रोग्रामिंग का वाक्य-विन्यास और शब्दार्थ निषेध के साथ सूची का विस्तार

डेटालॉग में निषेध जोड़ने से इसके शब्दार्थ जटिल हो जाते हैं, जिससे मूल्यांकन के लिए पूरी नई भाषाएँ और रणनीतियाँ बन जाती हैं। उदाहरण के लिए, वह भाषा जो स्थिर मॉडल शब्दार्थ के साथ निषेध को जोड़ने का परिणाम है, बिल्कुल उत्तर सेट प्रोग्रामिंग है।

स्तरीकरण (गणित) गणितीय तर्क में नकार को इसके मॉडल-सैद्धांतिक और निश्चित बिंदु शब्दार्थ को बनाए रखते हुए डेटालॉग में जोड़ा जा सकता है। स्तरीकृत निषेध को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में सम्मलित हैं:

  • लॉजिकब्लॉक्स[25]
  • सूफले (प्रोग्रामिंग भाषा) | सूफले

प्रोलॉग से समानता

प्रोलॉग के विपरीत, एक सूची कार्यक्रम के बयान किसी भी क्रम में बताए जा सकते हैं। डेटालॉग में प्रोलॉग का कट (तर्क प्रोग्रामिंग) ऑपरेटर नहीं है। यह डेटालॉग को पूरी तरह से घोषणात्मक भाषा बनाता है।

प्रोलॉग के विपरीत, डेटालॉग

  • जटिल शब्दों को विधेय (तर्क) के तर्कों के रूप में अस्वीकार करता है, उदाहरण के लिए, p(x, y) स्वीकार्य है लेकिन नहीं p(f(x), y),
  • निषेध अस्वीकार करता है,
  • के लिए आवश्यक है कि खंड (तर्क) के शीर्ष में दिखाई देने वाला प्रत्येक चर खंड के शरीर में एक शाब्दिक (गणितीय तर्क) में भी दिखाई दे।

यह लेख मुख्य रूप से बिना निषेध के डेटालॉग से संबंधित है (यह भी देखें लॉजिक प्रोग्रामिंग का सिंटैक्स और सिमेंटिक्स § अस्वीकृति के साथ डेटालॉग का विस्तार). चूँकि, स्तरीकृत निषेध, डेटालॉग के लिए एक सामान्य जोड़ है; निम्न सूची स्तरीकृत निषेध के साथ प्रोलॉग के साथ डेटालॉग के विपरीत है। स्तरीकृत निषेध के साथ डेटालॉग

  • विधेय (तर्क) के तर्कों के रूप में जटिल शब्दों को भी अस्वीकार करता है,
  • के लिए आवश्यक है कि खंड (तर्क) के शीर्ष में दिखाई देने वाला प्रत्येक चर भी खंड के शरीर में एक सकारात्मक (अर्थात, अस्वीकृत नहीं) परमाणु में दिखाई दे,
  • की आवश्यकता है कि खंड के शरीर में नकारात्मक शाब्दिक में दिखाई देने वाला प्रत्येक चर खंड के शरीर में कुछ सकारात्मक अक्षर में भी दिखाई दे।[26][unreliable source?]

अभिव्यक्ति

बाउंडनेस समस्या के लिए डेटालॉग पूछता है, एक डेटालॉग प्रोग्राम दिया गया है, चाहे वह हो bounded, यानी, एक इनपुट डेटाबेस पर प्रोग्राम का मूल्यांकन करते समय अधिकतम रिकर्सन गहराई तक पहुंचा जा सकता है, जिसे कुछ स्थिरता से बांधा जा सकता है। दूसरे शब्दों में, यह प्रश्न पूछता है कि क्या डेटालॉग प्रोग्राम को एक गैर-आवर्ती डेटालॉग प्रोग्राम के रूप में फिर से लिखा जा सकता है। इच्छानुसार डेटालॉग प्रोग्राम पर बाउंडनेस की समस्या का समाधान करना अनिर्णीत समस्या है,[27] लेकिन इसे डेटालॉग के कुछ अंशों तक सीमित करके निर्णायक बनाया जा सकता है।

डेटा लॉग इंजन

Further information: प्रारूप: डेटालॉग इंजनों की सूची

सिस्टम जो डेटालॉग से प्रेरित भाषाओं को लागू करता है, चाहे वह संकलक , दुभाषिया (कंप्यूटिंग) , पुस्तकालय (कम्प्यूटिंग) , या एंबेडेड DSL, के रूप में जाना जाता है डेटालॉग इंजन. डेटालॉग इंजन अधिकांशतः डेटालॉग के एक्सटेंशन को लागू करते हैं, इसे अतिरिक्त डेटा प्रकार, विदेशी फ़ंक्शन इंटरफ़ेस या उपयोगकर्ता-परिभाषित जाली (ऑर्डर) के लिए समर्थन के साथ विस्तारित करते हैं। इस तरह के एक्सटेंशन डायवर्जेंस (कंप्यूटर साइंस) | नॉन-टर्मिनेटिंग या अन्यथा खराब परिभाषित प्रोग्राम लिखने की अनुमति दे सकते हैं।

उपयोग और प्रभाव

डेटालॉग अपनी अभिव्यक्ति में काफी सीमित है। यह ट्यूरिंग पूर्णता नहीं है | ट्यूरिंग-पूर्ण, और इसमें बुनियादी डेटा प्रकार जैसे इंटेगर (कंप्यूटर विज्ञान) या स्ट्रिंग (कंप्यूटर विज्ञान) सम्मलित नहीं है। यह पारसीमोनी एक सैद्धांतिक दृष्टिकोण से अपील कर रहा है, लेकिन इसका तात्पर्य है कि डेटालॉग प्रति से संभवतः ही कभी एक प्रोग्रामिंग भाषा के रूप में उपयोग किया जाता है।[28] अधिकांश डेटालॉग इंजन, डेटालॉग के पर्याप्त विस्तार को लागू करते हैं। चूँकि , इस तरह के कार्यान्वयन पर डेटालॉग का एक मजबूत प्रभाव है, और कई लेखक उन्हें इस लेख में प्रस्तुत किए गए डेटालॉग से अलग करने की झंझट नहीं उठाते हैं। तदनुसार, इस खंड में चर्चा किए गए अनुप्रयोगों में सूची-आधारित भाषाओं के यथार्थवादी कार्यान्वयन के अनुप्रयोग सम्मलित हैं।

डेटालॉग को डेटा एकीकरण, सूचना निष्कर्षण, कंप्यूटर नेटवर्क, सुरक्षा, क्लाउड कम्प्यूटिंग और यंत्र अधिगम में समस्याओं के लिए लागू किया गया है।[29][30] गूगल ने बड़े डेटा संसाधन के लिए डेटालॉग का एक एक्सटेंशन विकसित किया है।[31]

डेटालॉग ने स्थैतिक प्रोग्राम विश्लेषण में अनुप्रयोग देखा है।[32] सूफले (प्रोग्रामिंग भाषा) | सूफले बोली का उपयोग जावा (प्रोग्रामिंग भाषा) के लिए पॉइंटर विश्लेषण और नियंत्रण प्रवाह विश्लेषण | योजना (प्रोग्रामिंग भाषा) के लिए नियंत्रण-प्रवाह विश्लेषण लिखने के लिए किया गया है।[33][34] कुछ स्थिर विश्लेषणों को लिखना आसान बनाने के लिए डेटालॉग को संतुष्टि मॉडुलो सिद्धांतों के साथ एकीकृत किया गया है।[35] फ़्लिक्स (प्रोग्रामिंग भाषा) बोली स्थिर प्रोग्राम विश्लेषण लिखने के लिए भी अनुकूल है।[36]

कुछ व्यापक रूप से उपयोग किए जाने वाले डेटाबेस सिस्टम में डेटालॉग के लिए विकसित विचार और एल्गोरिदम सम्मलित हैं। उदाहरण के लिए, SQL:1999 मानक में SQL में श्रेणीबद्ध और पुनरावर्ती प्रश्न सम्मलित हैं, और IBM के IBM DB2 में मैजिक सेट्स एल्गोरिथम (प्रारंभिक में डेटालॉग प्रश्नों के तेजी से मूल्यांकन के लिए विकसित) लागू किया गया है।[37]


इतिहास

डेटालॉग की उत्पत्ति तर्क प्रोग्रामिंग की प्रारंभिक में हुई थी, लेकिन यह 1977 के आसपास एक अलग क्षेत्र के रूप में प्रमुख हो गया जब हर्वे गैलेयर और जैक मिंकर ने तर्क और डेटाबेस पर एक कार्यशाला का आयोजन किया।[38] डेविड मैयर को 'डेटालॉग' शब्द गढ़ने का श्रेय दिया जाता है।[39]


यह भी देखें

  • उत्तर सेट प्रोग्रामिंग
  • संयोजक प्रश्न
  • डेटालॉगज़ | डेटालॉगℤ* वियोगी सूची
  • फ्लिक्स (प्रोग्रामिंग भाषा)
  • शब्दार्थ वेब नियम भाषा
  • टपल-जनरेटिंग डिपेंडेंसी (TGD), डेटालॉग के समान सिंटैक्स के साथ संबंधपरक डेटाबेस पर अखंडता की कमी के लिए एक भाषा है।

टिप्पणियाँ

  1. ↑ 1.0 1.1 Ceri, Gottlob & Tanca 1989, p. 146.
  2. ↑ Eisner, Jason; Filardo, Nathaniel W. (2011). de Moor, Oege; Gottlob, Georg; Furche, Tim; Sellers, Andrew (eds.). "Dyna: Extending Datalog for Modern AI". Datalog Reloaded. Lecture Notes in Computer Science (in English). Berlin, Heidelberg: Springer. 6702: 181–220. doi:10.1007/978-3-642-24206-9_11. ISBN 978-3-642-24206-9.
  3. ↑ Maier, David; Tekle, K. Tuncay; Kifer, Michael; Warren, David S. (2018-09-01), "Datalog: concepts, history, and outlook", Declarative Logic Programming: Theory, Systems, and Applications, Association for Computing Machinery and Morgan & Claypool, vol. 20, pp. 3–100, doi:10.1145/3191315.3191317, ISBN 978-1-970001-99-0, S2CID 69379310, retrieved 2023-03-02
  4. ↑ Van Emden, M. H.; Kowalski, R. A. (1976-10-01). "एक प्रोग्रामिंग भाषा के रूप में विधेय तर्क का शब्दार्थ". Journal of the ACM. 23 (4): 733–742. doi:10.1145/321978.321991. ISSN 0004-5411. S2CID 11048276.
  5. ↑ Ceri, Gottlob & Tanca 1989, p. 149.
  6. ↑ Ceri, Gottlob & Tanca 1989, p. 150.
  7. ↑ Ceri, Gottlob & Tanca 1989, p. 154.
  8. ↑ Alvarez-Picallo, Mario; Eyers-Taylor, Alex; Peyton Jones, Michael; Ong, C.-H. Luke (2019). Caires, Luís (ed.). "वृद्धिशील संगणना को ठीक करना". Programming Languages and Systems. Lecture Notes in Computer Science (in English). Cham: Springer International Publishing. 11423: 525–552. doi:10.1007/978-3-030-17184-1_19. ISBN 978-3-030-17184-1. S2CID 53430789.
  9. ↑ Gilray, Thomas; Sahebolamri, Arash; Kumar, Sidharth; Micinski, Kristopher (2022-11-21). "उच्च-क्रम, डेटा-समानांतर संरचित कटौती". arXiv:2211.11573 [cs.PL].
  10. ↑ Subotić, Pavle; Jordan, Herbert; Chang, Lijun; Fekete, Alan; Scholz, Bernhard (2018-10-01). "बड़े पैमाने पर डेटालॉग संगणना के लिए स्वचालित सूचकांक चयन". Proceedings of the VLDB Endowment. 12 (2): 141–153. doi:10.14778/3282495.3282500. ISSN 2150-8097. S2CID 53569679.
  11. ↑ Antoniadis, Tony; Triantafyllou, Konstantinos; Smaragdakis, Yannis (2017-06-18). "Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses". Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis. SOAP 2017. New York, NY, USA: Association for Computing Machinery: 25–30. doi:10.1145/3088515.3088522. ISBN 978-1-4503-5072-3. S2CID 3074689. "The LogicBlox engine performs full query optimization."
  12. ↑ Arch, Samuel; Hu, Xiaowen; Zhao, David; Subotić, Pavle; Scholz, Bernhard (2022). Villanueva, Alicia (ed.). "Building a Join Optimizer for Soufflé". Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (in English). Cham: Springer International Publishing. 13474: 83–102. doi:10.1007/978-3-031-16767-6_5. ISBN 978-3-031-16767-6.
  13. ↑ Fan, Zhiwei; Zhu, Jianqiao; Zhang, Zuyu; Albarghouthi, Aws; Koutris, Paraschos; Patel, Jignesh (2018-12-10). "Scaling-Up In-Memory Datalog Processing: Observations and Techniques". arXiv:1812.03975 [cs.DB].
  14. ↑ Jordan, Herbert; Subotić, Pavle; Zhao, David; Scholz, Bernhard (2019-02-16). "समवर्ती डेटालॉग मूल्यांकन के लिए एक विशेष बी-ट्री". Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming. PPoPP '19. New York, NY, USA: Association for Computing Machinery: 327–339. doi:10.1145/3293883.3295719. ISBN 978-1-4503-6225-2. S2CID 59617209.
  15. ↑ Wu, Jiacheng; Wang, Jin; Zaniolo, Carlo (2022-06-11). "मल्टीकोर मशीनों पर समांतर रिकर्सिव डेटालॉग मूल्यांकन का अनुकूलन". Proceedings of the 2022 International Conference on Management of Data. SIGMOD '22. New York, NY, USA: Association for Computing Machinery: 1433–1446. doi:10.1145/3514221.3517853. ISBN 978-1-4503-9249-5. S2CID 249578825. "These approaches implement the idea of parallel bottom-up evaluation by splitting the tables into disjoint partitions via discriminating functions, such as hashing, where each partition is then mapped to one of the parallel workers. After each iteration, workers coordinate with each other to exchange newly generated tuples where necessary.
  16. ↑ Gilray, Thomas; Sahebolamri, Arash; Kumar, Sidharth; Micinski, Kristopher (2022-11-21). "उच्च-क्रम, डेटा-समानांतर संरचित कटौती". arXiv:2211.11573 [cs.PL].
  17. ↑ Shaw, Marianne; Koutris, Paraschos; Howe, Bill; Suciu, Dan (2012). Barceló, Pablo; Pichler, Reinhard (eds.). "Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop". Datalog in Academia and Industry. Lecture Notes in Computer Science (in English). Berlin, Heidelberg: Springer. 7494: 165–176. doi:10.1007/978-3-642-32925-8_17. ISBN 978-3-642-32925-8.
  18. ↑ Shkapsky, Alexander; Yang, Mohan; Interlandi, Matteo; Chiu, Hsuan; Condie, Tyson; Zaniolo, Carlo (2016-06-14). "स्पार्क पर डेटालॉग क्वेरीज़ के साथ बिग डेटा एनालिटिक्स". Proceedings of the 2016 International Conference on Management of Data. SIGMOD '16. New York, NY, USA: Association for Computing Machinery. 2016: 1135–1149. doi:10.1145/2882903.2915229. ISBN 978-1-4503-3531-7. PMC 5470845. PMID 28626296.
  19. ↑ Balbin, I.; Port, G. S.; Ramamohanarao, K.; Meenakshi, K. (1991-10-01). "स्तरीकृत डेटाबेस पर प्रश्नों की कुशल बॉटम-अप संगणना". The Journal of Logic Programming (in English). 11 (3): 295–344. doi:10.1016/0743-1066(91)90030-S. ISSN 0743-1066.
  20. ↑ Ullman, J. D. (1989-03-29). "डेटालॉग के लिए बॉटम-अप टॉप-डाउन को मात देता है". Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. PODS '89. New York, NY, USA: Association for Computing Machinery: 140–149. doi:10.1145/73721.73736. ISBN 978-0-89791-308-9. S2CID 13269547.
  21. ↑ Dantsin, Evgeny; Eiter, Thomas; Gottlob, Georg; Voronkov, Andrei (2001-09-01). "तर्क प्रोग्रामिंग की जटिलता और अभिव्यंजक शक्ति". ACM Computing Surveys. 33 (3): 374–425. doi:10.1145/502807.502810. ISSN 0360-0300.
  22. ↑ Bembenek, Aaron; Greenberg, Michael; Chong, Stephen (2023-01-11). "From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems". Proceedings of the ACM on Programming Languages. 7 (POPL): 7:185–7:217. doi:10.1145/3571200. S2CID 253525805.
  23. ↑ Zaniolo, Carlo; Yang, Mohan; Das, Ariyam; Shkapsky, Alexander; Condie, Tyson; Interlandi, Matteo (September 2017). "समुच्चय के साथ पुनरावर्ती Datalog कार्यक्रमों का फिक्सपॉइंट शब्दार्थ और अनुकूलन*". Theory and Practice of Logic Programming (in English). 17 (5–6): 1048–1065. arXiv:1707.05681. doi:10.1017/S1471068417000436. ISSN 1471-0684. S2CID 6272867.
  24. ↑ "Chapter 7. Rules - LogicBlox 3.10 Reference Manual". developer.logicblox.com. Retrieved 2023-03-04.
  25. ↑ "6.4. Negation - LogicBlox 3.10 Reference Manual". developer.logicblox.com. Retrieved 2023-03-04. "Additionally, negation is only allowed when the platform can determine a way to stratify all rules and constraints that use negation."
  26. ↑ Michael Lam; Dr. Sin Min Lee. "संगणक वैज्ञानिक". Course CS 157A. SAN JOSÉ STATE UNIVERSITY, department of Computer Science. Archived from the original on 2017-03-25.
  27. ↑ Hillebrand, Gerd G; Kanellakis, Paris C; Mairson, Harry G; Vardi, Moshe Y (1995-11-01). "डेटालॉग प्रोग्राम के लिए अनिर्णायक बाउंडनेस समस्याएँ". The Journal of Logic Programming (in English). 25 (2): 163–190. doi:10.1016/0743-1066(95)00051-K. ISSN 0743-1066.
  28. ↑ Lifschitz, Vladimir. "Foundations of logic programming." Principles of knowledge representation 3 (1996): 69-127. "The expressive possibilities of [Datalog] are much too limited for meaningful applications to knowledge representation."
  29. ↑ Huang, Green, and Loo, "Datalog and Emerging applications", SIGMOD 2011 (PDF), UC Davis{{citation}}: CS1 maint: multiple names: authors list (link).
  30. ↑ Mei, Hongyuan; Qin, Guanghui; Xu, Minjie; Eisner, Jason (2020). "Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification". Proceedings of ICML 2020. arXiv:2006.16723.
  31. ↑ Chin, Brian; Dincklage, Daniel von; Ercegovac, Vuk; Hawkins, Peter; Miller, Mark S.; Och, Franz; Olston, Christopher; Pereira, Fernando (2015). Ball, Thomas; Bodik, Rastislav; Krishnamurthi, Shriram; Lerner, Benjamin S.; Morrisett, Greg (eds.). "Yedalog: Exploring Knowledge at Scale". 1st Summit on Advances in Programming Languages (SNAPL 2015). Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. 32: 63–78. doi:10.4230/LIPIcs.SNAPL.2015.63. ISBN 978-3-939897-80-4.
  32. ↑ Whaley, John; Avots, Dzintars; Carbin, Michael; Lam, Monica S. (2005). Yi, Kwangkeun (ed.). "प्रोग्राम विश्लेषण के लिए बाइनरी डिसीजन डायग्राम के साथ डेटालॉग का उपयोग करना". Programming Languages and Systems. Lecture Notes in Computer Science (in English). Berlin, Heidelberg: Springer. 3780: 97–118. doi:10.1007/11575467_8. ISBN 978-3-540-32247-4.
  33. ↑ Scholz, Bernhard; Jordan, Herbert; Subotić, Pavle; Westmann, Till (2016-03-17). "Datalog में तेजी से बड़े पैमाने पर प्रोग्राम विश्लेषण पर". Proceedings of the 25th International Conference on Compiler Construction. CC 2016. New York, NY, USA: Association for Computing Machinery: 196–206. doi:10.1145/2892208.2892226. ISBN 978-1-4503-4241-4. S2CID 7531543.
  34. ↑ Antoniadis, Tony; Triantafyllou, Konstantinos; Smaragdakis, Yannis (2017-06-18). "Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses". Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis. SOAP 2017. New York, NY, USA: Association for Computing Machinery: 25–30. doi:10.1145/3088515.3088522. ISBN 978-1-4503-5072-3. S2CID 3074689.
  35. ↑ Bembenek, Aaron; Greenberg, Michael; Chong, Stephen (2020-11-13). "Formulog: Datalog for SMT-based static analysis". Proceedings of the ACM on Programming Languages. 4 (OOPSLA): 141:1–141:31. doi:10.1145/3428209. S2CID 226961727.
  36. ↑ Madsen, Magnus; Yee, Ming-Ho; Lhoták, Ondřej (2016-06-02). "From Datalog to flix: a declarative language for fixed points on lattices". ACM SIGPLAN Notices. 51 (6): 194–208. doi:10.1145/2980983.2908096. ISSN 0362-1340.
  37. ↑ Gryz; Guo; Liu; Zuzarte (2004). "Query sampling in DB2 Universal Database" (PDF). Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04. p. 839. doi:10.1145/1007568.1007664. ISBN 978-1581138597. S2CID 7775190.
  38. ↑ Gallaire, Hervé; Minker, John 'Jack', eds. (1978), "Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977", Advances in Data Base Theory, New York: Plenum Press, ISBN 978-0-306-40060-5.
  39. ↑ Abiteboul, Serge; Hull, Richard; Vianu, Victor (1995), Foundations of databases, p. 305, ISBN 9780201537710.


संदर्भ

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=डेटालॉग&oldid=271058’