Updating Logical Databases: 9 (Cambridge Tracts in Theoretical Computer Science, Series Number 9)

Marianne Winslett

ISBN 10: 0521619726 / ISBN 13: 9780521619721

Published by Cambridge University Press 2008-08-21, 2008

About this Item

Seller Inventory # 6666-IUK-9780521619721

Bibliographic Details

• Title: Updating Logical Databases: 9 (Cambridge Tracts in Theoretical Computer Science, Series Number 9)
• Publisher: Cambridge University Press 2008-08-21
• Publication Date: 2008
• Language: English
• ISBN 10: 0521619726
• ISBN 13: 9780521619721
• Binding: Paperback
• Condition: New

About this title

Synopsis

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.

Book Description

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?