Image for Updating Logical Databases

Updating Logical Databases

Part of the Cambridge Tracts in Theoretical Computer Science series
See all formats and editions

This book tackles the problems of update algorithms for databases.

How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database?

The author has produced a formal method for specifying the desired change intentionally, using a 'formula-based' approach to updating needs rather than a 'model-based' technique.

The complexity of the algorithms, choice of semantics and a means of enforcing integrity constraints are also discussed.

The book will be of value to all involved in database research.

Read More
Special order line: only available to educational & business accounts. Sign In
£55.00
Product Details
Camb.U.P.
0521373719 / 9780521373715
Hardback
005.74
26/10/1990
United Kingdom
221 pages
174 x 247 mm, 505 grams
Professional & Vocational Learn More