جدول بيانات منطقي

الجدول المنطقي هو جدول بيانات تأخذ فيه الصيغ شكل قيود منطقية بدلاً من تعريفات الدوال.

في أنظمة الجداول الإلكترونية التقليدية ، مثل إكسل ، تُقسّم الخلايا إلى خلايا "محددة مباشرة" وخلايا "محسوبة"، وتكون الصيغ المستخدمة لتحديد قيم الخلايا المحسوبة "وظيفية"، أي أنه لكل تركيبة من قيم الخلايا المحددة مباشرة، تحدد الصيغ قيمًا فريدة للخلايا المحسوبة. أما الجداول الإلكترونية المنطقية فتُخفف هذه القيود بالاستغناء عن التمييز بين الخلايا المحددة مباشرة والخلايا المحسوبة، والتعميم من التعريفات الوظيفية إلى القيود المنطقية.

كمثال توضيحي للفرق بين جداول البيانات التقليدية وجداول البيانات المنطقية، لنفترض جدول بيانات رقمي بسيط بثلاث خلايا a و b و c. تقبل كل خلية عددًا صحيحًا واحدًا كقيمة؛ وهناك صيغة تنص على أن قيمة الخلية الثالثة هي مجموع قيم الخليتين الأخريين.

عند تطبيق هذا الجدول الإلكتروني كجدول بيانات تقليدي، فإنه يسمح للمستخدم بإدخال القيم في الخليتين أ و ب، ويقوم الجدول تلقائيًا بحساب قيمة الخلية ج. على سبيل المثال، إذا أدخل المستخدم الرقم 1 في الخلية أ والرقم 2 في الخلية ب، فسيتم حساب القيمة 3 للخلية ج.

عند تطبيقها كجدول بيانات منطقي، سيتمكن المستخدم من إدخال القيم في أي من الخلايا. على سبيل المثال، يمكن للمستخدم كتابة 1 في الخلية "أ" و2 في الخلية "ب"، وسيحسب الجدول القيمة 3 للخلية "ج". وبالمثل، يمكن للمستخدم كتابة 2 في الخلية "ب" و3 في الخلية "ج"، وسيحسب الجدول القيمة 1 للخلية "أ". وهكذا.

في هذه الحالة، الصيغة دالة، والدالة قابلة للعكس. عمومًا، ليس من الضروري أن تكون الصيغ دالة، ولا أن تكون الدوال قابلة للعكس. على سبيل المثال، في هذه الحالة، يمكننا كتابة صيغ تتضمن متباينات ودوال غير قابلة للعكس (مثل الجذر التربيعي). وبشكل أعم، يمكننا إنشاء جداول بيانات باستخدام بيانات رمزية بدلًا من البيانات العددية، وكتابة قيود منطقية اختيارية على هذه البيانات.

• J. Bongard et al.: Reports on the 2006 AAAI Fall Symposia, AI Magazine 28(1), 88-92, 2007.
• I. Cervesato: NEXCEL، جدول بيانات استنتاجي، مجلة هندسة المعرفة، المجلد 00:0، 1-24، مطبعة جامعة كامبريدج، 2004.
• جي. فيشر، سي. راثكي: جداول البيانات القائمة على المعرفة، في وقائع المؤتمر الوطني السابع حول الذكاء الاصطناعي، سانت بول مينيسوتا، 21-26 أغسطس 1988، مطبعة AAAI، مينل بارك، كاليفورنيا، 802-807، 1988.
• د. غانينغ: جداول البيانات الاستنتاجية، وكالة مشاريع البحوث الدفاعية المتقدمة، بحوث ابتكار الأعمال الصغيرة، 2004.3-الموضوع SB043-040، 2004.
• M. Kassoff, L. Zen, A. Garg, M. Genesereth : Predicalc: A Logical Spreadsheet Management System, in Proceedings of the 31st INternational Conference on Very Large Databases, Trondheim, NOrway, 30 August - 2 September 2005, ACM, New York, New York, 1247-1250, 2005.
• M. Kassoff, M. Genesereth : Predicalc, A Logical Spreadsheet Management System, The Knowledge Engineering Review, Vol. 22:3, 281-295, Cambridge University Press, 2007.
• M. Spenke, C. Beilken: A Spreadsheet Interface for Logic Programming, in K. Bice and CH Lewis (eds), Proceedings of ACM CHI 89 Human Factors in Computing Systems, Austin, Texas, 30 April – 4 June 1989, ACM Press, New York, New York, 75-80, 1989.
• M. van Emden, M. Ohki, A. Takeuchi: Spreadsheets with Incremental Querys as a User Interface for Logic Programming, New Generation Computing 4(3), 287-304, 1986.
• http://news.stanford.edu/news/2007/april25/logic-042507.html
• https://dbgroup.ncsu.edu/?p=9
• http://logic.stanford.edu/spreadsheet/