An overview of Datalog boundedness

Talk by Christian Lewe

Location: Online
Start: 7. October 2021 at 1:00 pm
End: 7. October 2021 at 2:30 pm
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