Seminars

Links' Seminars and Public Events Add to google calendar
2021
Fri 15th Jan
10:00 am
12:00 pm
Add event to google
Séminaire de Kim Nguyễn
Titile: The BOLDR project
Abstract: I
n this presentation, I will give an account of the BOLDR project and
perspectives in the field of language integrated queries.

Several classes of solutions allow programming languages to express
queries: specific APIs such as JDBC, Object-Relational Mappings (ORMs)
such as Hibernate, and language-integrated query frameworks such as
Microsoft's LINQ. However, most of these solutions do not allow for
efficient cross-databases queries, and none allow the use of complex
application logic from the programming language in queries.

We study the design of a new language-integrated query
framework called BOLDR that allows the evaluation in databases of
queries written in general-purpose programming languages containing
application logic, and targeting several databases following different
data models. In this framework, application queries are translated to
an intermediate representation. Then, they are typed with a type
system extensible by databases in order to detect which database
language each subexpression should be translated to. This type system
also allows us to detect a class of errors before execution. Next,
they are rewritten in order to avoid query avalanches and make the
most out of database optimizations. Finally, queries are sent for
evaluation to the corresponding databases and the results are
converted back to the application. Our experiments show that the
techniques we implemented are applicable to real-world database
applications, successfully handling a variety of language-integrated
queries with good performances.

This talk will give an overview of what has been achieved so far (mainly
in the context of Julien Lopez' PhD Thesis) and will glimpse at preliminary
work that is being done in the context of a collaboration with Oracle Labs.
Fri 8th Jan
10:45 am
12:30 pm
Add event to google
Séminaire @ Lê Thành Dũng (Tito) Nguyễn
Title: The planar geometry of first-order string transductions (joint work with Pierre Pradic)


Abstract:
hal.archives-ouvertes......ument

We propose a new machine model recognizing star-free languages, with a geometric flavor. Our starting point is the characterization of regular languages using two-way automata (2DFA). The idea is to take seriously the visual representations found throughout the literature of the behavior of a 2DFA on a word ; by putting a total order on the set of states, one can formally define what it means for such a behavior to be planar, in a sense analogous to the planarity of combinatorial maps. Star-free languages are then exactly the languages recognized by "planar 2DFA". We also show that the corresponding planar transducer model characterizes the class of first-order transductions (a.k.a. aperiodic regular functions). If time allows, the talk will briefly discuss the connections of this work with the non-commutative lambda-calculus (cf. our recent paper Aperiodicity in a non-commutative logic, ICALP'20).


Lien Permanent pour cet article : https://team.inria.fr/links/fr/seminars/