Logics for Emerging Applications of Databases

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. Written for scientists and graduate students, this book presents current research results on logic applications in databases that focus on new and hot application areas such as XML, web data, workflow, intelligent agents, data mining, and temporal information. The book is of interest for database and information system researchers and graduate students who will find a lot of information and resources for their work.

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.