Logics for Databases and Information Systems

Hardcover (Print)

Buy New

Buy New from BN.com

$271.58

(Save 17%)

Eligible for FREE SHIPPING details

Usually ships within 24 hours details

Used and New from Other Sellers

from $84.99

Usually ships in 1-2 business days

(Save 74%)

Other sellers (Hardcover)

All (3) from $84.99
New (2) from $241.95
Used (1) from $84.99

Overview

Logics for Databases and Information Systems addresses novel applications of logical frameworks to the problems of database integrity and dynamics, handling time and change, concurrency, incomplete information, data modeling, and property inheritance. Each topic is discussed by leading researchers in the field. Logics for Databases and Information Systems is suitable as a secondary text for a graduate level course on Databases and Information Systems, and as a reference for researchers and practitioners in industry.

Editorial Reviews

Booknews

A supplementary textbook for an advanced graduate database course and a reference for database researchers. Demonstrates the various applications of logic in databases and information systems through a series of fairly broad case studies, each addressing a specific aspect either of databases or information systems or a specific logical formalism. Among them are temporal logic, deontic logic for specification, programming database transactions, incomplete information, and declarative frameworks for inheritance. Annotation c. by Book News, Inc., Portland, Or.

Product Details

ISBN-13: 9780792381297
Publisher: Springer US
Publication date: 3/28/1998
Series: The Springer International Series in Engineering and Computer Science , #436
Edition description: 1998
Edition number: 1
Pages: 430
Product dimensions: 6.14 (w) x 9.21 (h) x 1.00 (d)

	List of Contributors
1	Introduction to Logics for Databases and Information Systems	1
2	A Logic Primer	5
3	Temporal Logic in Information Systems	31
4	The Role of Deontic Logic in the Specification of Information Systems	71
5	A Logic for Programming Database Transactions	117
6	Logics for Specifying Concurrent Information Systems	167
7	Evolving Logical Specification in Information Systems	199
8	Description Logics for Conceptual Data Modeling	229
9	Integrity Constraints: Semantics and Applications	265
10	Logical Approaches to Incomplete Information: A Survey	307
11	Declarative Frameworks for Inheritance	357
12	On Logical Foundations of Active Databases	389
	Index	423

Customer Reviews

Be the first to write a review

( 0 )

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

If you find inappropriate content, please report it to Barnes & Noble

Logics for Databases and Information Systems / Edition 1