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 in Informatica - Enrollment from 2025/2026Le attività formative di tipologia D sono a scelta dello studente, quelle di tipologia F sono ulteriori conoscenze utili all’inserimento nel mondo del lavoro (tirocini, competenze trasversali, project works, ecc.). In base al Regolamento Didattico del Corso, alcune attività possono essere scelte e inserite autonomamente a libretto, altre devono essere approvate da apposita commissione per verificarne la coerenza con il piano di studio. Le attività formative di tipologia D o F possono essere ricoperte dalle seguenti attività.
1. Insegnamenti impartiti presso l'Università di Verona
Comprendono gli insegnamenti sotto riportati e/o nel Catalogo degli insegnamenti (che può essere filtrato anche per lingua di erogazione tramite la Ricerca avanzata).
Modalità di inserimento a libretto: se l'insegnamento è compreso tra quelli sottoelencati, lo studente può inserirlo autonomamente durante il periodo in cui il piano di studi è aperto; in caso contrario, lo studente deve fare richiesta alla Segreteria, inviando a carriere.scienze@ateneo.univr.it il modulo nel periodo indicato.
2. Attestato o equipollenza linguistica CLA
Oltre a quelle richieste dal piano di studi, per gli immatricolati dall'A.A. 2021/2022 vengono riconosciute:
- Lingua inglese: vengono riconosciuti 3 CFU per ogni livello di competenza superiore a quello richiesto dal corso di studio (se non già riconosciuto nel ciclo di studi precedente).
- Altre lingue e italiano per stranieri: vengono riconosciuti 3 CFU per ogni livello di competenza a partire da A2 (se non già riconosciuto nel ciclo di studi precedente).
Tali cfu saranno riconosciuti, fino ad un massimo di 6 cfu complessivi, di tipologia F se il piano didattico lo consente, oppure di tipologia D. Ulteriori crediti a scelta per conoscenze linguistiche potranno essere riconosciuti solo se coerenti con il progetto formativo dello studente e se adeguatamente motivati.
Gli immatricolati fino all'A.A. 2020/2021 devono consultare le informazioni che si trovano qui.
Modalità di inserimento a libretto: richiedere l’attestato o l'equipollenza al CLA e inviarlo alla Segreteria Studenti - Carriere per l’inserimento dell’esame in carriera, tramite mail: carriere.scienze@ateneo.univr.it
3. Competenze trasversali
Scopri i percorsi formativi promossi dal TALC - Teaching and learning center dell'Ateneo, destinati agli studenti regolarmente iscritti all'anno accademico di erogazione del corso https://talc.univr.it/it/competenze-trasversali
Modalità di inserimento a libretto: non è previsto l'inserimento dell'insegnamento nel piano di studi. Solo in seguito all'ottenimento dell'Open Badge verranno automaticamente convalidati i CFU a libretto. La registrazione dei CFU in carriera non è istantanea, ma ci saranno da attendere dei tempi tecnici.
4. CONTAMINATION LAB
Il Contamination Lab Verona (CLab Verona) è un percorso esperienziale con moduli dedicati all'innovazione e alla cultura d'impresa che offre la possibilità di lavorare in team con studenti e studentesse di tutti i corsi di studio per risolvere sfide lanciate da aziende ed enti. Il percorso permette di ricevere 6 CFU in ambito D o F. Scopri le sfide: https://www.univr.it/clabverona
ATTENZIONE: Per essere ammessi a sostenere una qualsiasi attività didattica, incluse quelle a scelta, è necessario essere iscritti all'anno di corso in cui essa viene offerta. Si raccomanda, pertanto, ai laureandi delle sessioni di dicembre e aprile di NON svolgere attività extracurriculari del nuovo anno accademico, cui loro non risultano iscritti, essendo tali sessioni di laurea con validità riferita all'anno accademico precedente. Quindi, per attività svolte in un anno accademico cui non si è iscritti, non si potrà dar luogo a riconoscimento di CFU.
5. Periodo di stage/tirocinio
Oltre ai CFU previsti dal piano di studi (verificare attentamente quanto indicato sul Regolamento Didattico): qui informazioni su come attivare lo stage.
Insegnamenti e altre attività che si possono inserire autonomamente a libretto
years | Modules | TAF | Teacher |
---|---|---|---|
2° 3° | Introduction to Docker | D |
Franco Fummi
(Coordinator)
|
2° 3° | Introduction to Robotics for students of scientific courses. | D |
Paolo Fiorini
(Coordinator)
|
2° 3° | Matlab-Simulink programming | D |
Bogdan Mihai Maris
(Coordinator)
|
2° 3° | Mobile app design by using React Native | D |
Graziano Pravadelli
(Coordinator)
|
2° 3° | Rapid prototyping on Arduino | D |
Franco Fummi
(Coordinator)
|
2° 3° | Programming Challanges | D |
Romeo Rizzi
(Coordinator)
|
years | Modules | TAF | Teacher |
---|---|---|---|
2° 3° | Introduction to 3D printing | D |
Franco Fummi
(Coordinator)
|
2° 3° | LaTeX Language | D |
Enrico Gregorio
(Coordinator)
|
2° 3° | Python programming language | D |
Carlo Combi
(Coordinator)
|
2° 3° | HW components design on FPGA | D |
Franco Fummi
(Coordinator)
|
2° 3° | Protection of intangible assets (SW and invention)between industrial law and copyright | D |
Roberto Giacobazzi
(Coordinator)
|
years | Modules | TAF | Teacher |
---|---|---|---|
1° | Subject requirements: mathematics | D |
Franco Zivcovich
|
Databases (2022/2023)
Teaching code
4S00037
Credits
12
Language
Italian
Also offered in courses:
- Databases and WEB of the course Bachelor's degree in Bioinformatics
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
The teaching is organized as follows:
Teoria
Tecnologie per le basi di dati
Laboratorio
Learning objectives
The course aims to provide the necessary skills for: (i) the design of data according to the requirements with reference to different application contexts and within the production process of software systems; (ii) effective and efficient management and use of data; (iii) the use of a system for the management of relational databases in order to create, manage and query databases; (iv) the development of applications that interact with relational databases. At the end of the course the student must demonstrate knowledge and understanding of data models and query languages that characterize systems for data management and knowledge of the fundamental mechanisms to develop applications that interact with a database; have the ability to apply the acquired knowledge and understanding skills for the design of a data collection in an effective way compared to a set of application requirements, the ability to query and efficiently use the data managed by a system, the ability to design and implement an application that interacts with a data- base; know how to develop the skills necessary to continue the studies independently in the field of data management systems and software solutions development.
Prerequisites and basic notions
Basic knowledge of linear algebra, logic, programming and operating systems (secondary memory and file system)
Program
The program is specified for each module as follows.
--------------------------
Module of Theory
--------------------------
- Introduction to database management systems (DBMS): architectures and functionalities of a DBMS. Physical and logical data independence. Data models. Concepts of model, schema and instance of a database. Languages for database systems. DBMS vs. file system.
- Conceptual database design: conceptual data models. The Entity-Relationship model (ER). Elements of the ER model: entities, attributes, relationships, ISA hierarchies and cardinality constraints.
- Logical database design: logical data models, the relational data model. Elements of the relational data models: relations and integrity constraints. Mapping between conceptual schemas in ER model and logical schema in the relational model.
- Interacting with a database system: languages for the definition, querying and update of a database. The relational algebra. Optimization of algebraic expressions. SQL: select-from-where statement.
---------------------
Module of Lab
---------------------
- Introduction to the relational database management system (RDBMS) PostgreSQL.
- Introduction to the use of SQL in PostgreSQL.
- Query Optimization.
- Introduction to the transaction.
- Introduction to Python Language.
- Database access from applications written in Java/Python.
----------------------------------------------
Module of Database technology
----------------------------------------------
- The internal architecture of a DBMS. Transactions. Transactions properties. The concurrency control: schedules, the two-phase locking. Access methods (indexes): primary and secondary indexes, B-+tree, hashing based access methods. Query execution and optimization.
- Techniques for the interaction between a DBMS and an application: JDBC and ORM.
- Semi-structured data: XML and JSON, MongoDB (hints).
Bibliography
Didactic methods
Theory Module
-------------------------
Teaching delivery methods: face-to-face lectures (also available in recorded streaming; recordings will be made available on request for students unable to attend in person or in streaming), classroom exercises with the teacher, teaching material (slides) and further exercises available on the eLearning platform, reception at the times indicated on the teacher's web page.
Laboratory Module
--------------------------------
Teaching delivery methods: classroom lectures and exercises in the computer lab , didactic material (slides) and further exercises on the eLearning platform, individual reception at the times agreed with the teacher.
Database Technologies Module
---------------------------------------------------------
Teaching methods: lectures, classroom exercises with the teacher, teaching material (slides) and further exercises available on the eLearning platform, reception at the times indicated on the page web site of the teacher.
Learning assessment procedures
The exam is composed of three parts: theory, technologies and lab.
----------------------------------------------------------------
Module of Theory
----------------------------------------------------------------
For the modules of "Teoria" and "Tecnologie per le basi di dati" the exam consists of a written test with a duration of 2.5 hours containing: (i) an exercise about the conceptual modeling (using the E-R model) and the logical modeling (using the relational model) of a database; (ii) some exercises about the specification of queries in relational algebra on a given database; (iii) some exercises on semi-structured data and some questions on the theory.
On the e-learning platform in the section "TEMI D'ESAME E ALTRI ESERCIZI RIEPILOGATIVI" some tests of the previous years are published.
During the year, it is also possible to undergo the mid-term tests: these tests are fixed by the teacher in agreement with the students and are managed on the eLearning platform. These are two tests: the first test regards the design of a relational database: conceptual design (E-R model) and logic design (relational model), and the specification of queries on a relational database in relational algebra, this test weighs 1/2 of the final grade; the second test regards the program of the module Databases Technologies, and it weighs 1/4 of the final grade.
---------------------------------
Module of Lab
---------------------------------
For the "Laboratory" module there is a one-hour written test which includes questions and exercises on SQL queries and on writing code in Java or Python for accessing a relational database.
The laboratory test weighs 1/4 of the overall grade.
Evaluation criteria
To pass the exam, the students must show that:
- they have understood the concepts related to the theory of relational databases and their design and implementation on database management systems
- they are able to describe the concepts in a clear and exhaustive way without digressions
- they are able to apply the acquired knowledge to solve application scenarios described by means of exercises, questions and projects.
Criteria for the composition of the final grade
The total grade (theory+laboratory) is given by the following average: theory_grade*3/4 + lab_grade*1/4.
Exam language
italiano