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.
Rezensionen / Stimmen
"The book is written in a readable and inspiring style. The motivations for new concepts are well explained." Urs-Martin KUEnzi, Journal of Symbolic Logic
Reihe
Sprache
Verlagsort
Zielgruppe
Produkt-Hinweis
Illustrationen
Worked examples or Exercises
Maße
Höhe: 246 mm
Breite: 189 mm
Dicke: 12 mm
Gewicht
ISBN-13
978-0-521-61972-1 (9780521619721)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Autor*in
University of Illinois, Urbana-Champaign
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.
