درسنامه ها و مقالات

گویش هسته (RIF-Core)

درسنامه ، مقاله، تحقیق، پروژه | 28 January, 2014 01:08


از نقطه نظر تئوری RIF متناظر با زبان هایی از قوانین Horn قطعی بدون نمادهای تابعی(اغلب به آن Datalog گفته می شود) و همراه با معانی مرتبه اول استاندارد می باشد. این گویش زیرمجموعه ای از RIF-BLD می باشد، بعلاوه زبانی از قوانین تولید می باشد که نتیجه گیری ها به عنوان عملیات درج تفسیر می شوند. از این رو زیر مجموعه ای از از RIF-PRD نیز می باشد. از طرف دیگر RIF-Core بر مبنای توابع و مسند های built-in بر روی انواع داده شِمای XML انتخابی می باشد، همانگونه که در RIF-DTB مشخص شده است، از این رو این زیر مجموعه مشترک از RIF-BLD و RIF-PRD بر مبنای RIF-DTB است. در واقع می توان گفت که گویش های BLD و PRD از توسعه گویش هسته بدست می آیند.

به لحاظ نحوی، RIF-Core تعدادی توسعه Datalog برای پشتیبانی از ویژگی هایی چون اشیاء و قاب ها، IRI ها و انواع داده شمای XML دارد.

RIF-Core زیر مجموعه مشترک بیشینه ای از RIF-BLD و RIF-PRD نمی باشد. این گویش تعدادی از ویژگی های اشتراک  را که به قابلیت بیان زبان نمی افزایند و توسط زبان های قانون چندان مورد پشتیبانی نیستند، حذف می کند.




نظرات

ارسال نظر
Info

توجه: از ارسال پيام هاي خصوصي در حالت لاگين براي نويسنده وبلاگ اجتناب نماييد.
در صورتی که در فرم ارسال نظر، نام شما توسط سیستم شناسایی شده باشد(در حالت لاگین) نظر شما بلافاصله منتشر خواهد شد.


در غیر اینصورت نظر شما پس از تایید توسط مالک وبلاگ منتشر خواهد شد.

 authimage
 
Accessible and Valid XHTML 1.0 Strict and CSS
Converted to use with ITS. Powered by FUMblog