دانلود کتاب An Extended Entity-Relationship Model: Fundamentals and Pragmatics (به فارسی: یک مدل موجودیت-رابطه گسترده: مبانی و عمل شناسی) نوشته شده توسط «Martin Gogolla (eds.)»
اطلاعات کتاب یک مدل موجودیت-رابطه گسترده: مبانی و عمل شناسی
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Martin Gogolla (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1994
تعداد صفحه: 141
حجم کتاب: 1 مگابایت
کد کتاب: 9783540576488 , 3540576487 , 0387576487 , 9780387576480
نوبت چاپ: 1
توضیحات کتاب یک مدل موجودیت-رابطه گسترده: مبانی و عمل شناسی
این متن مقدمه ای جامع برای مدل توسعه یافته Entity-Relationship هم در سطح مفهومی و هم در سطح رسمی ریاضی ارائه می دهد. علاوه بر موارد اولیه ارائه شده توسط مدل داده، متن زبانی را برای فرمول بندی محدودیت ها معرفی می کند تا حالت های پایگاه داده را به حالت های سازگار محدود کند. متن پیاده سازی رویکرد انتخاب شده در زبان برنامه نویسی منطقی PROLOG را توضیح می دهد و در این زمینه قدرت محاسباتی محاسبه پیشنهادی را مورد بحث قرار می دهد. حساب توسعه یافته Entity-Relationship برای تعریف معنای زبان پرس و جو رابطه ای SQL استفاده می شود. یکی از ویژگی‌های خوب این رویکرد این است که می‌توان ویژگی‌های زبان را بر اساس یک مبنای ریاضی درست اثبات کرد.
This text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematicallevel. In addition to the primitives given by the data model the text introduces a language for the formulation of constraints in order to restrict database states to consistent ones. The text explains an implementation of the approach chosen in the logic programing language PROLOG and discusses in this context the computational power of the proposedcalculus. The extended Entity-Relationship calculus is used to define the meaning of the relational query language SQL. A nice feature of the approach is that it becomes possible to prove language properties on a sound mathematical basis.
دانلود کتاب «یک مدل موجودیت-رابطه گسترده: مبانی و عمل شناسی»
