Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)

Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)
\n\n

Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science) Description

\n\n

This book deals with difficulties of algorithms for updating databases. How to create and maintain a database of facts that can be supplemented by new details and dispose of all obsolete information, yet the process does not interfere with any other info in the database? The author has developed a formal strategy to specify the desired change intentionally employing a “formula” approach of updating requirements rather than a “model based on” technology. The complexity of the algorithms, option of semantics and how to maintain the integrity constraints are also discussed. Updating Logical Databases (Cambridge Tracts in Theoretical Pc Science)

\n\nUpdating Logical Databases (Cambridge Tracts in Theoretical Laptop or computer Science) Ebook

Leave a comment