By David Edmond
This PDF version of book covers 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, SQL retrieval (select from where), SQL modularization (group by, 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, and Refinement.