Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) Large-scale Heterogeneous DAta and Knowledge
*Yo Dawg, We Heard You Like Datalog Engines* ... so we put a Datalog engine inside your Datalog engine, so you can derive while you derive!
Dan Olteanu

24 October 2014, 14:00 - 24 October 2014, 15:30
Salle/Bat : 445/PCRI-N
Contact :

Activités de recherche : Massively distributed algorithms for complex data

Résumé :
The emerging category of smart database systems aims for integrated handling of mixed transactional and analytical workloads (aka HTAP), graph analyses, and predictive workloads that involve mathematical optimization and machine learning. Having such an integrated system is enormously useful for application developers, but building one poses formidable engineering and language design challenges. In this talk, I briefly overview the LogicBlox smart database system and its Datalog-based language LogiQL, then zoom in and focus on one such technical challenge I’ve worked on in my sabbatical at LogicBlox: the problem of handling updates to LogiQL programs on running database servers. This problem turns out to be surprisingly difficult, but fairly crucial to solve properly in the system for reasons which I shall explain. The solution I present is based on introducing an engine for meta-data supporting declarative rules in an object-oriented, Datalog-like language. Incremental view maintenance in the meta-engine takes care of propagating the effects of LogiQL code updates correctly and efficiently. This is joint work with TJ Green, Todd Veldhuizen, and the LogicBlox runtime team.

Pour en savoir plus : http://www.cs.ox.ac.uk/dan.olteanu/
Séminaires
Heterogeneous Treatment Effects Estimation: When M
Automated Reasoning
Thursday 02 June 2022 - 10:30
Salle : 2011 - DIG-Moulon
Naoufal Acharki .............................................

Witness Generation for JSON Schema
Data-Centric Languages and Systems
Monday 30 May 2022 - 00:00
Salle : 455 - PCRI-N
Mohamed-Amine BAAZIZI .............................................

TUTORIAL CODALAB - Apprenez à organiser un challen
Wednesday 13 April 2022 - 00:00
Salle : 1 - DIG-Moulon
Adrien Pavao .............................................

Generative Neural Networks for Observational Causa
Automated Reasoning
Thursday 07 April 2022 - 10:30
Salle : 2011 - DIG-Moulon
Diviyan Kalainathan .............................................

Datamining in Epi- and Phylogenetics
Tuesday 15 March 2022 - 11:00
Salle : 455 - PCRI-N
Thomas Haschka .............................................