Data Models, Queries, Evaluation Propositional Databases Relational Databases Constraint Databases Temporal Databases Geographic Databases Moving Objects Databases Image Databases Constraint Objects Databases Genome Databases Set Databases Constraint Deductive Databases The MLPQ System The DISCO System Database Design Interoperability Data Integration Interpolation and Approximation Prediction and Data Mining Indexing Data Visualization Safe Query Languages Evaluation of Queries Implementation Methods Computational Complexity Software Verification