Advances in Data Base Theory: Volume 2

این سومین کتابی است که به مسائل نظری در پایگاه‌های داده اختصاص داده شده است که ما ویرایش کرده‌ایم. هر کتاب حاصل مقالاتی است که در کارگاهی در تولوز فرانسه برگزار شده است. اولین کارگاه که در سال 1977 برگزار شد، عمدتاً بر موضوع مهم منطق و پایگاه‌های اطلاعاتی متمرکز بود. کتاب منطق و پایگاه‌های اطلاعاتی حاصل این تلاش بود. کاربردهای متنوع منطق برای پایگاه‌های اطلاعاتی مانند استفاده از آن به عنوان مبنای نظری برای پایگاه‌های داده، برای استنتاج و برای فرمول‌بندی و بررسی محدودیت‌های صحیح در فصل‌های کتاب شرح داده شده است. علاقه ایجاد شده توسط اولین کارگاه منجر به تصمیم گیری برای برگزاری کارگاه های دیگر با تمرکز بر مسائل نظری در پایگاه های داده شد. علاوه بر منطق و پایگاه‌های اطلاعاتی، انواع مقاله‌ها گسترش یافتند تا موضوعات نظری مهم دیگری مانند تئوری وابستگی را در بر گیرند که اگرچه گاهی از منطق به عنوان مبنا استفاده می‌کند، اما با معنای مورد نظر ما از منطق و پایگاه‌های داده‌ای که در کارگاه اول بررسی شد، مطابقت ندارد. به دلیل پوشش گسترده‌تر، و از آنجایی که ما پیش‌بینی می‌کردیم کارگاه‌های بیشتری برگزار شود، عنوان کتاب دوم پیشرفت در نظریه پایگاه داده - جلد 1 بود. کتاب \"منطق و پایگاه‌های داده\" را باید جلد 0 این مجموعه در نظر گرفت.

This is the third book devoted to theoretical issues in data­ bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases was the result of this effort. The diverse uses of logic for databases such as its use as a theoretical basis for databases, for deduction and for integ­ rity constraints formulation and checking was described in the chapters of the book. The interest generated by the first workshop led to the deci­ sion to conduct other workshops focused on theoretical issues in databases. In addition to logic and databases the types of papers were expanded to include other important theoretical issues such as dependency theory which, although it sometimes uses logic as a basis, does not fit with our intended meaning of logic and databases explored at the first workshop. Because of the broader coverage, and because we anticipated further workshops, the second book was entitled, Advances in Database Theory - Volume 1. The book "Logic and Databases" should be considered Volume 0 of this series.