Updating Logical Databases
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 of 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 means of enforcing integrity constraints are also discussed.
1103265538
Updating Logical Databases
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 of 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 means of enforcing integrity constraints are also discussed.
46.99
In Stock
5
1

Updating Logical Databases
224
Updating Logical Databases
224Paperback
$46.99
46.99
In Stock
Product Details
ISBN-13: | 9780521619721 |
---|---|
Publisher: | Cambridge University Press |
Publication date: | 02/17/2005 |
Series: | Cambridge Tracts in Theoretical Computer Science , #9 |
Pages: | 224 |
Product dimensions: | 7.36(w) x 9.65(h) x 0.47(d) |
From the B&N Reads Blog