ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logics for databases and information systems

دانلود کتاب منطق برای پایگاه های داده و سیستم های اطلاعاتی

Logics for databases and information systems

مشخصات کتاب

Logics for databases and information systems

ویرایش: Softcover reprint of the original 1st ed. 1998 
نویسندگان: ,   
سری: International series in engineering and computer science 436 
ISBN (شابک) : 1461375827, 1461556430 
ناشر: Springer US 
سال نشر: 1998 
تعداد صفحات: 441 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 46,000



کلمات کلیدی مربوط به کتاب منطق برای پایگاه های داده و سیستم های اطلاعاتی: ساختارهای داده، رمز شناسی و نظریه اطلاعات، هوش مصنوعی (شامل رباتیک)، زبان های برنامه نویسی، کامپایلرها، مترجمان، ذخیره سازی و بازیابی اطلاعات



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 19


در صورت تبدیل فایل کتاب Logics for databases and information systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق برای پایگاه های داده و سیستم های اطلاعاتی

زمان در همه جا در سیستم های اطلاعاتی وجود دارد. تقریباً هر شرکتی با مشکل قدیمی شدن اطلاعات خود مواجه است. با این حال، چنین داده‌هایی اغلب با ارزش هستند، بنابراین باید بایگانی شوند و ابزاری برای دسترسی به آن ارائه شود. همچنین، برخی از داده‌ها ممکن است ذاتاً تاریخی باشند، به عنوان مثال، سوابق پزشکی، کاداستر یا قضایی. پایگاه های داده زمانی روشی یکسان و منظم برای برخورد با داده های تاریخی ارائه می دهند. زبان‌های زیادی برای پایگاه‌های اطلاعاتی موقتی پیشنهاد شده‌اند، در میان دیگر منطق زمانی. منطق زمانی، معنای انتزاعی و رسمی را با قابلیت اجرای کارآمد ترکیب می کند. این فصل نشان می دهد که چگونه می توان از منطق زمانی در برنامه های کاربردی پایگاه داده زمانی استفاده کرد. به‌جای ارائه نتایج جدید، ما در مورد تحولات اخیر گزارش می‌دهیم و با استفاده از یک چارچوب رسمی یکپارچه، زمینه را به روشی سیستماتیک بررسی می‌کنیم [GHR94; Ch094]. کتاب راهنما [GHR94] یک مرجع جامع در زمینه مبانی ریاضی منطق زمانی است. در این فصل به بررسی نحوه استفاده از منطق زمانی به عنوان یک زبان محدودیت پرس و جو و یکپارچگی می پردازیم. در نتیجه، مفاهیم نظری مدل، به‌ویژه برای رضایت مولا، مورد توجه اولیه هستند. سیستم های بدیهی و روش های اثبات منطق زمانی [GHR94] تاکنون کاربردهای نسبتا کمی در زمینه سیستم های اطلاعاتی یافته اند. علاوه بر این، باید در نظر داشت که برای حوزه‌های زمانی استاندارد خطی، منطق زمانی به صورت خلاصه قابل تشریح نیست [GHR94]' بنابراین بدیهیات بازگشتی به ضرورت ناقص هستند.


توضیحاتی درمورد کتاب به خارجی

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu­ able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju­ dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem­ poral databases, among others temporal logic. Temporal logic combines ab­ stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica­ tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for­ mula satisfaction, are of primary interest. Axiomatic systems and proof meth­ ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re­ cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete



فهرست مطالب

Front Matter....Pages i-xiii
Introduction to Logics for Databases and Information Systems....Pages 1-4
A Logic Primer....Pages 5-30
Temporal Logic in Information Systems....Pages 31-70
The Role of Deontic Logic in the Specification of Information Systems....Pages 71-115
A Logic for Programming Database Transactions....Pages 117-166
Logics for Specifying Concurrent Information Systems....Pages 167-198
Evolving Logical Specification in Information Systems....Pages 199-228
Description Logics for Conceptual Data Modeling....Pages 229-263
Integrity Constraints: Semantics and Applications....Pages 265-306
Logical Approaches to Incomplete Information: A Survey....Pages 307-356
Declarative Frameworks for Inheritance....Pages 357-388
On Logical Foundations of Active Databases....Pages 389-422
Back Matter....Pages 423-430




نظرات کاربران