Updating logical databases:

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 pr...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Winslett, Marianne Southall (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cambridge Cambridge University Press 1990
Schriftenreihe:Cambridge tracts in theoretical computer science 9
Schlagworte:
Online-Zugang:BSB01
FHN01
Volltext
Zusammenfassung: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
Beschreibung:Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Beschreibung:1 online resource (viii, 211 pages)
ISBN:9780511663109
DOI:10.1017/CBO9780511663109

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen