Marianne Winslett,
Marianne (University of Illinois, Urbana-Champaign) Winslett
Cambridge University Press
e druk, 2005
9780521619721
Updating Logical Databases
Specificaties
Paperback, 224 blz.
|
Engels
Cambridge University Press |
2005
ISBN13: 9780521619721
Rubricering
Onderdeel van serie
Cambridge Tracts in
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9780521619721
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:224
Uitgever:Cambridge University Press
Serie:Cambridge Tracts in
Inhoudsopgave
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.