Share-Ebooks.com

Table of Contents

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

To Download this E-Book Click Here.