Transactions and Database Dynamics: 8th International Workshop on Foundations of Models and Languages for Data and Objects Dagstuhl Castle, Germany, September 27–30, 1999 Selected Papers

این مقالات پس از بررسی شامل نسخه های اصلاح شده مقالات پذیرفته شده کارگاه بین المللی \Transactions and Database Dynamics\" است که هشتمین کارگاه از مجموعه ای با تمرکز بر مبانی مدل ها و زبان ها برای داده ها و اشیا (FoMLaDO) بود. هفت مقاله طولانی و سه مقاله کوتاه برای گنجاندن در دادرسی پذیرفته شد. این مقالات به موضوعات مختلف تراکنش ها و پویایی پایگاه داده می پردازد: { معیارها و پروتکل های جداسازی کلی عکس فوری در مدیریت تراکنش فدرال، { نظریه واحد کنترل همزمانی و کنترل تکرار، { مشخصات سیستم‌های اطلاعاتی در حال تکامل، { مکانیسم‌های ارث بری برای پایگاه‌های اطلاعاتی اشیاء قیاسی با به‌روزرسانی، { مشخصه‌های قوانین فعال برای حفظ ثبات پایگاه داده، { بررسی یکپارچگی در معاملات فرعی، { تراکنش‌های تودرتوی باز برای معماری‌های چند لایه، {مشخصات اعلامی تراکنش‌هایی با محدودیت‌های یکپارچگی استاتیک و پویا، { مشخصات مبتنی بر منطق جستجوهای به‌روزرسانی به عنوان تراکنش‌های تودرتوی باز، و {ضمانت‌های اجرا و فرآیندهای تراکنش در پرداخت‌های تجارت الکترونیک. علاوه بر مقالات معمولی، مقالات حاصل از دو گروه کاری نیز وجود دارد. اولین مقاله گروه کاری اساس محاسبه تراکنشی را مورد بحث قرار می دهد. به طور خاص، به مشخصات نرم افزار تراکنشی می پردازد. دومین مقاله گروه کاری بر معاملات در کاربردهای تجارت الکترونیک متمرکز است. از جمله، تراکنش‌های اینترنتی، پروتکل‌های پرداخت، و مکانیسم‌های کنترل و تداوم ارز C مورد بحث قرار می‌گیرند. علاوه بر این، یک مقاله دعوت شده توسط Jari Veijalainen وجود دارد که جنبه های تراکنشی در تجارت الکترونیک سیار را مورد بحث قرار می دهد.

These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce.