Graham Kemp


Computing Science Graduate Course

The Functional Approach to Data Management:
List Comprehensions and Data Integration

24-28 May 2004


Overview

This course is based on a recent book:

The Functional Approach to Data Management, book cover

The Functional Approach to Data Management
Modeling, Analyzing and Integrating Heterogeneous Data

Gray, P.M.D., Kerschberg, L., King, P.J.H. and Poulovassilis, A. (eds.)
2004, Springer, ISBN: 3-540-00375-4
doi: 10.1007/978-3-662-05372-0

Teachers

Schedule

Date Time Place Activity
Monday 24 May 2004 13:15-15:00 ES53 Lecture: Peter Gray
Introduction; list comprehensions; some examples in Jython; list comprehensions for relations, objects and semi-structured data; simple optimisation
Slides
Date Time Place Activity
Tuesday 25 May 2004 10:00-11:45 6225 Practical: Peter Gray
List comprehensions in Jython
Tuesday 25 May 2004 13:15-14:00 ES53 Lecture: Graham Kemp
P/FDM - a Prolog implementation of the functional data model; the Daplex language; a database of antibody structures and sequences
Slides: P/FDM
Slides: University database schema
Slides: Daplex examples
Slides: Antibody database schema
Tuesday 25 May 2004 14:15-15:00 ES53 Lecture: Peter Gray
A visual interface and navigator for the P/FDM object database
Tuesday 25 May 2004 15:15-17:00 6225 Practical: Peter Gray, Graham Kemp
Visual Navigator - a schema-based graphical user interface for building Daplex queries
Date Time Place Activity
Wednesday 26 May 2004 10:00-11:45 ES53 Lecture: Peter Gray
Introduction to constraints; relationship to list comprehensions; constraint optimisation; transforming constraints into queries and constraint logic programs
Slides: CoLan -- FDM Constraint Language
Slides: Constraints as Comprehensions
Slides: Constraints in RDF
Wednesday 26 May 2004 13:15-15:00 ES53 Lecture: Graham Kemp
Daplex compiler architecture; query optimisation; storage-specific query processing
Slides: Optimisation
Slides: ICode elements
Slides: Rewrite rules
Slides: SSDBM 2001 Presentation
Wednesday 26 May 2004 15:15-17:00 6225 Practical: Graham Kemp
Query transformation and optimisation
Wednesday 26 May 2004 17:00-17:30 ES53 Mini-projects: Graham Kemp
Introduction
Date Time Place Activity
Thursday 27 May 2004 All day ES53 Mini-projects
Thursday 27 May 2004 11:00-11:45 ES53 Lecture: Graham Kemp
P/FDM Mediator for a database federation
Slides
Date Time Place Activity
Friday 28 May 2004 10:00-11:45 ES53 Lecture: Peter Gray
Advanced topics, monad comprehensions
Slides
Friday 28 May 2004 13:15-15:00 ES53 Practical and Discussion

Photos