Logics for Emerging Applications of Databases

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 ...