 |
|
|
|
|
 |  |  |  |  Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)
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 of specifying the... |
|
| Result Page: 139 138 137 136 135 134 133 132 131 130 129 128 127 126 125 124 123 122 121 |