Seminar za matematičku logiku i osnove matematike
Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 12. listopada 2020. u 17:15 sati,
Domagoj Vrgoč (PUC Chile) će održati predavanje
Recursion in SPARQL
Abstract: In this talk we will outline the basic theoretical properties
of the RDF query language SPARQL, when extended with the ability to
express recursive queries. We will begin by formalizing the syntax and
the semantics of recursive SPARQL, identify a fragment of the language
which can be evaluated in a finite amount of time, and gauge its
expressive power by comparing it to various fragments of Datalog. More
generally, this talk will try to illustrate a theoretician's perspective
on query language design (guided by the example of SPARQL), and pinpoint
interesting problems that can occur along the way. We will also try to
give some insight into why theory is important in the language design
process.
Podaci za online praćenje preko Zoom platforme:
Topic: SLOM
Link: https://zoom.us/j/92305464243?pwd=TjUwa3VyTG5KT0pIbzluUURBemxJdz09
Meeting ID: 923 0546 4243
Passcode: 020169