Information Modeling

David Edmond
Prentice Hall, 1992, ISBN 0-13-457748-5.

1. Introduction (brief intro to Z and to SQL)
2. Specific facts (relations and functions in Z)
3. Sets (set extension, comprehension, power sets, product sets)
4. Relations (database relations - Z style)
5. Introducing SQL
6. SQL retrieval (select from where)
7. SQL modularization (group by, views)
8. Facts and relations (conceptual schema modelling)
9. Uncovering facts (brief methodology)
10. Fact-based analysis (case-study)
11. Entity-relationship modeling
12. Knowledge (predicate calculus, quantification)
13. The knowledge base (intro to schemas in Z)
14. From specification to implementation (specifying in Z, implementing in SQL)
15. Database definition in SQL (create table, index, view)
16. Database manipulation in SQL (insert, update, delete)
17. Application programming
18. Case studies
19. Refinement