• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Updating Logical Databases

Updating Logical Databases

Paperback

Series: Cambridge Tracts in Theoretical Computer Science, Book 9

DatabasesProgrammingSystem Administration

ISBN10: 0521619726
ISBN13: 9780521619721
Publisher: Cambridge University Press
Published: Feb 17 2005
Pages: 224
Weight: 0.90
Height: 0.47 Width: 7.44 Depth: 9.69
Language: English
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.

Also in

System Administration