TPROLOG : a typed prolog for relational database systems
المؤلف
المصدر
The Arabian Journal for Science and Engineering
العدد
المجلد 17، العدد 3 (31 يوليو/تموز 1992)، ص ص. 415-422، 8ص.
الناشر
جامعة الملك فهد للبترول و المعادن
تاريخ النشر
1992-07-31
دولة النشر
السعودية
عدد الصفحات
8
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الموضوعات
الملخص EN
The combination of logic programming methods and database systems technology will result in knowledge bases of increased size and improved efficiency: this topic has received a lot of attention [1-6].
There are many technical problems which must be addressed and solved in order to combine logic programming languages and relational database systems.
Mainly, we are interested in the typing systems problems.
Relational database systems are well typed language, whilst logic programming languages are not [1, 5, 7, 8].
We overcome this difference by adding types to PROLOG (i.e.
TPROLOG).
TPROLOG allows the user to define enumerated types, sub-types, structure types, and variant types.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
al-Amudi, Said M. H.. 1992. TPROLOG : a typed prolog for relational database systems. The Arabian Journal for Science and Engineering،Vol. 17, no. 3, pp.415-422.
https://search.emarefa.net/detail/BIM-598481
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
al-Amudi, Said M. H.. TPROLOG : a typed prolog for relational database systems. The Arabian Journal for Science and Engineering Vol. 17, no. 3 (Jul. 1992), pp.415-422.
https://search.emarefa.net/detail/BIM-598481
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
al-Amudi, Said M. H.. TPROLOG : a typed prolog for relational database systems. The Arabian Journal for Science and Engineering. 1992. Vol. 17, no. 3, pp.415-422.
https://search.emarefa.net/detail/BIM-598481
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 422
رقم السجل
BIM-598481
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر