دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
دانلود کتاب منطق در پایگاه های داده: کارگاه بین المللی LID '96 San Miniato، ایتالیا، 1-2 ژوئیه، 1996 مجموعه مقالات
مشخصات کتاب
Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Jack Minker (auth.), Dino Pedreschi, Carlo Zaniolo (eds.) سری: Lecture Notes in Computer Science 1154 ISBN (شابک) : 3540618147, 9783540618140 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 493 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق در پایگاه های داده: کارگاه بین المللی LID '96 San Miniato، ایتالیا، 1-2 ژوئیه، 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق در پایگاه های داده: کارگاه بین المللی LID '96 San Miniato، ایتالیا، 1-2 ژوئیه، 1996 مجموعه مقالات
این کتاب مجموعه مقالات پس از کارگاه آموزشی کارگاه بین‌المللی منطق در پایگاه‌های داده، LID'96 است که در ژوئیه 1996 در سن مینیاتو، ایتالیا برگزار شد، به عنوان آخرین جلسه یک فعالیت تعاونی EC-US.< BR> این جلد 21 مقاله کامل اصلاح شده را ارائه می کند که از بین 49 مورد ارسالی و همچنین 3 مشارکت دعوت شده و خلاصه ای از یک بحث پانل در مورد پایگاه های داده قیاسی: چالش ها، فرصت ها و جهت گیری های آینده انتخاب شده اند. بررسی گذشته‌نگر درباره منطق و پایگاه‌های داده توسط جک مینکر شایسته ذکر ویژه است: این بررسی 56 صفحه‌ای است و 357 مرجع را فهرست می‌کند. مقالات در بخش هایی در مورد عدم قطعیت، استدلال زمانی و مکانی، به روز رسانی، پایگاه های داده فعال، معناشناسی، برنامه های کاربردی پیشرفته، ارزیابی پرس و جو، پسوند زبان، و ساختارهای منطقی و قدرت بیانی سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Progress in Pattern Recognition, Image Analysis and Applications: 11th Iberoamerican Congress in Pattern Recognition, CIARP 2006 Cancun, Mexico, November 14-17, 2006 Proceedings
دانلود کتاب Management of Convergence Networks and Services: 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006 Proceedings
دانلود کتاب Document Analysis Systems: Theory and Practice: Third IAPR Workshop, DAS’98 Nagano, Japan, November 4–6, 1998 Selected Papers
دانلود کتاب Parallel Scientific Computing: First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
دانلود کتاب Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
دانلود کتاب Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings
دانلود کتاب Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
دانلود کتاب Multimodal Technologies for Perception of Humans: International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
دانلود کتاب ECAI 2006, 17th European Conference on Artificial Intelligence
