Logics for Emerging Applications of Databases

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

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

In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic provides a rich set of tools and techniques with which to address the questions of how to represent, query and reason about complex data.

This book provides a state-of-the-art overview of research on the application of logic-based methods to information systems, covering highly topical and emerging fields covering XML programming and querying, intelligent agents, workflow modeling and verification, data integration, temporal and dynamic information, data mining, authorization, and security. It provides both scientists and graduate students with a wealth of material and references for their own research and education.