Logics for emerging applications of database

Jan Chomicki, Ron Van der Meyden, Gunter Saake

384 pages, parution le 11/09/2003

Ajouter à une liste

Indisponible

Résumé

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.

XML: Model, Schemas, Types, Logics and Queries
Query Answering in Inconsistent Databases
Declarative Update Policies for Nonmonotonic Knowledge Bases
Intelligent Agents: Issues and Logics
Logic Based Approaches to Workflow Modeling and Verification
Logical Data Expiration
Description Logics for Modeling Dynamic Information
Logics for Authorizations and Security
Logical Languages for Data Mining

Index

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Jan Chomicki, Ron Van der Meyden, Gunter Saake
Parution	11/09/2003
Nb. de pages	384
Format	16 x 24
Couverture	Relié
Poids	675g
Intérieur	Noir et Blanc
EAN13	9783540007050