Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992

مدل سازی پایگاه داده به طراحی سیستم های پایگاه داده قابل اعتماد و کارآمد مربوط می شود. سه رویکرد مختلف برای مدل‌سازی را می‌توان شناسایی کرد: ساختارمحور، فرآیندمحور و رفتارمحور. ادبیات پایگاه داده به طور سنتی بر رویکردهای ساختارمحور متمرکز بوده است، اما اکنون به طور گسترده تشخیص داده شده است که مشکلات را می توان با ادغام هر سه به طور موثرتر حل کرد. در نتیجه، مدل‌سازی دینامیک پایگاه‌داده در حال حاضر به اندازه مدل‌سازی ساختارهای پایگاه‌داده ایستا اهمیت دارد. این جلد شامل مقالات منتخب از چهارمین کارگاه بین‌المللی مبانی مدل‌ها و زبان‌ها برای داده‌ها و اشیا است که در فولکس، آلمان، 19 تا 22 اکتبر 1992 برگزار شد. ، بخشی از انجمن آلمان برای انفورماتیک. این یک انجمن بین المللی برای بحث در مورد تحقیقات فعلی در مورد نظریه پایگاه داده و کاربرد آن در فناوری پایگاه داده فراهم می کند. موضوع این کارگاه ویژه مدل سازی رفتار پویا سیستم های پایگاه داده در چارچوب های رسمی بود. از آنجایی که اصول شی گرا به طور گسترده در کار تحقیقاتی فعلی مورد استفاده قرار می گیرد، تاکید ویژه ای نیز به دینامیک شی داده شد. از جمله موضوعات مورد بحث در این جلد عبارتند از: تعیین دینامیک پایگاه داده های اشیاء پیچیده. به روز رسانی در یک زبان مبتنی بر قانون برای اشیاء. یک رویکرد مرتب‌سازی شده به اشیاء فعال؛ جنبه های غیر قطعی تبدیل پایگاه داده که شامل ایجاد شی است. نظارت بر مجوزهای موقت با استفاده از نمودارهای انتقال تا حدی ارزیابی شده. رسمی‌سازی پایگاه‌های اطلاعاتی منطقی و محدودیت‌های یکپارچگی؛ مقایسه رویکردهای مدل‌سازی دینامیک پایگاه‌های اطلاعاتی Modelling Database Dynamics نمای کلی جامعی از تحقیقات جاری در مورد مدل‌سازی و استفاده از دینامیک پایگاه داده ارائه می‌دهد. این مطالعه ارزشمندی را برای محققان، دانشجویان تحصیلات تکمیلی، و هر کسی که به مبانی نظری علوم کامپیوتر علاقه مند است، ارائه می دهد.

Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Database literature has traditionally focused on structure-oriented approaches, but it is now widely recognised that problems can be solved more effectively by integrating all three. As a result, modelling database dynamics is now considered to be as important as modelling static database structures. This volume contains selected papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, held in Volkse, Germany, 19-22 October, 1992. This series of international workshops was initiated by the Working Group on Foundations of Information Systems, part of the German Association for Informatics. It provides an international forum for the discussion of current research into database theory and its application to database technology. The theme of this particular workshop was modelling the dynamic behaviour of database systems in formal frameworks. As object-oriented principles are being widely used in current research work, particular emphasis was also given to object dynamics. Among the topics covered in this volume are: specifying the dynamics of complex objects databases; updates in a rule-based language for objects; an order-sorted approach to active objects; non-deterministic aspects of database transformations involving object creation; monitoring temporal permissions using partially evaluated transition graphs; a formalisation of logic databases and integrity constraints; a comparison of approaches for modelling dynamics of databases. Modelling Database Dynamics provides a comprehensive overview of current research into the modelling and use of database dynamics. It will provide invaluable reading for researchers, postgraduate students, and anyone interested in the theoretical foundations of computer science.