Transaction logic
ಟ್ರಾನ್ಸಾಕ್ಷನ್ ಲಾಜಿಕ್ ಎಂಬುದು ಪೂರ್ವಭಾವಿ ತರ್ಕದ ವಿಸ್ತರಣೆಯಾಗಿದ್ದು, ಇದು ತರ್ಕ ಕಾರ್ಯಕ್ರಮಗಳು ಮತ್ತು ದತ್ತಸಂಚಯಗಳಲ್ಲಿನ ಸ್ಥಿತಿ ಬದಲಾವಣೆಗಳ ವಿದ್ಯಮಾನಕ್ಕೆ ಶುದ್ಧ ಮತ್ತು ಘೋಷಣಾತ್ಮಕ ರೀತಿಯಲ್ಲಿ ಕಾರಣವಾಗುತ್ತದೆ. ಈ ವಿಸ್ತರಣೆಯು ಸಂಕೀರ್ಣ ವಹಿವಾಟುಗಳಲ್ಲಿ ಸರಳ ಕ್ರಿಯೆಗಳನ್ನು ಸಂಯೋಜಿಸಲು ಮತ್ತು ಅವುಗಳ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯ ಮೇಲೆ ನಿಯಂತ್ರಣವನ್ನು ಒದಗಿಸಲು ನಿರ್ದಿಷ್ಟವಾಗಿ ವಿನ್ಯಾಸಗೊಳಿಸಲಾದ ಸಂಯೋಜಕಗಳನ್ನು ಸೇರಿಸುತ್ತದೆ. ತರ್ಕವು ನೈಸರ್ಗಿಕ ಮಾದರಿ ಸಿದ್ಧಾಂತ ಮತ್ತು ಧ್ವನಿ ಮತ್ತು ಸಂಪೂರ್ಣ ಪುರಾವೆ ಸಿದ್ಧಾಂತವನ್ನು ಹೊಂದಿದೆ. ವಹಿವಾಟು ತರ್ಕವು ಹಾರ್ನ್ ಷರತ್ತಿನ ಉಪವಿಭಾಗವನ್ನು ಹೊಂದಿದೆ, ಇದು ಕಾರ್ಯವಿಧಾನದ ಜೊತೆಗೆ ಘೋಷಣಾತ್ಮಕ ಶಬ್ದಾರ್ಥವನ್ನು ಹೊಂದಿದೆ. ತರ್ಕದ ಪ್ರಮುಖ ಲಕ್ಷಣಗಳಲ್ಲಿ ಕಾಲ್ಪನಿಕ ಮತ್ತು ಬದ್ಧ ನವೀಕರಣಗಳು, ವಹಿವಾಟಿನ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯ ಮೇಲೆ ಕ್ರಿಯಾತ್ಮಕ ನಿರ್ಬಂಧಗಳು, ಅನಿರ್ದಿಷ್ಟತೆ ಮತ್ತು ಬೃಹತ್ ನವೀಕರಣಗಳು ಸೇರಿವೆ. ಈ ರೀತಿಯಲ್ಲಿ, ಟ್ರಾನ್ಸಾಕ್ಷನ್ ಲಾಜಿಕ್ ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆಯಲ್ಲಿನ ಕಾರ್ಯವಿಧಾನದ ಜ್ಞಾನ, ಸಕ್ರಿಯ ದತ್ತಸಂಚಯಗಳು ಮತ್ತು ಆಬ್ಜೆಕ್ಟ್ ದತ್ತಸಂಚಯಗಳಲ್ಲಿನ ಅಡ್ಡಪರಿಣಾಮಗಳ ವಿಧಾನಗಳು ಸೇರಿದಂತೆ ಹಲವಾರು ತರ್ಕಬದ್ಧವಲ್ಲದ ವಿದ್ಯಮಾನಗಳನ್ನು ಘೋಷಣಾತ್ಮಕವಾಗಿ ಸೆರೆಹಿಡಿಯಲು ಸಾಧ್ಯವಾಗುತ್ತದೆ. ಟ್ರಾನ್ಸಾಕ್ಷನ್ ಲಾಜಿಕ್ ಅನ್ನು ಮೂಲತಃ ಆಂಥೋನಿ ಬೋನರ್ ಮತ್ತು ಮೈಕೆಲ್ ಕಿಫರ್ ಅವರು ಪ್ರಸ್ತಾಪಿಸಿದರು ಮತ್ತು ನಂತರ ಮತ್ತು ನಲ್ಲಿ ಹೆಚ್ಚು ವಿವರವಾಗಿ ವಿವರಿಸಿದ್ದಾರೆ. ಅತ್ಯಂತ ಸಮಗ್ರವಾದ ವಿವರಣೆಯು ಇಲ್ಲಿ ಕಾಣಿಸಿಕೊಳ್ಳುತ್ತದೆ. ನಂತರದ ವರ್ಷಗಳಲ್ಲಿ, ಟ್ರಾನ್ಸಾಕ್ಷನ್ ಲಾಜಿಕ್ ಅನ್ನು ವಿವಿಧ ರೀತಿಯಲ್ಲಿ ವಿಸ್ತರಿಸಲಾಯಿತು, ಇದರಲ್ಲಿ ಕಾಂಕರೆನ್ಸಿ, ಡಿಫೆಸಿಬಲ್ ರೀಸನಿಂಗ್, ಭಾಗಶಃ ವ್ಯಾಖ್ಯಾನಿಸಲಾದ ಕ್ರಿಯೆಗಳು ಮತ್ತು ಇತರ ವೈಶಿಷ್ಟ್ಯಗಳು ಸೇರಿವೆ. 2013ರಲ್ಲಿ, ಟ್ರಾನ್ಸಾಕ್ಷನ್ ಲಾಜಿಕ್ ಕುರಿತ ಮೂಲ ಪ್ರಬಂಧವು ಹಿಂದಿನ 20 ವರ್ಷಗಳಲ್ಲಿ ಐ. ಸಿ. ಎಲ್. ಪಿ 1993ರ ಸಮಾವೇಶದ ಅತ್ಯಂತ ಪ್ರಭಾವಶಾಲಿ ಪ್ರಬಂಧವಾಗಿ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಲಾಜಿಕ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ನ 20 ವರ್ಷಗಳ ಟೆಸ್ಟ್ ಆಫ್ ಟೈಮ್ ಪ್ರಶಸ್ತಿಯನ್ನು ಗೆದ್ದಿದೆ. ಗ್ರಾಫ್ ಕಲರಿಂಗ್ನ ಉದಾಹರಣೆಗಳು ಇಲ್ಲಿ ಟ್ರಾನ್ಸಾಕ್ಷನಲ್ ಇನ್ಸರ್ಟ್ನ ಪ್ರಾಥಮಿಕ ನವೀಕರಣ ಕಾರ್ಯಾಚರಣೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಸಂಯೋಜಕವನ್ನು ಸರಣಿ ಸಂಯೋಗ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಕಲರ್ ನೋಡ್ <-//ಬಣ್ಣ ಒಂದು ನೋಡ್ ಸರಿಯಾಗಿ ನೋಡ್ (ಎನ್) Â ಕಲರ್ಡ್ (ಎನ್, _) Â ಕಲರ್ಡ್ (ಸಿ) Â (ಪಕ್ಕದ (ಎನ್, ಎನ್ 2) Â ಕಲರ್ಡ್ (ಎನ್ 2, ಸಿ)) Â ಟಿನ್ಸರ್ಟ್ (ಕಲರ್ಡ್ (ಎನ್, ಸಿ)). ಕಲರ್ಗ್ರಾಫ್ <-̃ಅನಕಲರ್ಡ್ನೋಡ್ಸ್ ಲೆಫ್ಟ್. ಕಲರ್ಗ್ರಾಫ್ <-ಕಲರ್ನೊಡ್ ಕಲರ್ಗ್ರಾಫ್. ಪಿರಮಿಡ್ ಸ್ಟ್ಯಾಕಿಂಗ್ ಪ್ರಾಥಮಿಕ ನವೀಕರಣವು ವಹಿವಾಟಿನ ಅಳಿಸುವ ಕಾರ್ಯಾಚರಣೆಯನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ಸ್ಟ್ಯಾಕ್ (N, X) <-N> 0 χ ಮೂವ್ (Y, X) χ ಸ್ಟ್ಯಾಕ್ (N-1, Y). ಸ್ಟ್ಯಾಕ್ (0, X). ಸರಿಸಿ (X, Y) <-ಪಿಕಪ್ (X) ಪುಟ್ ಡೌನ್ (X, Y). ಪಿಕಪ್ (X) <-ಕ್ಲಿಯರ್ (X) χ ಆನ್ (X, Y) χ ಡಿಲೀಟ್ (ಆನ್ (X, Y)) χ ಇನ್ಸರ್ಟ್ (ಕ್ಲಿಯರ್ (Y)). ಪುಟ್ ಡೌನ್ (X, Y) <-ಅಗಲವಾದ (Y, X) χ ಕ್ಲಿಯರ್ (Y) χ ಟಿನ್ಸರ್ಟ್ ((X, Y) ಮೇಲೆ) χ ಟಿಡೆಲಿಟ್ (ಕ್ಲಿಯರ್ (Y)). ಊಹಾತ್ಮಕ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯು ಇಲ್ಲಿ ಸಾಧ್ಯತೆಯ ಮಾದರಿ ನಿರ್ವಾಹಕವಾಗಿದೆಃ ಎರಡೂ ಸಾಧ್ಯವಾದರೆ, ಕಾರ್ಯಗತಗೊಳಿಸಿ. ಇಲ್ಲದಿದ್ದರೆ, ಸಾಧ್ಯವಾದರೆ ಮಾತ್ರ ಅದನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಿ. ಕಾರ್ಯಗತಗೊಳಿಸಿ <-<> ಕ್ರಿಯೆ1 <> ಕ್ರಿಯೆ2 ಕ್ರಿಯೆ1. ಕಾರ್ಯಗತಗೊಳಿಸಿ <-â <> ಕ್ರಿಯೆ1Â <> ಕ್ರಿಯೆ2Â ಕ್ರಿಯೆ2. ಊಟದ ತತ್ವಜ್ಞಾನಿಗಳು ಇಲ್ಲಿ ಸಮವರ್ತಿ ವಹಿವಾಟು ತರ್ಕದ ಸಮಾನಾಂತರ ಸಂಯೋಗದ ತಾರ್ಕಿಕ ಸಂಪರ್ಕವಾಗಿದೆ. ತತ್ವಜ್ಞಾನಿಗಳು <-phil (1) | phil (2) | phil (3) | phil (4). ಅನುಷ್ಠಾನಗಳು ವಹಿವಾಟು ತರ್ಕದ ಹಲವಾರು ಅನುಷ್ಠಾನಗಳು ಅಸ್ತಿತ್ವದಲ್ಲಿವೆಃ ಮೂಲ ಅನುಷ್ಠಾನ. ಸಮವರ್ತಿ ವಹಿವಾಟು ತರ್ಕದ ಅನುಷ್ಠಾನ. ಟ್ಯಾಬ್ಲಿಂಗ್ನೊಂದಿಗೆ ವಹಿವಾಟಿನ ತರ್ಕವನ್ನು ಹೆಚ್ಚಿಸಲಾಗಿದೆ. ಫ್ಲೋರಾ-2 ಜ್ಞಾನ ಪ್ರಾತಿನಿಧ್ಯ ಮತ್ತು ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಯ ಭಾಗವಾಗಿ ವಹಿವಾಟು ತರ್ಕದ ಅನುಷ್ಠಾನವನ್ನು ಸಹ ಸೇರಿಸಲಾಗಿದೆ. ಈ ಎಲ್ಲಾ ಅನುಷ್ಠಾನಗಳು ಮುಕ್ತ ಮೂಲವಾಗಿವೆ. ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಟ್ರಾನ್ಸಾಕ್ಷನ್ ಲಾಜಿಕ್ ಲಾಜಿಕ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳ ಘೋಷಣಾತ್ಮಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳ ಜ್ಞಾನ ಪ್ರಾತಿನಿಧ್ಯದ ಕುರಿತು ಹೆಚ್ಚುವರಿ ಪ್ರಬಂಧಗಳನ್ನು ಹೊಂದಿರುವ ಫ್ಲೋರಾ-2 ಜಾಲತಾಣ