Seminars

Links' Seminars and Public Events Add to google calendar
2020
Thu 17th Dec
2:00 pm
4:00 pm
Add event to google
Nofar Carmeli
Speaker: Nofar Carmeli (nofar.carme.li/)

Zoom link: univ-lille-fr.zoom.us/j/95419000064

Title: The Complexity of Answering Unions of Conjunctive Queries.

Abstract:
We discuss the fine-grained complexity of enumerating the answers to a query over a relational database. With the ideal guarantees, linear time is required before the first answer to read the input and determine its existence, and then we need to print the answers one by one. Consequently, we wish to identify the queries that can be solved with linear preprocessing time and constant or logarithmic delay between answers. A known dichotomy classifies CQs into those that admit such enumeration and those that do not. The computationally expensive component of query answering is joining tables, which can be done efficiently if and only if the join query is acyclic. However, the join query usually does not appear in a vacuum; for example, it may be part of a larger query, or it may be applied to a database with dependencies. We inspect how the complexity changes in these settings and chart the borders of tractability within. In addition, we consider the task of enumerating query answers with a uniformly random order, and we propose to do so using an efficient random-access structure for representing the set of answers. We also prove conditional lower bounds showing that our algorithms capture all tractable queries in some cases. Among our results, we show that a union of tractable conjunctive queries may be intractable w.r.t. random access; on the other hand, a union of intractable conjunctive queries may be tractable w.r.t. enumeration.
Fri 11th Dec
10:00 am
11:30 am
Add event to google
Alexandre Vigny
Title: Elimination Distance to Bounded Degree on Planar Graphs
Link to the zoominar: univ-lille-fr.zoom.us/j/95419000064
Abstract:
What does it mean for a graph to almost be planar? Or to almost have bounded
degree?
On such simple graphs classes, some difficult algorithmic problems become
tractable.
Ideally, one would like to use (or adapt) existing algorithms for graphs that
are "almost" in such a simple class.

In this talk, I will discuss the notion of elimination distance to a class C, a
notion introduced by Bulian and Dawar (2016).
The goals of the talk are:
1) Define this notion, and discuss why it is relevant by presenting some
existing results.
2) Show that we can compute the elimination distance of a given planar graph to
the class of graph of degree at most d.
I.e. answer the question: "Is this graph close to a graph of bounded degree?"

The second part is the result of a collaboration with Alexandre Lindermayer and
Sebastian Siebertz.

Fri 4th Dec
10:00 am
11:00 am
Add event to google
Seminar: Pierre Pradic
Title: Extracting nested relational queries from implicit definitions

Abstract:
arxiv.org/pdf/2005.06503.pdf

In this talk, I will present results obtained jointly with Michael
Benedikt establishing a connection between the Nested Relational
Calculus (NRC) and sets implicitly definable using Δ₀ formulas.

Call a formula φ(I,O) an implicit definition of the relation O(x,...) in
terms of I(y,...) if O is functionally determined by I: for every I, O,
O', if both φ(I,O) and φ(I,O') hold, then we have O ≡ O'. When φ is
first-order and I and O are relations over base sorts, then Beth's
definability theorem states that there is a first-order formula
ψ(I,x,...) corresponding to O whenever φ(I,O) holds. Further, this
explicit definition ψ can be effectively be computed from a sequent
calculus proof witnessing that φ is functional. This allows for
practical use of implicit definitions in the context of database
programming, as there is a well-established link between fragments of
explicitly FO definable relations and relational calculi.

NRC is a conservative extension of relational calculi from database
theory with limited powerset types in addition to tupling and anonymous
base types. NRC expressions thus not only encompass flat relations over
primitive datatypes like SQL but also nested collections, while
remaining useful in practice.

We extend the above correspondence between first-order logic and flat
relational queries to NRC and implicit definitions using set-theoretical
Δ₀ formulas over (typed) nested collection. Our proof of the equivalence
goes through a notion of Δ₀-interpretation and a generalization of Beth
definability for multi-sorted structures. This proof is non-constructive
and thus does not yield any useful algorithm for converting implicit
definitions into NRC terms. Using an approach more closely related to
proof-theoretic interpolation, we give a constructive proof of the
result restricted to intuitionistic provability, i.e, when the input
functionality proof π of φ(I,O) is carried out in intuitionistic logic.
Further, if π is cut-free, this can be done efficiently. Whether or not
there exists a polynomial-time procedure working with classical proofs
of functionality is still an open problem.

I will focus on the effective result for the talk, and if time allows,
discuss the difficulties with extending it to classical logic. I will
not assume any background in either database or model theory.

Fri 27th Nov
10:00 am
11:30 am
Add event to google
Seminar: Charles Paperman
Title: Stackless processing of streamed trees

Abstract: In this talk, I will first present the state of the art of efficiency implementation of streaming-text algorithms on modern architecture. Then some recent results on the extraction of information on streamed of structured documents without stack overhead.

For more info: paperman.name/data/pub.....d.pdf

Fri 13th Nov
10:00 am
12:00 pm
Add event to google
Seminar: Mikaël Monet
Title: The Complexity of Counting Problems over Incomplete Databases

Abstract: In this presentation, I will talk about various counting problems that naturally
arise in the context of query evaluation over incomplete databases. Incomplete
databases are relational databases that can contain unknown values in the form
of labeled nulls. We will assume that the domains of these unknown values are
finite and, for a Boolean query $q$, we will consider the following two
problems: given as input an incomplete database $D$, (a) return the number of
completions of $D$ that satisfy $q$; or (b) return or the number of valuations
of the nulls of $D$ yielding a completion that satisfies $q$.


We will study the computational complexity of these problems when $q$ is a
self-join--free conjunctive query, and study the impact on the complexity of
the following two restrictions: (1) every null occurs at most once in $D$ (what
is called *Codd tables*); and (2) the domain of each null is the same. Roughly
speaking, we will see that counting completions is much harder than counting
valuations, and that both (1) and (2) can reduce the complexity of our
problems.

I will also talk about the approximability of these problems and prove that,
while counting valuations can efficiently be approximated, in most cases
counting completions cannot.

On our way, we will encounter the counting complexity classes #P, Span-P and
Span-L.

The presentation will be based on joint work with Marcelo Arenas and Pablo
Barcelo; see arxiv.org/abs/1912.11064
Fri 16th Oct
11:00 am
12:00 pm
Add event to google
Seminar: Aurélien Lemay
Title: ShEx Learning from Typed Graphs

Abstract: In knowledge graphs, schemas are becoming a new asset to describe the organization of data. The new world-leading format Shex is becoming a de-facto standard in the industry that allows defining flexible and powerful schemas.

In this context, the inference of schemas can become a solution to provide shex expressions that describe already existing data. Typically, the inference starts from untyped graphs. However, these tasks appears to be more complex than expected in general, and is possible only for subclasses of Shex.

The inference of schemas from typed graph gives a baseline for those algorithms. Its comprehension allows to understand better the underlying difficulties of the task. It presents already unexpected difficulties.

We present an algorithm that infers Shex-defined schemas from fully typed graphs. We also present some encountered difficulties, as well as the limitations of the approach.
Fri 24th Jul
2:30 pm
4:30 pm
Add event to google
Momar Sakho, PhD defense
Wed 8th Jan
1:30 pm
3:30 pm
Add event to google
Introduction to argumentation theory
Show in Google map
Salle Agora 1, Bâtiment ESPRIT
2019
Thu 19th Dec
11:00 am
1:30 pm
Add event to google
Thèse L. Gallois

Show in Google map
amphi Bâtiment B Inria
Fri 13th Dec
11:45 am
1:00 pm
Add event to google
1. On Parsing Gpath (Jérémy and Antonio) 2. On Nested Regular Expression (Joachim)
Fri 13th Dec
10:30 am
11:45 am
Add event to google
Repet Lily pour l'équipe
"Lille-Salle B31 "
Tue 24th Sep
10:00 am
11:00 am
Add event to google
Stijn Vansummeren
Title: General Dynamic Yannakakis: Conjunctive Queries with Theta Joins Under Updates
Abstract:
The ability to efficiently analyze changing data is a key requirement
of many real-time analytics applications like Stream Processing,
Complex Event Recognition, Business Intelligence, and Machine
Learning.

Traditional approaches to this problem are based either on the
materialization of subresults (to avoid their recomputation) or on the
recomputation of subresults (to avoid the space overhead of
materialization). Both techniques have recently been shown suboptimal:
instead of fully materializing results and subresults, one can
maintain a data structure that supports efficient maintenance under
updates and can quickly enumerate the full query output, as well as
the changes produced under single updates.

In our work we are concerned with designing a practical family of
algorithms for dynamic query evaluation based on this idea, and for
queries featuring both equi-joins and inequality joins, as well as
certain forms of aggregation. Our main insight is that, for acyclic
conjunctive queries, such algorithms can naturally be obtained by
modifying Yannakakis' seminal algorithm for processing acyclic joins
in the static setting.

In this talk I present the main ideas behind this modfication,
offset it against the traditional ways of doing incremental view
maintenance, and discuss recent extensions such as dealing with
general theta-joins.
Show in Google map
Amphitheater of INRIA Building B.
Tue 25th Jun
11:30 am
5:30 pm
Add event to google
Happy Hours
Show in Google map
Inria Lille
Tue 25th Jun
10:30 am
11:30 am
Add event to google
Seminar Véronique Benzaken and Évelyne Contejean
Elles présenteront un outil qui prend en entrée une requête SQL et sa compilation par Postrgres sous forme de plan d'exécution, et démontre (avec Coq) que la requête initiale est équivalente au plan d'exécution.
Show in Google map
Lille-Salle B21
Fri 21st Jun
11:00 am
12:00 pm
Add event to google
Charles
Fri 24th May
11:00 am
12:00 pm
Add event to google
Seminaire Sławek
Fri 10th May
11:00 am
12:00 pm
Add event to google
Seminaire Iovka
Fri 12th Apr
11:00 am
12:30 pm
Add event to google
Alexandre Vigny in Links Seminar
Fri 5th Apr
11:00 am
12:00 pm
Add event to google
Semyon Grigorev in Links' seminar
Fri 5th Apr
11:00 am
12:30 pm
Add event to google
Talk of Semyon Grigorev
Title: Parsing techniques for context-free path querying
Abstract: Context-free path querying (CFPQ) is a case of language constrained path querying: the way to specify constraints on paths in a graph in terms of formal languages. In CFPQ language is restricted to be a context-free. Classical parsing techniques and algorithms, such as generalized LR and LL parsing, or parser combinators, can be used for CFPQ. Results of adaptation of different parsing techniques for CFPQ will be presented.
Show in Google map
B31
Fri 22nd Mar
10:00 am
11:30 am
Add event to google
Seminar LINKS by Aurelien Lemay "Tutorial: Grammatical Inference"
Fri 8th Mar
11:00 am
12:00 pm
Add event to google
Seminar Momar
Title: Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables

Abstract: We study the complexity of regular matching and inclusion for compressed tree patterns extended by context variables. The addition of context variables to tree patterns permits us to properly capture compressed string patterns but also compressed patterns for unranked trees with tree and hedge variables. Regular inclusion for the latter is relevant to certain query answering on Xml streams with references.
Fri 15th Feb
11:00 am
12:00 pm
Add event to google
Seminar [Florent]
Wed 13th Feb
1:30 pm
2:30 pm
Add event to google
30mn de science : Florent Capelli on Knowledge Compilation

Show in Google map
Inria salle Plénière (Bâtiment A)
Fri 1st Feb
11:00 am
12:30 pm
Add event to google
Bruno Guillon in Links' seminar
Title: Finding paths in large graphs

Abstract:
When dealing with large graphs, classical algorithms for finding paths such as Dijkstra's Algorithm are unsuitable, because they require to perform too many disk accesses. To avoid this while keeping a data structure of size quasi-linear in the size of the graph, we propose to guide the path search with a distance oracle, obtained from a topological embedding of the graph.
I will present fresh experimental research on this topic, in which we obtain graph embeddings using learning algorithms from natural language processing. On some graphs, such as the graph of publications from DBLP, our topologically-guided path search allows us to visit a small portion of the graph only, in average.
This is joint work with Charles Paperman.
Show in Google map
B21 Room
2018
Fri 23rd Nov
11:00 am
12:30 pm
Add event to google
Filip Mazowiecki in Links' seminar
Title: Containment for Probabilistic automata.

Abstract: This is an ICALP 2018 paper. We analyze when the model of probabilistic
automata has decidable properties, when restricting the ambiguity. The
notion of ambiguity is usually used in weighted automata or transducers,
but we follow a recent paper by Fijalkow, Riveros and Worrell, which
introduced this approach. We do not solve everything but our decidability
results rely unexpectedly on Schanuel's conjecture and we provide some
geometric intuition behind the hardness of the problem.
Fri 16th Nov
11:00 am
12:30 pm
Add event to google
Aurelien Lemay's Habilitation defense
Show in Google map
IRCICA
Thu 15th Nov
4:30 pm
5:30 pm
Add event to google
Andreas Maletti in Aurélien Lemay's prehabilitation seminar
Show in Google map
Lille-Salle B21
Thu 15th Nov
3:30 pm
4:30 pm
Add event to google
Henning Fernau in Aurélien Lemay's prehabilitation seminar:
Show in Google map
Lille-Salle B21
Fri 9th Nov
11:00 am
12:30 pm
Add event to google
Talk of Bruno Guillon
Abstract: The time complexity of 1-limited automata is investigated from a
descriptional complexity view point. Though the model recognizes
regular languages only, it may use quadratic time in the input length.
We show that, with a polynomial increase in size and preserving
determinism, each 1-limited automaton can be transformed into a
linear-time equivalent one. We also obtain polynomial transformations
into related models, including weight-reducing Hennie machines (i.e.,
one-tape Turing machines syntactically forced to operate in
linear-time), and we show exponential gaps for converse
transformations in the deterministic case.
Fri 26th Oct
11:00 am
12:30 pm
Add event to google
Momar Sakho in Links seminar
"Lieu : Lille, Salle : A12"
Thu 18th Oct
4:00 pm
5:00 pm
Add event to google
Talk of Mikael Monet
Title: Combined Complexity of Probabilistic Query Evaluation

Abstract:
Query evaluation over probabilistic databases (probabilistic query evaluation, or PQE) is known to be intractable in many cases, even in data complexity, i.e., when the query is fixed. Although some restrictions of the queries and instances have been proposed to lower the complexity, these known tractable cases usually do not apply to combined complexity, i.e., when the query is not fixed. This talk gives an overview of my PhD research, which investigates which queries and instances ensure the tractability of PQE in combined complexity.

I will first present our work on PQE of conjunctive queries on binary signatures, which can be rephrased as a probabilistic graph homomorphism problem. We restrict the query and instance graphs to be trees and show the impact on the combined complexity of diverse features such as edge labels, branching, or connectedness. This is joint work with Antoine Amarilli and Pierre Senellart and was presented at PODS'2017.

Second, we will explore the combined complexity of evaluating queries on treelike databases, i.e., databases whose treewidth is bounded by a constant. We introduce a class of queries (named 'CFG-Datalog') which generalizes many known query languages that are tractable in this context. Specifically, we show that the (non-probabilistic) evaluation of CFG-Datalog on treelike databases can be solved with complexity linear in the product of the instance size and of the query size. In the process, we introduce a new representation of the provenance of a query on a database, based on cyclic Boolean circuits. This is joint work with Antoine Amarilli, Pierre Bourhis, and Pierre Senellart, and was presented at ICDT'2017.

Last, we will move to the field of knowledge compilation and present our work that connects various notions of width for Boolean circuits. We show that circuits of bounded treewidth can be efficiently compiled into structured deterministic decomposable normal forms (d-SDNNFs), which in particular allows efficient probability computation. We show the implications of this result for PQE of CFG-Datalog on treelike databases. We also prove general lower bounds on knowledge compilation formalisms, which imply lower bounds for provenance computation. This is joint work with Antoine Amarilli and Pierre Senellart and was presented at ICDT'2018.
"Lieu : Lille, Salle : B21"
Fri 28th Sep
10:15 am
11:45 am
Add event to google
José Lozano Links seminar
Fri 21st Sep
10:30 am
12:00 pm
Add event to google
Fabian Reiter in Links' Seminar: Descriptive distributed complexity
This talk connects two classical areas of theoretical computer science: descriptive complexity and distributed computing. The former is a branch of computational complexity theory that characterizes complexity classes in terms of equivalent logical formalisms. The latter studies algorithms that run in networks of interconnected processors.

Although an active field of research since the late 1970s, distributed computing is still lacking the analogue of a complexity theory. One reason for this may be the large number of distinct models of distributed computation, which make it rather difficult to develop a unified formal framework. In my talk, I will outline how the descriptive approach, i.e., connections to logic, could be helpful in this regard.
Show in Google map
Salle B21
Fri 7th Sep
11:00 am
12:30 pm
Add event to google
Rustam Azimov in Links Seminar: "Context-Free Path Querying by Matrix Multiplication"
Fri 25th May
10:00 am
11:30 am
Add event to google
Nicolas Crosetti in Links' Seminar: Dependency weighted aggregation
Show in Google map
Lille B21

Permanent link to this article: https://team.inria.fr/links/seminars/