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. Thi...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint : Springer,
2004.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of 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.