مبانی پایگاه‌های داده استنتاجی و برنامه‌نویسی منطقی ۲۰۱۴
Foundations of Deductive Databases and Logic Programming 2014

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

در ادامه، کتاب نگاهی به نفی به عنوان شکست با استفاده از مشتقات تنگ برای برنامه‌های منطقی عمومی، معناشناسی اعلانی برنامه‌های منطقی با نفی و معناشناسی اعلانی پایگاه داده‌های استنتاجی و برنامه‌نویسی منطقی می‌اندازد. این اثر به تبدیل کنترل AND به کنترل OR از طریق تبدیل برنامه، بهینه‌سازی دیالوگ، هم‌ارزی برنامه‌های منطقی، یکسان‌سازی و برنامه‌نویسی منطقی و پیچیدگی موازی می‌پردازد.

موضوعات شامل مواز‌ی‌سازی و داده‌های ساخت‌یافته و غیرساخت‌یافته، الگوریتم‌ها و پیچیدگی موازی، حل معادلات، عمومی‌ترین یکسان‌سازها، سیستم‌های معادلات و نامعادلات، هم‌ارزی برنامه‌های منطقی و بهینه‌سازی برنامه‌های بازگشتی است. این مجموعه منبع ارزشمندی از داده‌ها برای محققانی است که علاقه‌مند به پیگیری مطالعات بیشتر در مورد مبانی پایگاه داده‌های استنتاجی و برنامه‌نویسی منطقی هستند.

Foundations of Deductive Databases and Logic Programming focuses on the foundational issues concerning deductive databases and logic programming. The selection first elaborates on negation in logic programming and towards a theory of declarative knowledge. Discussions focus on model theory of stratified programs, fixed point theory of nonmonotonic operators, stratified programs, semantics for negation in terms of special classes of models, relation between closed world assumption and the completed database, negation as a failure, and closed world assumption. The book then takes a look at negation as failure using tight derivations for general logic programs, declarative semantics of logic programs with negation, and declarative semantics of deductive databases and logic programs. The publication tackles converting AND-control to OR-control by program transformation, optimizing dialog, equivalences of logic programs, unification, and logic programming and parallel complexity. Topics include parallelism and structured and unstructured data, parallel algorithms and complexity, solving equations, most general unifiers, systems of equations and inequations, equivalences of logic programs, and optimizing recursive programs. The selection is a valuable source of data for researchers interested in pursuing further studies on the foundations of deductive databases and logic programming.