Freie Universität Bozen - Willkommen - Informatik
Zurück zur Hauptseite der Abteilung
Please choose a picture.
Kontinuität in der Lehre, Forschung und Anwendung
Die Fakultät für Informatik vereint auf innovative Art und Weise Lehre, Forschung und deren praktische Anwendung. 

Studierende haben im Bachelor-, Master- und Doktoratsstudium die Möglichkeit, aktiv an Projekten zur Softwareentwicklung mitzuarbeiten, die reale Auswirkungen auf die Wirtschaft haben und in der internationalen Forschungsgemeinschaft auf Resonanz stoßen.

Im Bereich der Lehre bieten wir Studiengänge auf allen Studienniveaus an: vom Bachelor zum Master bis hin zum Doktoratsstudium. Unser Aushängeschild sind die European Master, die einen Studienaufenthalt an einer unserer Partneruniversitäten vorsehen und zu einem Doppelabschluss führen.

Besonders engagiert sind wir im Bereich der Forschung. Moderne Infrastrukturen und ein internationaler und dynamischer Lehrkörper schaffen dafür optimale Voraussetzungen. Unsere Forschungsprojekte sind international anerkannt und durch nationale und europäische Drittmittel finanziert. Oft beteiligen sich auch lokale Unternehmen und öffentliche Einrichtungen an der Finanzierung.

Trotz einer starken Fokussierung auf die Forschung verlieren wir den Praxisbezug nicht aus den Augen. Unsere Fakultät arbeitet eng mit lokalen Einrichtungen zusammen, organisiert gemeinsame Initiativen und geht auf die konkreten Bedürfnisse von Wirtschaft, Öffentlichkeit und Schule ein.


>>>>>>>> COMPUTER SCIENCE IN ONE PAGE - CLICK AND SEE! <<<<<<<<
Freitag, 31 Oktober 2014 -
Sonntag, 30 November 2014
Search
Events
0411
11:00 - 12:30 h
Bozen
A Survey of the Data Complexity of Consistent Query Answering Under Key Constraints - A KRDB SeminarExternal eventsThis talk adopts a very elementary representation of uncertainty. A relational database is called uncertain if it can violate primary key constraints. A repair of an uncertain database is obtained by selecting a maximal number of tuples without selecting two distinct tuples of the same relation that agree on their primary key. For any Boolean query q, CERTAINTY(q) is the problem that takes an uncertain database db on input, and asks whether q is true in every repair of db. The complexity of these problems has been particularly studied for q ranging over the class of Boolean conjunctive queries. A research challenge is to solve the following complexity classification task: given q, determine whether CERTAINTY(q) belongs to complexity classes FO, P, or coNP- complete.Room 102, Dominikanerplatz 3 - Piazza Domenicani, 3, 39100 Bozen-BolzanoProf. Jef Wijsen, Universite´ de Mons
Fakultät für Informatik - Sekretariat
Dominikanerplatz 3 (POS)I - 39100 Bozen
T: +39 0471 016000F: +39 0471 016009computer.science@unibz.it
Öffnungszeiten:Montag und Mittwoch
10:00 - 12:00
Dienstag und Donnerstag
14:00 - 16:00
© UniBz