Tuple-Generating Dependencies Capture Complex Values

Talk by Maximilian Marx

Location: Online
Start: 20. January 2022 at 11:00 am
End: 20. January 2022 at 12:00 pm
Event series: Research Seminar Logic and AI
iCal

We formalise a variant of Datalog that allows complex values constructed by nesting elements of

the input database in sets and tuples. We study its complexity and give a translation into sets of tuple-generating dependencies (TGDs) for which the standard chase terminates on any input database. We identify a fragment for which reasoning is tractable. As membership is undecidable for this fragment, we develop decidable sufficient conditions.

The talk is about an accepted paper with Markus in ICDT 2022.

Link to the online talk:

https://bbb.tu-dresden.de/b/ali-zgz-l8d-52n