Constraint Databases

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

This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard re­ lational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages. The book is a collaborative effort involving many authors who have con­ tributed chapters on their fields of expertise. Despite this, the book is designed to be read as a whole, as opposed to a collection of individual surveys. In par­ ticular, the terminology and the style of presentation have been standardized, and there are multiple cross-references between the chapters. The idea of constraint databases goes back to the late Paris Kanellakis.