Deze expert sessie is gebaseerd op het in 2007 gepubliceerde boek "Applied Mathematics for Database Professionals". De expert sessie is opgedeeld in drie stukken.
Deel 1: De wiskunde.
Het relationele data model is gebaseerd op twee wiskundige disciplines: verzamelingenleer en logica. In dit deel van het seminar zullen we stukken van verzamelingenleer en logica de revu laten passeren die ons helpen om formeel queries en constraints te specificeren. Het zeer belangrijke concept ′herschrijfregels′ zal ook behandeld worden in dit deel.
Deel 2: Queries en constraints formeel specificeren.
Iedereen kan eenvoudige queries schrijven. Een formele benadering helpt ons om met vertrouwen ook complexe queries te schrijven. In dit deel zullen we de wiskunde uit deel 1 toepassen om formeel complexere queries en constraints te specificeren. Diverse (praktijk) voorbeelden zullen behandeld worden.
Deel 3: De vertaling naar SQL.
In dit deel beginnen we met de observatie dat SQL wat eigenaardigheden heeft. Bepaalde operatoren uit de verzamelingenleer en logica acteren anders of zijn helemaal afwezig. Gelukkig helpen de herschrijfregels ons om de complexere query en constraint voorbeelden uit deel 2, op bijna machinale wijze, te transformeren naar SQL.
De tijden van de expert sessie zijn afwijkend van de reguliere cursussen namelijk:
Begintijd: 10:00
Lunch: 12:00-12:45
Eindtijd 14:45
Deelnemers krijgen een map met daarin een kopie van de door de spreker gebruikte presentatie slides. Tevens zullen zij een exemplaar ontvangen van het boek "Applied Mathematics for Database Professionals".
