Database notes (lecture and lab material) here
Spreadsheet material here
Note on the Second ITB test are here
Technology, Teaching and Learning
but not necessarily in the correct order
First part demonstrated the problems inherent in flattening trees into relational table
Followed by the definite DB approach – the log file of the demonstration is available (text file)
Closed World Assumption (CWA) and Negation as Failure (NAF) were covered next.
Material this week:
Query resolution (SLD resolution) on definite databases – building query trees / evaluating
The Datalog Educational System can be downloaded for most platforms – the Windows executable can use the ODBC interconnectivity layer to connect to Access database files.
Some of the query resolution material (in a different form) can be seen in Elmasri, R., Navathe, S., Database Systems, 6th Ed.: Chapter 24 pp. 906-920
Covered the following subjects
Using logic to model the RDB
The Model Theoretic approach
The Proof Theoretic approach
Recasting RDBs into First Order Logic, and why the full expressiveness isn’t really required
Clausal Form: clauses, definite clauses, assertions, goal clauses and Horn clauses
Harland article: An Introduction to Deductive Database Language and Systems
The Datalog Educational System can be downloaded for most platforms – the Windows executable can use the ODBC interconnectivity layer to connect to Access database files.
There is a good introduction to this material in Elmasri, R., Navathe, S., Database Systems, 6th Ed.: Chapter 24 pp. 906-920
Materials on Databases, including lecture notes and lab exercise on selection
Spreadsheet materials on building larger spreadsheet models, and more complex formulas / functionality
Materials for first week back ..
Lecture 6 on mysql and php/phpmyadmin
SQL file required to set up the EMP database in mySQL empDB
SQL notes on using mySQL and the projection statement SQL Session 1
Notes on setting up your own version of MAMP (mac) Installing and using MAMP
empform code empform.php
Here are some SQL insert statements that may be useful:
insert into emp (empno,ename,sal) values (120, “SMITH”, 22000);
insert into emp (empno,ename,sal) values (121, “JONES”, 23000);
insert into emp (empno,ename,sal) values (122, “AVERY”, 22500);
insert into emp (empno,ename,sal) values (124, “MITCHELL”, 26000);
insert into emp (empno,ename,sal) values (127, “WEBB”, 22000);
insert into emp (empno,ename,sal) values (129, “TENNENT”, 22000);
insert into emp (empno,ename,sal) values (130, “RUSSELL”, 25000);
Exercise for lab: PHP exercise
Code for lab: codeforlab1
ITB switches to material about spreadsheets and databases from week 6, along with lectures about Internet standards.
Database materials for this week include the lecture slides and the lab exercises
Spreadsheet materials for this week include the lecture slides and the lab exercise
normalisation BCNF to 5NF slides as PDF
Multi Value Dependancies notes
Join Dependancies notes
Approaches to Database design notes
Connolly, T., Begg, C., 2005, Database Systems, 4th Ed.: Chapter 13 – FDs and normalisation
Connolly, T., Begg, C., 2010, Database Systems, 5th Ed.:Chapter 14 – FDs and normalisation
Elmasri, R., Navathe, S., Database Systems, 6th Ed.: Chapter 14 Normalisation using FDs, pp. 513 – 521
Silbershatz, A., Korth, H., Sudarshan, S., Database System Concepts, 6th Ed.: Chapter 8, pp. 337- 340, 354-360
Elmasri & Navathe has an interesting chapter on normalisation algorithms, which is worth looking at. This material won’t be in the exam though.
Normalisation part 2 (continued from last week)
Connolly, T., Begg, C., 2005, Database Systems, 4th Ed.: Chapter 13 – FDs and normalisation
Connolly, T., Begg, C., 2010, Database Systems, 5th Ed.:Chapter 14 – FDs and normalisation
Elmasri, R., Navathe, S., Database Systems, 6th Ed.: Chapter 14 Normalisation using FDs, pp. 507 – 513
Silbershatz, A., Korth, H., Sudarshan, S., Database System Concepts, 6th Ed.: Chapter 8, pp. 333- 337
The following material is available for Business Internet Systems and was used in the first session
Introduction to Database Systems materials