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
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
Slides for Normalisation part 1
Some notes on functional dependencies and keys
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. 485 – 507
Silbershatz, A., Korth, H., Sudarshan, S., Database System Concepts, 6th Ed.: Chapter 8, pp. 323- 333
Materials for this week
Connolly & Begg (4th ed.) Chapter 5 and 6 has sections on Data Manipulation and Data Definition. Chapter 4 has material on relational algebra (material on relational calculus isn’t required). Note that a more detailed explanation of division is offered here which may be useful later.
Ramakrishnan & Gehrke (Database Management Systems) has an excellent chapter on relational algebra, as has Elmasri & Navathe (Fundamentals of Database Systems).
Slides and lab materials based on Access can be found here
Slides and lab materials based on Access can be found here
Connolly & Begg for complete sets of DDL/DML/DQL SQL examples (Chapter 6 in 4th ed.). The other two books also have coverage.
Materials for this week
Lecture notes and exercises on Join, outer joins / inner joins
Notes on views in Relational DB and views in SQL
Article on query optimisation
Homework question – Q.4 (a) – (c) only query tree example
Connolly, T., Begg, C., 2010, Database Systems, 5th Ed.: Chapter 4 – Views, Chapter 5 – Relational Algebra, Chapter 6 – SQL Data Manipulation
Elmasri, R., Navathe, S., Database Systems, 6th Ed.: Chapter 18, pp. 680-690, Query Tree Heuristics
Silbershatz, A., Korth, H., Sudarshan, S., Database System Concepts, 6th Ed.: Chapter 13, pp. 579-589, Query Optimization