|
" Logics for Emerging Applications of Databases "
edited by Jan Chomicki, Ron Meyden, Gunter Saake.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747256
|
| Doc. No
|
:
|
b567207
|
| Main Entry
|
:
|
edited by Jan Chomicki, Ron Meyden, Gunter Saake.
|
| Title & Author
|
:
|
Logics for Emerging Applications of Databases\ edited by Jan Chomicki, Ron Meyden, Gunter Saake.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2004
|
| Page. NO
|
:
|
(XV, 368 pages 37 illustrations)
|
| ISBN
|
:
|
3540007059
|
|
|
:
|
: 3642186904
|
|
|
:
|
: 3642622488
|
|
|
:
|
: 9783540007050
|
|
|
:
|
: 9783642186905
|
|
|
:
|
: 9783642622489
|
| Contents
|
:
|
Preface --; XML: Model, Schemas, Types, Logics and Queries (N. Klarlund, Th. Schwentick, D. Suciu) --; Query Answering in Inconsistent Databases (L. Bertossi, J. Chomicki) --; Declarative Update Policies for Nonmonotonic Knowledge Bases (Th. Eiter, M. Fink, G. Sabatini, H. Tompits) --; Intelligent Agents: Issues and Logics (J.-J. Ch. Meyer) --; Logic Based Approaches to Workflow Modeling and Verification (S. Mukherjee, H. Davulcu, M. Kifer, P. Senkul) --; Logical Data Expiration (D. Toman) --; Description Logics for Modeling Dynamic Information (A. Artale, E. Franconi, F. Mandreoli) --; Logics for Authorizations and Security (P.A. Bonatti, P. Samarati) --; Logical Languages for Data Mining (F. Gianotti, G. Manco, J. Wijsen) --; Index.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Database management.
|
| Subject
|
:
|
Information storage and retrieval systems.
|
| LC Classification
|
:
|
QA76.9.D3E358 2004
|
| Added Entry
|
:
|
Gunter Saake
|
|
|
:
|
Jan Chomicki
|
|
|
:
|
Ron Meyden
|
| |