Skip to main content
  • Book
  • © 2004

Logics for Emerging Applications of Databases

  • 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

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (9 chapters)

  1. Front Matter

    Pages I-XV
  2. XML: Model, Schemas, Types, Logics, and Queries

    • Nils Klarlund, Thomas Schwentick, Dan Suciu
    Pages 1-41
  3. Query Answering in Inconsistent Databases

    • Leopoldo Bertossi, Jan Chomicki
    Pages 43-83
  4. Declarative Update Policies for Nonmonotonic Knowledge Bases

    • Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    Pages 85-129
  5. Intelligent Agents: Issues and Logics

    • John-Jules Ch. Meyer
    Pages 131-165
  6. Logic-Based Approaches to Workflow Modeling and Verification

    • Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, Guizhen Yang
    Pages 167-202
  7. Logical Data Expiration

    • David Toman
    Pages 203-238
  8. Description Logics for Modeling Dynamic Information

    • Alessandro Artale, Enrico Franconi, Federica Mandreoli
    Pages 239-275
  9. Logics for Authorizations and Security

    • Piero A. Bonatti, Pierangela Samarati
    Pages 277-323
  10. Logical Languages for Data Mining

    • Fosca Giannotti, Giuseppe Manco, Jef Wijsen
    Pages 325-361
  11. Back Matter

    Pages 363-368

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

  • Dept. of Computer Science and Engineering University at Buffalo, State University of New York, Buffalo, USA

    Jan Chomicki

  • School of Computer Science and Engineering, University of New South Wales, Sydney, Australia

    Ron Meyden

  • Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, Magdeburg, Germany

    Gunter Saake

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access