پایگاه داده مبتنی بر منطق

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,835

فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICCONF01_136

تاریخ نمایه سازی: 14 آذر 1394

چکیده مقاله:

با پیشرفت روز افزون نیازهای کاربران در زمینه های کاری مختلف احساس نیاز به وجود آمدن پایگاه داده های مبتنی بر منطق در زمینه های که نیاز به استخراج دانش و اطلاعات از حقایق پایگاه داده در زمینه پرس جو ها که نیاز به استنباط از داده ها موجود می باشد . این مدل ازپایگاه داده ها جواب گویی نیاز های این قبیل از کاربران است. همچنین کاربرد های از قبیل سیستم های کاری که ازسیستم خبره یا هوشمصنوعی و سیستم های که از استنتاج بر روی داده ها انجام می دهند. در این مقاله به مقدمات و تئوری وحساب های گزاره ای وحساب محمول و قوانین استنتاجی ونحوه تعریف این قوانین و نحوه کار کرد این قوانین روی داده های پایگاه داده ها و نحوه بیان تقاضای می پردازیم . همچنین به اثبات تئوریک و مدل تئورک مورد استفاده در این گونه بانک های اطلاعاتی و به کاربرد این مدل از پایگاه داده ها را خواهیم پرداخت

نویسندگان

ابراهیم علائی

مدرس مدعو دانشکده فنی و مهندسی،دانشگاه شهرکرد

هادی محمدی

عضو هیات علمی دانشگاه پیام نور

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Hareve Galeier and jack Minker:"logic and Data bases".New York, 2005 ...
  • -Rombond Retier :"Toward a Logical Reconstraction Relational DataBase Teory".pub springer ...
  • -C.J Date , An Introduction to database system , Eight ...
  • - Ramakri shnan&Gehrke _ "Database Management System ", fourth Edition, ...
  • - Hareve Galeier and jack Minker:"logic and Data bases A ...
  • -jefery D.U llman:"Data Base and Knowlage-B ase System" Computer Since ...
  • francois and Ramakrishna. "an Amatoures introduction to recusive Query prosessing ...
  • -A.aho and J.D Ullman "uneversality of Data Ritreval Langeuge", pub ...
  • - francois :"new evalation of Recursively Dafined Ralations" , springer ...
  • نمایش کامل مراجع