SEMINARIO PUBBLICO DI MARCO CONSOLE
Speaker:
Marco Console
Data dell'evento:
Martedì, 4 March, 2025 - 12:00
Luogo:
Aula Magna, DIAG
Contatto:
Andrea Marrella (marrella@diag.uniroma1.it)
In ottemperanza ai requisiti previsti dalla procedura valutativa ai fini della chiamata a Professore di II Fascia ai sensi dell'art.24 c.5 L. 240/2010 per il Settore Concorsuale 09/H1 – Settore Scientifico Disciplinare ING-INF/05 presso il Dipartimento di Ingegneria informatica, automatica e gestionale Antonio Ruberti,
martedì 4 Marzo 2025 alle ore 12:00
si terrà il seminario pubblico di Marco Console sulle sue attività di ricerca, in modalità mista:
- presso l'Aula Magna del DIAG
- e in collegamento Zoom: https://uniroma1.zoom.us/j/87384086077?pwd=9CABwTDXqafDYKxq1OKLsmB0uWaFRp.1
- Meeting ID: 873 8408 6077
- Passcode: 411703
Title
Model-theoretic Characterization of Rule-Based Languages
Abstract
Tuple-generating dependencies (tgds) are a logic-based language originally introduced as a unifying framework for database integrity constraints. In recent years, however, tgds have been used for different data-related applications such as data exchange and integration and ontology-mediated query answering. This revised interest gave rise to the definition of several different tgd-based languages that exhibit specific computational properties.
One fundamental question that remained largely unexplored so far is whether the expressive power of such languages can be characterized in terms of some natural model-theoretic properties. This question was addressed by a recent paper on the topic that presented several such characterizations including, among others, those of linear, guarded, and frontier-guarded tgds.
In this talk, I will survey such results and provide intuition on the model-theoretic properties that are involved in the characterizations.
gruppo di ricerca: