Overview
- Up to date snapshot of current research directions in the application of logic to data management and information systems
- Wide coverage of application areas including hot topics like XML modeling and queries, knowledge bases, intelligent agents, workflow, and data mining
- Only book with such a broad and in-depth coverage of logics applications in data mangement
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
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: 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.
Editors and Affiliations
Bibliographic Information
Book Title: Logics for Emerging Applications of Databases
Editors: Jan Chomicki, Ron Meyden, Gunter Saake
DOI: https://doi.org/10.1007/978-3-642-18690-5
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Hardcover ISBN: 978-3-540-00705-0Published: 26 August 2003
Softcover ISBN: 978-3-642-62248-9Published: 01 October 2012
eBook ISBN: 978-3-642-18690-5Published: 28 June 2011
Edition Number: 1
Number of Pages: XV, 368
Topics: Database Management, Math Applications in Computer Science, Information Storage and Retrieval, Mathematical Logic and Formal Languages, Artificial Intelligence