डेटालॉग - Revision history

Abhishekkshukla at 11:16, 26 October 2023

2023-10-26T11:16:06Z

← Older revision		Revision as of 16:46, 26 October 2023
Line 15:		Line 15:
	\| wikibooks =		\| wikibooks =
	}}		}}
	डेटालॉग एक [[ घोषणात्मक प्रोग्रामिंग \|घोषणात्मक प्रोग्रामिंग]] [[ तर्क प्रोग्रामिंग \|तर्क प्रोग्रामिंग]] लैंग्वेज है। चूंकि यह सिंटैक्टिक रूप से [[प्रोलॉग]] का सबसेट है, लेकिन सूचीपत्र सामान्यतः टॉप-डाउन मूल्यांकन मॉडल के अतिरिक्त नीचे-ऊपर का उपयोग करता है। यह अंतर प्रोलॉग से काफी भिन्न व्यवहार और गुण उत्पन्न करता है। यह अधिकांशतः [[ कटौतीत्मक डेटाबेस \|कटौतीत्मक डेटाबेस]] के लिए [[ पूछताछ भाषा \|पूछताछ भाषा]] के रूप में उपयोग किया जाता है। डेटालॉग को [[डेटा एकीकरण]], [[ संगणक संजाल \|संगणक संजाल]] , [[ कार्यक्रम विश्लेषण \|कार्यक्रम विश्लेषण]] , और बहुत कुछ में समस्याओं के लिए लागू किया गया है।		'''डेटालॉग''' एक [[ घोषणात्मक प्रोग्रामिंग \|घोषणात्मक प्रोग्रामिंग]] [[ तर्क प्रोग्रामिंग \|तर्क प्रोग्रामिंग]] लैंग्वेज है। चूंकि यह सिंटैक्टिक रूप से [[प्रोलॉग]] का सबसेट है, लेकिन सूचीपत्र सामान्यतः टॉप-डाउन मूल्यांकन मॉडल के अतिरिक्त नीचे-ऊपर का उपयोग करता है। यह अंतर प्रोलॉग से काफी भिन्न व्यवहार और गुण उत्पन्न करता है। यह अधिकांशतः [[ कटौतीत्मक डेटाबेस \|कटौतीत्मक डेटाबेस]] के लिए [[ पूछताछ भाषा \|पूछताछ भाषा]] के रूप में उपयोग किया जाता है। डेटालॉग को [[डेटा एकीकरण]], [[ संगणक संजाल \|संगणक संजाल]] , [[ कार्यक्रम विश्लेषण \|कार्यक्रम विश्लेषण]] , और बहुत कुछ में समस्याओं के लिए लागू किया गया है।

	== उदाहरण ==		== उदाहरण ==
Line 332:		Line 332:


	~~{{Query languages}}~~
	{{Authority control}}		{{Authority control}}

Manidh at 04:03, 13 June 2023

2023-06-13T04:03:31Z

@@ Line 334: / Line 334: @@
 {{Query languages}}
 {{Authority control}}
+[[Category:All articles lacking reliable references]]
+[[Category:Articles lacking reliable references from March 2023]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
 [[Category:Created On 15/05/2023]]
-[[Category:Vigyan Ready]]
+[[Category:Lua-based templates]]

Indicwiki: 8 revisions imported from :alpha:डेटालॉग

2023-06-11T05:35:40Z

8 revisions imported from alpha:डेटालॉग

← Older revision	Revision as of 11:05, 11 June 2023
(No difference)

alpha>Neeraja: added Category:Vigyan Ready using HotCat

2023-06-09T14:35:06Z

added Category:Vigyan Ready using HotCat

← Older revision		Revision as of 20:05, 9 June 2023
Line 340:		Line 340:
	[[Category: Machine Translated Page]]		[[Category: Machine Translated Page]]
	[[Category:Created On 15/05/2023]]		[[Category:Created On 15/05/2023]]
			[[Category:Vigyan Ready]]

alpha>Neeraja: Neeraja moved page संगणक वैज्ञानिक to डेटालॉग without leaving a redirect

2023-06-09T14:33:45Z

Neeraja moved page संगणक वैज्ञानिक to डेटालॉग without leaving a redirect

← Older revision	Revision as of 20:03, 9 June 2023
(No difference)

alpha>Siddharthverma at 05:06, 19 May 2023

2023-05-19T05:06:44Z

Show changes

alpha>Siddharthverma at 04:54, 19 May 2023

2023-05-19T04:54:54Z

Show changes

alpha>Siddharthverma at 19:23, 18 May 2023

2023-05-18T19:23:04Z

Show changes

alpha>Siddharthverma at 18:36, 18 May 2023

2023-05-18T18:36:19Z

Show changes

alpha>Siddharthverma at 17:34, 18 May 2023

2023-05-18T17:34:21Z

← Older revision		Revision as of 23:04, 18 May 2023
Line 196:		Line 196:

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

	~~{{Expand section\|date=February 2023}}~~

	अर्ध-भोले मूल्यांकन एक नीचे से ऊपर की मूल्यांकन रणनीति है जो सहज मूल्यांकन की तुलना में विषम रूप से तेज हो सकती है।<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>
Line 218:		Line 216:

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

	~~{{expand section\|date=March 2023}}~~

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

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

	~~{{expand section\|date=February 2023}}~~

	एग्रीगेट फ़ंक्शन का समर्थन करने के लिए डेटालॉग को बढ़ाया जा सकता है।<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>
	एकत्रीकरण को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में शामिल हैं:		एकत्रीकरण को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में शामिल हैं:

	~~<!-- The following is a list of notable (as in WP:N) Datalog engines. Please do not add non-notable entries. -->~~
	* [[लॉजिकब्लॉक्स]]<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 265:		Line 258:
	स्तरीकरण (गणित)#गणितीय तर्क में नकार को इसके मॉडल-सैद्धांतिक और निश्चित बिंदु शब्दार्थ को बनाए रखते हुए Datalog में जोड़ा जा सकता है। स्तरीकृत निषेध को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में शामिल हैं:		स्तरीकरण (गणित)#गणितीय तर्क में नकार को इसके मॉडल-सैद्धांतिक और निश्चित बिंदु शब्दार्थ को बनाए रखते हुए Datalog में जोड़ा जा सकता है। स्तरीकृत निषेध को लागू करने वाले उल्लेखनीय डेलालॉग इंजनों में शामिल हैं:

	~~<!-- The following is a list of notable (as in WP:N) Datalog engines. Please do not add non-notable entries. -->~~
	* लॉजिकब्लॉक्स<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>
	* सूफले (प्रोग्रामिंग भाषा) \| सूफले		* सूफले (प्रोग्रामिंग भाषा) \| सूफले