An overview of Datalog boundedness
Aus International Center for Computational Logic
An overview of Datalog boundedness
Vortrag von Christian Lewe
- Veranstaltungsort: online
- Beginn: 7. Oktober 2021 um 13:00
- Ende: 7. Oktober 2021 um 14:30
- Event series: Research Seminar Logic and AI
- iCal
Datalog boundedness is the property of a Datalog rule set that its recursion depth is independent of the database during query answering. This property is known to be undecidable and has been extensively studied. We give an overview of different perspectives on boundedness and relate boundedness to first-order rewritability. To build a strong intuition for the nature of boundnedness, we define a new fragment of bounded Datalog rule sets and show its place amidst other bounded fragments.
This is a project defence and will be given online via BigBlueButton. To access the room, use one of the following links:
with ZIH-login:
https://selfservice.zih.tu-dresden.de/l/link.php?m=147898&p=494d5a1d
without ZIH-login (i.e. external participants):
https://selfservice.zih.tu-dresden.de/link.php?m=147898&p=2f89586e