BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:On the Real Expressive Power of Datalog Extensions
DTSTART:20170308T163000
DTEND:20170308T173000
DTSTAMP:20260428T004815Z
UID:0b5f0f399f8e4481d52c0179979b2cffebb4e4d2935ac909a04b9bf8
CATEGORIES:Conferences - Seminars
DESCRIPTION:by Bruno Marnette\n\nAbstract\nNumerous extensions of the Data
 log language have been introduced to address the lack of expressive power 
 of traditional Datalog. In particular\, equality constraints and value inv
 ention have proven convenient in the context Data Exchange and DL-like rea
 soning. Adding such constraints to the Datalog language however leads to i
 ntractability\, and a great amount of work has aimed at identifying tracta
 ble islands\, typically relying on syntactic properties (such as acyclicit
 y or guardedness). In this talk we'll investigate whether the theoretic ex
 pressive power of these tractable extensions truly differ from standard Da
 talog (Spoiler alert: they don't).\n\nBio\nDr. Marnette is currently finis
 hing my PhD in Oxford\,  and he will soon be starting a post-doc at the 
 INRIA Saclay\, with Serge Abiteboul\,  in the Webdam project.  He did
  his undergrad at the ENS Cachan\, where he completed the MSc. in Compute
 r Science MPRI in 2006.  He also studied at the EHESS where he comple
 ted the MSc. in Cognitive Science CogMaster in 2007.\n\nMore information
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR