1 / 17

Teaching Database Courses Using Educational System ADVICE

Teaching Database Courses Using Educational System ADVICE. Miloš Cvetanović , Zaharije Radivojević School of Electrical Engineering, Belgrade University 12th Workshop “Software Engineering Education and Reverse Engineering” Opatija, Croatia 03-08 September 2012. Agenda.

elyse
Download Presentation

Teaching Database Courses Using Educational System ADVICE

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Teaching Database Courses Using Educational System ADVICE Miloš Cvetanović , Zaharije Radivojević School of Electrical Engineering, Belgrade University 12th Workshop “Software Engineering Education and Reverse Engineering” Opatija, Croatia 03-08 September 2012

  2. Agenda • Course description • Structure of ADVICE • Implementation details • Laboratory exercises and usage of ADVICE • Assessment • Conclusions 12th Workshop SEE and RE

  3. Database course • Type: Mandatory course • Starts: 3 semester SE, 5 semester CE (of 8 semesters for bachelor studies) • Prerequisites: - • Class hours: 2+2+1 • Format: • Midterm 20 • Laboratory 20 • Final 60 • SE 60 students, CE 110 students 12th Workshop SEE and RE

  4. Course Syllabus • Database systems • Data modeling • Relational databases • Database query languages • Relational database design • Transaction processing 12th Workshop SEE and RE

  5. Creating a tool for laboratory exercises • Conceptual Design • SQL DDL • SQL DML • Formal Query Languages • Normalization 12th Workshop SEE and RE

  6. Creating a tool for laboratory exercises 12th Workshop SEE and RE

  7. ADVICE • ADVICE (Automated Database Verification with Interactive Counter Example) • Tool for laboratory exercises • Modular structure • Teaching support • Interactive tutoring 12th Workshop SEE and RE

  8. ADVICE modules • Core modules • login • users • defining problems • additional test • Additional modules • SQL DDL • SQL DML • relational algebra • relational calculus • conceptual modeling • normalization 12th Workshop SEE and RE

  9. Typical appearance of ADVICE 12th Workshop SEE and RE

  10. Model verification algorithm match(answer, solution){ schema1 = toSchema(answer); schema2 = toSchema(solution); reduce(schema1); reduce(schema2); for each (newSchema1, newSchema2) in eliminate(schema1, schema2){ for each renamedSchema1 in rename(newSchema1, newSchema2){ if(compare(renamedSchema1, newSchema2)){ return success; } } } return failure; } 12th Workshop SEE and RE

  11. Model verification example “An entity is missing: Journey” 12th Workshop SEE and RE

  12. Query verification algorithm 12th Workshop SEE and RE

  13. Query verification example SELECT J.Distance, T.Model FROM Journey J, Truck T WHERE T.IDTru=J.IDTru AND (SELECT COUNT(*) FROM Drives D WHERE D.IDJou=J.IDJou)>=2; SELECT J.Distance, T.Model FROM Journey J, Truck T WHERE T.IDTru=J.IDTru AND (SELECT COUNT(*) FROM Drives D WHERE D.IDJou=J.IDJou)=2; “You have 1 row(s) less. Missing row: (157,MAN)” 12th Workshop SEE and RE

  14. Query visualization 12th Workshop SEE and RE

  15. Assessment • main effect • year factor is significant (F(2, 721)=5.1286, p=0.00614) , difference between the years. • group factor is significant (F(1, 721)=90.489, p=0.0000), difference between groups. • Interaction is not significant (F(2, 721)=0.90318, p=0.40574), difference between groups is not dependent on the year. 12th Workshop SEE and RE

  16. Conclusion • Tool for support in laboratory exercises in databases related courses • Modular and extendable structure • Interactive iterative verification with query visualization • Possibility for vertical integration into database course 12th Workshop SEE and RE

  17. Thank you! Radivojevic Zaharije

More Related