عنوان

Logics for Emerging Applications of Databases

شابک

3540007059

شابک

3642186904

شابک

3642622488

شابک

9783540007050

شابک

9783642186905

شابک

9783642622489

شماره

b567207

عنوان اصلي

Logics for Emerging Applications of Databases

نام عام مواد

[Book]

نام نخستين پديدآور

edited by Jan Chomicki, Ron Meyden, Gunter Saake.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg : Imprint : Springer

تاریخ نشرو بخش و غیره

2004

نام خاص و کميت اثر

(XV, 368 pages 37 illustrations)

متن يادداشت

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.

متن يادداشت

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.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Database management.

موضوع مستند نشده

Information storage and retrieval systems.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Jan Chomicki, Ron Meyden, Gunter Saake.

مستند نام اشخاص تاييد نشده

Gunter Saake

مستند نام اشخاص تاييد نشده

Jan Chomicki

مستند نام اشخاص تاييد نشده

Ron Meyden

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y