Updating Logical Databases

by Marianne Winslett

Overview

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.

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)

Table of Contents

Acknowledgments; 1. Introduction; 2. Classes of update semantics; 3. Model-based semantics for updates; 4. Update algorithms for model-based semantics; 5. Updates with variables; 6. Lazy evolution of updates; 7. Integrity constraints; 8. Adding knowledge to relational theories; 9. Implementation; Bibliography; Index of definitions.

Editorial Reviews

"The book is written in a readable and inspiring style. The motivations for new concepts are well explained." Urs-Martin Kúnzi, Journal of Symbolic Logic

From the Publisher