مشخصات کتاب

Foundations of Deductive Databases and Logic Programming

ویرایش:  
نویسندگان: Jack Minker  
سری:  
ISBN (شابک) : 9780934613408, 0934613400 
ناشر: Elsevier Inc, Morgan Kaufmann Pub 
سال نشر: 1988 
تعداد صفحات: 735 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 30 مگابایت 

در صورت تبدیل فایل کتاب Foundations of Deductive Databases and Logic Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مبانی پایگاه داده های قیاسی و برنامه نویسی منطقی

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

توضیحاتی درمورد کتاب به خارجی

This landmark volume explores the close relationship between deductive databases and logic programming and the foundational issues they share. A collection of original research, contributed by leading scientists, the book grew out of preliminary work presented at the Workshop on Foundations of Deductive Databases and Logic Programming held in Washington, DC, August 1986. All the papers have been extensively refereed and revised. Part 1 introduces and examines the import of stratified databases, and its relationship to circumscription, and provides a comprehensive survey of the problem of negation in logic programming. Part 2 addresses fundamental theoretical and practical issues in developing large-scale deductive databases and treats problems such as informative answers, semantic optimization, updates and computing answers in non-Horn theories. Part 3 provides results concerning logic programs and parallel complexity. An introductory survey offering background material and an overview of research topics, name and subject indexes, and extensive bibliographies complete the work. Invaluable to graduate students and researchers in deductive databases and logic programming, Foundations of Deductive Databases and Logic Programming will also be of interest to those working in automated theorem proving, artificial intelligence, and expert systems

فهرست مطالب

Content: 
Dedication, Page ii
Front Matter, Page iii
Copyright, Page iv
Introduction, Pages 1-16, Jack Minker
Chapter 1 - Negation in Logic Programming, Pages 19-88, John C. Shepherdson
Chapter 2 - Towards a Theory of Declarative Knowledge, Pages 89-148, Krzysztof R. Apt, Howard A. Blair, Adrian Walker
Chapter 3 - Negation as Failure Using Tight Derivations for General Logic Programs, Pages 149-176, Allen Van Gelder
Chapter 4 - On the Declarative Semantics of Logic Programs with Negation, Pages 177-192, Vladimir Lifschitz
Chapter 5 - On the Declarative Semantics of Deductive Databases and Logic Programs, Pages 193-216, Teodor C. Przymusinski
Chapter 6 - On Domain Independent Databases, Pages 217-240, R.W. Topor, E.A. Sonenberg
Chapter 7 - Foundations of Semantic Query Optimization for Deductive Databases, Pages 243-273, U.S. Chakravarthy, John Grant, Jack Minker
Chapter 8 - Intelligent Query Answering in Rule Based Systems, Pages 275-312, Tomasz Imielinski
Chapter 9 - A Theorem-Proving Approach to Database Integrity, Pages 313-362, Fariba Sadri, Robert Kowalski
Chapter 10 - A Logic-based Language for Database Updates, Pages 363-394, Sanjay Manchanda, David Scott Warren
Chapter 11 - Compiling the GCWA in Indefinite Deductive Databases, Pages 395-438, Lawrence J. Henschen, Hyung-Sik Park
Chapter 12 - Performance Evaluation of Data Intensive Logic Programs, Pages 439-517, Francois Bancilhon, Raghu Ramakrishnan
Chapter 13 - A Superjoin Algorithm for Deductive Databases, Pages 519-543, James A. Thom, Kotagiri Ramamohanarao, Lee Naish
Chapter 14 - Logic Programming and Parallel Complexity, Pages 547-585, Paris C. Kanellakis
Chapter 15 - Unification Revisited, Pages 587-625, J-L. Lassez, M.J. Maher, K. Marriott
Chapter 16 - Equivalences of Logic Programs, Pages 627-658, M.J. Maher
Chapter 17 - Optimizing Datalog Programs, Pages 659-698, Yehoshua Sagiv
Chapter 18 - Converting AND-Control to OR-Control by Program Transformation, Pages 699-709, M.H. van Emden, P. Szeredi
Authors, Pages 711-713
Referees, Pages 715-716
Author Index, Pages 717-721
Subject Index, Pages 723-746

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Differential Scanning Calorimetry: An Introduction for Practitioners

دانلود کتاب Catalysts for Fine Chemical Synthesis, Hydrolysis, Oxidation and Reduction (Catalysts For Fine Chemicals Synthesis) (Volume 1)

دانلود کتاب Top Secret Recipes--Sodas, Smoothies, Spirits, & Shakes

دانلود کتاب Storia della Chiesa da Lutero ai nostri giorni. L’età dell’assolutismo

دانلود کتاب How to make coffee: the science behind the bean