SLIDE 1
Outline
- Goal of the paper
- Algebraic design by calculation
- VooDooM model
- Conclusions and future work
Strategic Term Rewriting and Its Application to a VDM-SL to SQL - - PowerPoint PPT Presentation
Strategic Term Rewriting and Its Application to a VDM-SL to SQL - - PowerPoint PPT Presentation
Strategic Term Rewriting and Its Application to a VDM-SL to SQL Conversion Review Outline Goal of the paper Algebraic design by calculation VooDooM model Conclusions and future work Goal of the paper Convert datatypes in
SLIDE 2
SLIDE 3
Goal of the paper
Convert datatypes in VDM-SL to SQL relational data models
SLIDE 4
How?
- Conversion: Transforming algebraic types
to maps and products
- Implementation technology: Haskell
SLIDE 5
Database design by calculation
where: Abstraction and representation
SLIDE 6
Database design by calculation
Datatype B implements or refines datatype A
SLIDE 7
Database design by calculation
Preorder
SLIDE 8
Database design by calculation
Conversion laws
SLIDE 9
Database design by calculation
Normal form
SLIDE 10
Strategic term rewriting
Traditional term rewritting
Programmable equations Fixed Strategy
Strategic term rewritting
Programmable equations Programmable Strategy Combined strategies
SLIDE 11
VooDooM Tool
SLIDE 12
Transformation
Refinement of the VDM-SL data types to a relational form
- Inlining and recursion removal
- Desugaring
- Conversion to relational form
- Resugaring
SLIDE 13
SQL translation
SLIDE 14
Conclusions and future work
- Automatic database schema generation
- In comparison with other approaches with
the VooDooM the source data-model can be arbitrarily complex
- Reverse process: obtain algebraic data