دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung
دانلود کتاب پایگاه داده های قیاسی: مقدمه ای از دیدگاه برنامه نویسی منطقی
مشخصات کتاب
Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung
ویرایش: [1 ed.] نویسندگان: Armin B. Cremers, Ulrike Griefahn, Ralf Hinze (auth.) سری: Artificial Intelligence / Künstliche Intelligenz ISBN (شابک) : 9783528047009, 9783663095729 ناشر: Vieweg+Teubner Verlag سال نشر: 1994 تعداد صفحات: 464 [472] زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 20 Mb
قیمت کتاب (تومان) : 58,000
در صورت تبدیل فایل کتاب Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پایگاه داده های قیاسی: مقدمه ای از دیدگاه برنامه نویسی منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پایگاه داده های قیاسی: مقدمه ای از دیدگاه برنامه نویسی منطقی
لایت موتیف این کتاب استفاده از منطق به عنوان یک زبان پایگاه داده است. ابتدا مبانی برنامه نویسی منطقی کار می شود و یک مدل پایه خاص از پایگاه های داده قیاسی تعریف می شود. این مدل پایه به تدریج گسترش می یابد تا مفاهیم پایگاه داده مانند ارزیابی پرس و جو، بررسی یکپارچگی و پردازش تغییرات را شامل شود. سپس سیستم های نوع و حالت مورد بحث قرار می گیرند. این کتاب با یک بخش عملی پایان می‌یابد که در آن تحقق نمونه اولیه سیستم پایگاه داده قیاسی ارائه شده در Prolog مورد بحث قرار می‌گیرد.
توضیحاتی درمورد کتاب به خارجی
Das Leitmotiv dieses Buches ist die Verwendung von Logik als Datenbanksprache. Zunächst werden die Grundlagen der logischen Programmierung erarbeitet und ein spezielles Grundmodell deduktiver Datenbanken definiert. Es folgt die schrittweise Erweiterung dieses Grundmodells um Datenbankkonzepte wie Anfrageauswertung, Integritätsprüfung und Änderungsbearbeitung. Anschließend werden Typ- und Modussysteme diskutiert. Das Buch schließt mit einem praktischen Teil, in dem die prototypische Realisierung des vorgestellten deduktiven Datenbanksystems in Prolog erörtert wird.
فهرست مطالب
Front Matter....Pages i-xii
Einleitung....Pages 1-16
Prädikatenlogik....Pages 17-51
Deduktive Datenbanken....Pages 53-110
Alternative Auswertungsmethoden....Pages 111-145
Typsysteme....Pages 147-182
Statische Transformationen....Pages 183-240
Integritätsprüfung....Pages 241-283
Änderungen....Pages 285-320
Back Matter....Pages 321-464
