Patrick van Bommel, Computing and Information Science, Radboud University Nijmegen

Information Systems 2 (IS2)

1. 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.
2. The lecture notes of this course are provided during the course.
3. The latest update about this course is provided via e-mail.