लेन-देन तर्क

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

लेन-देन तर्क मूल रूप से में प्रस्तावित किया गया था एंथोनी बोनर और Michael Kifer द्वारा और बाद में में और अधिक विवरण में वर्णित और। में सबसे व्यापक विवरण प्रकट होता है। बाद के वर्षों में, लेन-देन तर्क को विभिन्न तरीकों से विस्तारित किया गया, जिसमें संगामिति (कंप्यूटर विज्ञान), असफल तर्क, आंशिक रूप से परिभाषित क्रियाएं, और अन्य सुविधाएँ। 2013 में, लेन-देन तर्क पर मूल पेपर ने जीता [[तर्क प्रोग्रामिंग के लिए एसोसिएशन] का .edu/ALP/the-association-for-logic-programming/alp-awards/ 20-year टेस्ट ऑफ टाइम अवार्ड] की कार्यवाही से सबसे प्रभावशाली पेपर के रूप में .uni-trier.de/~ley/db/conf/iclp/iclp93.html ICLP 1993 सम्मेलन पिछले 20 वर्षों में।

ग्राफ रंग
यहाँ tinsert लेन-देन सम्मिलन के प्राथमिक अद्यतन संचालन को दर्शाता है। संयोजक ⊗ को सीरियल संयोजन कहा जाता है।

पिरामिड स्टैकिंग
प्राथमिक अद्यतन tdelete ट्रांजैक्शनल डिलीट ऑपरेशन का प्रतिनिधित्व करता है।

काल्पनिक निष्पादन
यहाँ &lt;&gt; संभावना का मोडल ऑपरेटर है: यदि दोनों action1 और action2 संभव हैं, निष्पादित करें action1. अन्यथा, यदि केवल action2 संभव है, तो इसे निष्पादित करें।

भोजन करने वाले दार्शनिक
यहाँ समवर्ती लेन-देन तर्क के समानांतर संयोजन का तार्किक संयोजक है।

कार्यान्वयन
लेन-देन तर्क के कई कार्यान्वयन मौजूद हैं: ये सभी कार्यान्वयन खुले स्रोत हैं।
 * मूल कार्यान्वयन।
 * समवर्ती लेन-देन तर्क का कार्यान्वयन।
 * ट्रांजैक्शन लॉजिक पेश  के साथ बढ़ाया गया। फ्लोरा-2 -2 ज्ञान प्रतिनिधित्व और तर्क प्रणाली के हिस्से के रूप में लेनदेन तर्क का कार्यान्वयन भी शामिल किया गया है।

बाहरी संबंध

 * Flora-2 Web site, containing additional papers on Transaction Logic