Logics for Emerging Applications of Databases

  • Jan Chomicki
  • Ron van der Meyden
  • Gunter Saake

Table of contents

  1. Front Matter
    Pages I-XV
  2. Nils Klarlund, Thomas Schwentick, Dan Suciu
    Pages 1-41
  3. Leopoldo Bertossi, Jan Chomicki
    Pages 43-83
  4. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    Pages 85-129
  5. John-Jules Ch. Meyer
    Pages 131-165
  6. Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, Guizhen Yang
    Pages 167-202
  7. David Toman
    Pages 203-238
  8. Alessandro Artale, Enrico Franconi, Federica Mandreoli
    Pages 239-275
  9. Piero A. Bonatti, Pierangela Samarati
    Pages 277-323
  10. 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 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.


Extensible Markup Language (XML) XML algebra automata complexity computational complexity data mining database databases logic modeling multi-agent system programming security verification

Editors and affiliations

  • Jan Chomicki
    • 1
  • Ron van der Meyden
    • 2
  • Gunter Saake
    • 3
  1. 1.Dept. of Computer Science and Engineering University at BuffaloState University of New YorkBuffaloUSA
  2. 2.School of Computer Science and EngineeringUniversity of New South WalesSydneyAustralia
  3. 3.Fakultät für InformatikOtto-von-Guericke-Universität MagdeburgMagdeburgGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-62248-9
  • Online ISBN 978-3-642-18690-5
  • Buy this book on publisher's site