Research and Publications

 Full and updated list of publications can be found in my DBLP and Google Scholar pages

Research Projects

Graph Query Languages

Graph databases allow one to store data while emphasizing the importance of the data itself along with its internal connections.  GQL, the new standard for graph query languages, has been under development since 2019. Standardization raises many inherent questions on expressivity and complexity. The outcomes of such theoretical analysis can lead to design decisions that would affect the standard.

Incomplete Information

Handling incomplete information is a longstanding problem in data management. Classical research on the subject is focused mainly on simple relational queries (SELECT-FROM-WHERE). In practice, queries include aggregations, comparisons, arithmetics, and more. How can we adapt theory to study such queries? What approaches can be taken to define the notion of query answering under these settings?

SQL Semantics

 SQL is inarguably the query language for relational databases (in which data is stored in a tabular form). Its formal semantics is based on Kleene's three-valued logic which is used to handle incomplete information. Unfortunately, the three-valued approach often leads to unintuitive behavior and internal inconsistencies. Is there a way to avoid this? Can we harness existing implementations for that?  What lessons can be applied on graph query languages?

Publications

with N.Francis, A.Gheerbrant, P.Guagliardo, L.Libkin, V.Marsault, W.Martens, F.Murlak, A.Rogova, D.Vrgoc

PODS23

PODS23

with N.Francis, A.Gheerbrant, P.Guagliardo, L.Libkin, V.Marsault, W.Martens, F.Murlak, A.Rogova, D.Vrgoc

ICDT23

with Camille Bourgaux, Pierre Bourhis, and Michaël Thomazo.

KR22

with Ami Paz.

INVITED TO Theoretical Computer Science SPECIAL ISSUE 

    FUN22

 with Dominik D. Freydenberger. 

ICALP21

INVITED TO Discrete Applied Mathematics SPECIAL ISSUE

ICDT21

with Benny Kimelfeld, Ester Livshits. 

TCS20

with Johannes Doleschal, Benny Kimelfeld, Wim Martens.

INVITED TO Logical Methods in Computer Science SPECIAL ISSUE

    ICDT20

LMCS22

with Dominik D. Freydenberger, Benny Kimelfeld, Markus Kröll. 

PODS19

with Balder ten Cate, Ronald Fagin, Benny Kimelfeld. 

ICDT19

with Dominik D. Freydenberger, Benny Kimelfeld.

PODS18

  CSR18

with Benny Kimelfeld, Ester Livshits. 

  ICDT17

with Yoav Nahshon Stijn Vansummeren. 

BEST PAPER AWARD

    WebDB16

     TCS14