Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Type D and Type F activities
This information is intended exclusively for students already enrolled in this course.If you are a new student interested in enrolling, you can find information about the course of study on the course page:
Laurea magistrale in Ingegneria e scienze informatiche - Enrollment from 2025/2026| years | Modules | TAF | Teacher |
|---|---|---|---|
| 1° 2° | The fashion lab (1 ECTS) | D | Not yet assigned |
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 1° 2° | Python programming language | D |
Maurizio Boscaini
(Coordinator)
|
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 1° 2° | CyberPhysical Laboratory | D |
Andrea Calanca
(Coordinator)
|
| 1° 2° | C++ Programming Language | D |
Federico Busato
(Coordinator)
|
| 1° 2° | Matlab-Simulink programming | D |
Bogdan Mihai Maris
(Coordinator)
|
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 1° 2° | Corso Europrogettazione | D | Not yet assigned |
| 1° 2° | The course provides an introduction to blockchain technology. It focuses on the technology behind Bitcoin, Ethereum, Tendermint and Hotmoka. | D |
Matteo Cristani
|
Advanced Data Base Systems (2019/2020)
Teaching code
4S001162
Credits
6
Language
Italian
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
The teaching is organized as follows:
Teoria
Credits
5
Period
I semestre
Academic staff
Alberto Belussi
Laboratorio
Credits
1
Period
I semestre
Academic staff
Alberto Belussi
Learning outcomes
Knowledge and understanding: The goal of this course is to provide the student with the knowledge and understanding of the theoretical, methodological and technological main concepts related to database systems and their use for the management of biomedical and bioinformatics data and information. Applying knowledge and understanding: The student will be able to a) define through a formal model the structure and the features of complex data collections; b) specify queries on complex data through different query languages; c) understand the advanced requirements for the management of biomedical information. Making judgements: The student will acquire the capability of autonomously evaluate different design options for complex systems, and of autonomously propose effective solutions in the application domain related to biomedicine and bioinformatics. Communication: The student will be also able to interact with different stakeholders in multidisciplinary teams, having different skills and backgrounds in biomedicine and bioinformatics. Lifelong learning skills: The student will acquire the capability of learning new methodologies and technologies related to data management and applying them in the biomedical/bioinformatics domain.
Program
------------------------
MM: Biomedical and bioinformatic data management
------------------------
* Electronic Medical Record systems * Temporal Clinical Databases * Querying biomedical XML data: Xpath and Xquery * Information retrieval techniques: basic issues and application to biomedical data
------------------------
MM: Fundamentals of database systems Teoria
------------------------
- The relational data model: relational calculus, functional dependencies, normal forms and decompositions. - Conceptual data modeling in UML (modelling non relational data) - Object and object-relational databases: data model and query language of SQL 3, UML for modeling object oriented databases, mapping towards SLQ 3. - Spatio-Temporal databases: basic concepts, data models, query languages (TSQL2, Simple Feature Specification for SQL OGC). - Big data systems: Hadoop
------------------------
MM: Fundamentals of database systems Lab.
------------------------
- training on SQL 3 with postgreSQL - training on spatio-temporal queries with PostGIS
Bibliography
| Activity | Author | Title | Publishing house | Year | ISBN | Notes |
|---|---|---|---|---|---|---|
| Teoria | Paolo Atzeni, Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Riccardo Torlone | Basi di dati (Edizione 5) | McGraw Hill | 2018 | 9788838694455 | |
| Teoria | R. Elmasri, S. B. Navathe | Fundamentals of Database Systems (Edizione 1) | Addison-Wesley | 1994 | 0805317481 | |
| Teoria | M. F. Worboys | GIS: A Computing Perspective (Edizione 1) | Taylor & Francis | 1995 | 0748400656 | |
| Teoria | J. D. Ullman | Principles of Database and Knowledge-base Systems | Computer Science Press | |||
| Teoria | R. Elmasri, S.H. Navathe | Sistemi di Basi di Dati: Fondamenti (Edizione 6) | Pearson | 2011 | 978-88-7192-628-5 | |
| Teoria | P. Rigaux, M. Scholl and A. Voisard | Spatial Databases with Application to GIS | Morgan Kaufmann | |||
| Laboratorio | Autori Vari | Manuale di Postgresql (https://www.postgresql.org/docs/) | Postgresql |
Examination Methods
------------------------
MM: Biomedical and bioinformatic data management
------------------------
The exam consists of an oral examinations with exercises and questions related to the different parts of the module, with the goal of verifying whether the student is aware of the theoretical content of the module and is able to apply it in real-world contexts.
------------------------
MM: Fundamentals of database systems Teoria
------------------------
The exam for this module consists of a written test of about 2.5 hours containing: (i) some exercises requiring the specification of queries and database design using one of the database models included in the program and (ii) open questions about the theory. During the semester, in a date to be decided with the students, a mid-term test will be proposed on the part of the program regarding: the relational calculus, the functional dependencies and the normalization.
------------------------
MM: Fundamentals of database systems Lab.
------------------------
See the description of the theory module
