Introduction to Databases: From Biological to Spatio-Temporal 1849960941, 978-1-84996-094-6

Table of contents :
Front Matter....Pages i-xvii
Data Models, Queries, Evaluation....Pages 1-6
Propositional Databases....Pages 7-14
Relational Databases....Pages 15-42
Constraint Databases....Pages 43-65
Temporal Databases....Pages 67-79
Geographic Databases....Pages 81-109
Moving Objects Databases....Pages 111-135
Image Databases....Pages 137-151
Constraint Objects Databases....Pages 153-178
Genome Databases....Pages 179-203
Set Databases....Pages 205-234
Constraint Deductive Databases....Pages 235-260
The MLPQ System....Pages 261-333
The DISCO System....Pages 335-349
Database Design....Pages 351-383
Interoperability....Pages 385-416
Data Integration....Pages 417-434
Interpolation and Approximation....Pages 435-483
Prediction and Data Mining....Pages 485-500
Indexing....Pages 501-535
Data Visualization....Pages 537-554
Safe Query Languages....Pages 555-570
Evaluation of Queries....Pages 571-620
Implementation Methods....Pages 621-653
Computational Complexity....Pages 655-683
Software Verification....Pages 685-699
Back Matter....Pages 701-753