- Introduction (brief intro to Z and to SQL)
- Specific facts (relations and functions in Z)
- Sets (set extension, comprehension, power sets, product sets)
- Relations (database relations - Z style)
- Introducing SQL (quick overview)
- SQL retrieval (select from where)
- SQL modularisation (subqueries, views)
- Facts and relations (conceptual schema modelling)
- Uncovering facts (brief methodology)
- Fact-based analysis (case-study)
- Entity-relationship modeling
- Knowledge (predicate calculus, quantification)
- The knowledge base (intro to schemas in Z)
- From specification to implementation (specifying in Z, implementing in SQL)
- Database definition in SQL (create table, index, view)
- Database manipulation in SQL (insert, update, delete)
- Application programming
- Case studies
- Refinement
|