Patrick van Bommel, Computing and Information Science,
Radboud University Nijmegen
http://www.cs.ru.nl/~pvb
Information Systems 2 (IS2)
-
The course considers the following topics:
- Transformation of data models. Structure transformations. Guided transformations. Preprocessing and
postprocessing.
- Complexity analysis.
- Transformation of database contents and integrity constraints.
- Transformation of database operations (retrieval and updates).
Proof schema for structural induction.
- Correctness and completeness of transformations.
- Repairment and penalization for incorrect transformations.
- Equality and equivalence of data models.
- Distance between data models. Comparison of distance measures.
- Modelling of web sites and semistructured data.
- Object graphs, object coordination graphs, path definition and evaluation.
- Representation language for data views.
- Encoding of data views. Augmentations of basic encoding.
- Database design and optimization. Hill climbing. Evolutionary algormithms. Genetic algorithms.
- Solution spaces. Size, structure, and compactness of solution spaces.
- Properties of solution space (e.g. local and global optima) versus properties of transformation
algorithms (e.g. living and dead database structures).
- Markov Chain analysis.
- Relationship with ER, NIAM, UML, XML, OO, RDBMS, ORDBMS, SQL.
- The lecture notes of this course are provided during the course.
- The latest update about this course is provided via e-mail.
p.vanbommel@cs.ru.nl