دانلود کتاب Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
کتاب منطق در بانکهای اطلاعاتی: کارگاه بین المللی LID '96 SAN MINIATO ، ایتالیا ، 1-2 ژوئیه 1996 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب منطق در بانکهای اطلاعاتی: کارگاه بین المللی LID '96 SAN MINIATO ، ایتالیا ، 1-2 ژوئیه 1996 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
نام کتاب : Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : منطق در بانکهای اطلاعاتی: کارگاه بین المللی LID '96 SAN MINIATO ، ایتالیا ، 1-2 ژوئیه 1996 مجموعه مقالات
سری : Lecture Notes in Computer Science 1154
نویسندگان : Jack Minker (auth.), Dino Pedreschi, Carlo Zaniolo (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1996
تعداد صفحات : 493
ISBN (شابک) : 3540618147 , 9783540618140
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کارگاه آموزشی کارگاه بین‌المللی منطق در پایگاه‌های داده، LID'96 است که در ژوئیه 1996 در سن مینیاتو، ایتالیا برگزار شد، به عنوان آخرین جلسه یک فعالیت تعاونی EC-US.< BR> این جلد 21 مقاله کامل اصلاح شده را ارائه می کند که از بین 49 مورد ارسالی و همچنین 3 مشارکت دعوت شده و خلاصه ای از یک بحث پانل در مورد پایگاه های داده قیاسی: چالش ها، فرصت ها و جهت گیری های آینده انتخاب شده اند. بررسی گذشته‌نگر درباره منطق و پایگاه‌های داده توسط جک مینکر شایسته ذکر ویژه است: این بررسی 56 صفحه‌ای است و 357 مرجع را فهرست می‌کند. مقالات در بخش هایی در مورد عدم قطعیت، استدلال زمانی و مکانی، به روز رسانی، پایگاه های داده فعال، معناشناسی، برنامه های کاربردی پیشرفته، ارزیابی پرس و جو، پسوند زبان، و ساختارهای منطقی و قدرت بیانی سازماندهی شده اند.
فهرست مطالب :
Logic and databases: A 20 year retrospective....Pages 1-57
A parametric approach to deductive databases with uncertainty....Pages 59-81
A deductive database approach to planning in uncertain environments....Pages 83-98
Termination properties of spatial Datalog programs....Pages 99-116
Applying transition rules to bitemporal deductive databases for integrity constraint checking....Pages 117-134
Towards a unified agent architecture that combines rationality with reactivity....Pages 135-149
Learning query rules for optimizing databases with update rules....Pages 151-172
Formal characterization of active databases....Pages 173-195
Nested transactions in a logical language for active rules....Pages 197-222
Deductive Databases: Challenges, opportunities and future directions....Pages 223-229
R-stable models for logic programs....Pages 231-243
The expressive power of partial models for disjunctive deductive databases....Pages 245-264
Stable model checking for disjunctive logic programs....Pages 265-278
Analysis of logic-based systems....Pages 279-301
An axiomatic interpretation of confidentiality demands in logic-based relational databases....Pages 303-319
Database query evaluation with the STARBASE method....Pages 321-342
The limits of fixed-order computation....Pages 343-363
The $$\\mathcal{I}\\mathcal{Q}$$ system: A deductive database Information Lens for reasoning about textual information....Pages 365-385
Arithmetic and aggregate operators in deductive object-oriented databases....Pages 387-397
Sequence Datalog: Declarative string manipulation in databases....Pages 399-413
Language extensions for semantic integration of deductive databases....Pages 415-434
Unification of bounded simple set terms in deductive databases....Pages 435-453
Expressiveness of semipositive logic programs with value invention....Pages 455-474
A more expressive deterministic query language with efficient symmetry-based choice construct....Pages 475-495
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity.
The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers are organized in sections on uncertainty, temporal and spatial reasoning, updates, active databases, semantics, advanced applications, query evaluation, language extensions, and logic constructs and expressive power.
پست ها تصادفی