Updating logical databases
著者
書誌事項
Updating logical databases
（Cambridge tracts in theoretical computer science, 9）
Cambridge University Press, 1990
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [201]-206) and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より