Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

15 résultats
Page :
triés par
Image document

Asymptotic Determinacy of Path Queries using Union-of-Paths Views

 Nadime Francis
18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. ⟨10.4230/LIPIcs.ICDT.2015.44⟩
Communication dans un congrès hal-01150780v1

Enumerating regular languages in radix order

 Nadime Francis , Victor Marsault
2023
Pré-publication, Document de travail hal-04288155v1

GPC: A Pattern Calculus for Property Graphs

 Nadime Francis , Amélie Gheerbrant , Paolo Guagliardo , Leonid Libkin , Victor Marsault , et al.
Symposium on Principles of Database Systems (PODS), Jun 2023, Seattle WA USA, France. pp.241-250, ⟨10.1145/3584372.3588662⟩
Communication dans un congrès hal-03836782v1
Image document

View-based query determinacy and rewritings over graph databases

 Nadime Francis
Databases [cs.DB]. Université Paris Saclay (COmUE), 2015. English. ⟨NNT : 2015SACLN015⟩
Thèse tel-01247115v2
Image document

Asymptotic Determinacy of Path Queries using Union-of-Paths Views

 Nadime Francis
Theory of Computing Systems, 2017, 61 (1), pp.156-190. ⟨10.1007/s00224-016-9697-x⟩
Article dans une revue hal-01803445v1

Distinct Shortest Walk Enumeration for RPQs

 Claire David , Nadime Francis , Victor Marsault
2024
Pré-publication, Document de travail hal-04495051v1
Image document

Consistency of injective tree patterns

 Claire David , Nadime Francis , Filip Murlak
Foundations of Software Technology and Theoretical Computer Science, Dec 2014, New Dehli, India
Communication dans un congrès hal-01094596v2
Image document

A Researcher's Digest of GQL

 Nadime Francis , Amelie Gheerbrant , Paolo Guagliardo , Leonid Libkin , Victor Marsault , et al.
26th International Conference on Database Theory (ICDT 2023), Mar 2023, Ioannina, Greece. ⟨10.4230/LIPIcs.ICDT.2023.1⟩
Communication dans un congrès hal-04094449v1
Image document

Schema Mappings for Data Graphs

 Nadime Francis , Leonid Libkin
the 36th ACM SIGMOD-SIGACT-SIGAI Symposium, May 2017, Chicago, United States. ⟨10.1145/3034786.3056113⟩
Communication dans un congrès hal-01803448v1
Image document

Cypher: An Evolving Query Language for Property Graphs

 Nadime Francis , Alastair Green , Paolo Guagliardo , Leonid Libkin , Tobias Lindaaker , et al.
SIGMOD'18 Proceedings of the 2018 International Conference on Management of Data, Jun 2018, Houston, United States. pp.1433, ⟨10.1145/3183713.3190657⟩
Communication dans un congrès hal-01803524v1

Datalog Rewritings of Regular Path Queries using Views

 Nadime Francis , Luc Segoufin , Cristina Sirangelo
Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014., Mar 2014, Athens, Greece. pp.107--118, ⟨10.5441/002/icdt.2014.14⟩
Communication dans un congrès hal-01070903v1
Image document

Datalog Rewritings of Regular Path Queries using Views

 Nadime Francis , Luc Segoufin , Cristina Sirangelo
Logical Methods in Computer Science, 2015, 11 (4)
Article dans une revue hal-01248391v1
Image document

Run-Based Semantics for RPQs

 Claire David , Nadime Francis , Victor Marsault
20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23), Sep 2023, Rhodes, Greece. pp.178-187, ⟨10.24963/kr.2023/18⟩
Communication dans un congrès hal-03882187v1
Image document

Modèles de mémoire pour l'enseignement de la programmation

 Léo Exibard , Nadime Francis , Antoine Meyer , Marie van den Bogaard
Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.33-43
Communication dans un congrès hal-04482121v2

Graph Pattern Matching in GQL and SQL/PGQ

 Alin Deutsch , Nadime Francis , Alastair Green , Keith Hare , Bei Li , et al.
SIGMOD '22: International Conference on Management of Data, Jun 2022, Philadelphia, United States. ⟨10.1145/3514221.3526057⟩
Communication dans un congrès hal-03688214v1
Page :