H. Abelson, Revised report on the algorithmic language Scheme. Higher- Order and Symbolic Computation, pp.7-105, 1998.
DOI : 10.1145/382130.382133
URL : http://swissnet.ai.mit.edu/~jaffer/r5rs.pdf

S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, 1995.

D. Alocci, J. Mariethoz, O. Horlacher, J. T. Bolleman, M. P. Campbell et al., Property Graph vs RDF Triple Store: A Comparison on Glycan Substructure Search, PLOS ONE, vol.43, issue.12, pp.1-17
DOI : 10.1371/journal.pone.0144578.s012
URL : https://doi.org/10.1371/journal.pone.0144578

B. Amann and M. Scholl, Gram, Proceedings of the ACM conference on Hypertext , ECHT '92, pp.201-211, 1992.
DOI : 10.1145/168466.168527
URL : https://hal.archives-ouvertes.fr/hal-01124475

R. Angles, M. Arenas, P. Barceló, P. Boncz, G. Fletcher et al., G-CORE A Core for Future Graph Query Languages, ACM SIGMOD, 2018.

R. Angles, M. Arenas, P. Barceló, A. Hogan, J. Reutter et al., Foundations of Modern Query Languages for Graph Databases, ACM Computing Surveys, vol.50, issue.5, pp.1-6840, 2017.
DOI : 10.1007/978-1-4419-6045-0_6
URL : http://arxiv.org/pdf/1610.06264

R. Angles and C. Gutiérrez, Survey of graph database models, ACM Computing Surveys, vol.40, issue.1, pp.1-1, 2008.
DOI : 10.1145/1322432.1322433
URL : http://lifeisagraph.com/lib/exe/fetch.php?id=database_models&cache=cache&media=survey_of_graph_db_models.pdf

P. Barceló, Querying graph databases, Proceedings of the 32nd ACM SIGMOD- SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, pp.175-188, 2013.

P. Barceló, L. Libkin, and J. L. Reutter, Querying Regular Graph Patterns, Journal of the ACM, vol.61, issue.1, pp.1-8, 2014.
DOI : 10.1145/1498765.1498784

T. Bray, J. Paoli, and C. M. Sperberg-mcqueen, Extensible markup language (XML), World Wide Web Journal, vol.2, issue.4, pp.27-66, 1997.

M. Cabra, How the ICIJ used Neo4j to unravel the Panama Papers, Neo4j Blog, 2016.

S. Chu, C. Wang, K. Weitz, and A. Cheung, Cosette: An automated prover for SQL, CIDR, 2017.
DOI : 10.1145/3035918.3058728

S. Chu, K. Weitz, A. Cheung, and D. Suciu, HoTTSQL: Proving query rewrites with univalent SQL semantics, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.510-524, 2017.
DOI : 10.1145/3140587.3062348
URL : http://arxiv.org/pdf/1607.04822

M. Consens and A. Mendelzon, GraphLog, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '90, pp.404-416, 1990.
DOI : 10.1145/298514.298591

B. Cook, A. Podelski, and A. Rybalchenko, Proving program termination, Communications of the ACM, vol.54, issue.5, pp.88-98, 2011.
DOI : 10.1145/1941487.1941509
URL : http://dl.acm.org/ft_gateway.cfm?id=1941509&type=pdf

I. F. Cruz, A. O. Mendelzon, and P. T. Wood, A graphical query language supporting recursion, SIGMOD Conference, pp.323-330, 1987.
DOI : 10.1145/38713.38749

G. Drakopoulos, A. Kanavos, and A. K. Tsakalidis, Evaluating Twitter Influence Ranking with System Theory, Proceedings of the 12th International Conference on Web Information Systems and Technologies, pp.113-120, 2016.
DOI : 10.5220/0005811701130120

N. Francis, A. Green, P. Guagliardo, L. Libkin, T. Lindaaker et al., Formal semantics of the language cypher, 2018.

G. Graefe and W. J. Mckenna, The Volcano optimizer generator: extensibility and efficient search, Proceedings of IEEE 9th International Conference on Data Engineering, pp.209-218, 1993.
DOI : 10.1109/ICDE.1993.344061
URL : http://www.cs.ubc.ca/~rap/teaching/504/2006/readings/volcano.pdf

P. Guagliardo and L. Libkin, A formal semantics of SQL queries, its validation, and applications, Proceedings of the VLDB Endowment, vol.11, issue.1, pp.27-39
DOI : 10.14778/3151113.3151116

A. Gubichev, Query Processing and Optimization in Graph Databases, 2015.

Y. Gurevich and J. K. Huggins, The semantics of the C programming language, Computer Science Logic, pp.274-308, 1992.

R. H. Güting, Graphdb: Modeling and querying graphs in databases, VLDB, pp.297-308, 1994.

M. Gyssens, J. Paredaens, J. V. Den-bussche, and D. V. Gucht, A graph-oriented object database model, IEEE Transactions on Knowledge and Data Engineering, vol.6, issue.4, pp.572-586, 1994.
DOI : 10.1109/69.298174
URL : http://alpha.luc.ac.be/~lucp1080/good.ps.gz

N. Hawes, B. Barham, and C. Cifuentes, Frapp??, Proceedings of the GRADES'15 on, GRADES'15, pp.1-4, 2015.
DOI : 10.1109/TSE.1984.5010248

J. Hidders, Typing Graph-Manipulation Operations, ICDT, pp.391-406, 2003.
DOI : 10.1007/3-540-36285-1_26

H. H. Huang and H. Liu, Big data machine learning and graph analytics: Current state and future challenges, 2014 IEEE International Conference on Big Data (Big Data), pp.16-17, 2014.
DOI : 10.1109/BigData.2014.7004471

B. Iordanov, HyperGraphDB: A Generalized Graph Database, WAIM Workshops, pp.25-36, 2010.
DOI : 10.1145/219717.219748
URL : http://216.95.210.198/documents/hypergraphdb.pdf

M. Junghanns, A. Petermann, K. Gómez, E. J. Rahm31-]-a, J. Kfoury et al., GRADOOP: scalable graph data management and analytics with hadoop. CoRR, abs/1506.00548 XPath 2.0 programmer's reference An analysis of ML typability, Journal of the ACM, vol.41, issue.2, pp.368-398, 1994.

N. Klarlund, A. Møller, and M. I. Schwartzbach, MONA IMPLEMENTATION SECRETS, International Journal of Foundations of Computer Science, vol.13, issue.04, pp.571-586, 2002.
DOI : 10.1007/BF01691346
URL : http://www.daimi.au.dk/~amoeller/papers/secrets/journal.ps

E. V. Kostylev, J. L. Reutter, M. Romero, and D. Vrgo?, SPARQL with Property Paths, The Semantic Web -ISWC 2015, pp.3-18, 2015.
DOI : 10.1145/1804669.1804675

J. Larriba-pey, N. Martínez-bazan, and D. , Introduction to Graph Databases, Reasoning Web, pp.171-194, 2014.
DOI : 10.1109/ICDEW.2012.47

M. Levene and G. Loizou, A graph-based data model and its ramifications, IEEE Transactions on Knowledge and Data Engineering, vol.7, issue.5, pp.809-823, 1995.
DOI : 10.1109/69.469818
URL : http://www.dcs.bbk.ac.uk/~mark/download/kde.ps.gz

M. Levene and A. Poulovassilis, The hypernode model and its associated query language, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology', pp.520-530, 1990.
DOI : 10.1109/JCIT.1990.128324

M. Levene and A. Poulovassilis, An object-oriented data model formalised through hypergraphs, Data & Knowledge Engineering, vol.6, issue.3, pp.205-234, 1991.
DOI : 10.1016/0169-023X(91)90005-I

L. Libkin, W. Martens, and D. Vrgo?, Querying Graphs with Data, Journal of the ACM, vol.63, issue.2, pp.1-14, 2016.
DOI : 10.1145/2206869.2206879

A. Lysenko, I. A. Roznovat, M. Saqi, A. Mazein, C. J. Rawlings et al., Representing and querying disease networks using graph databases, BioData Mining, vol.25, issue.1, p.23, 2016.
DOI : 10.1093/nar/gkp440
URL : https://biodatamining.biomedcentral.com/track/pdf/10.1186/s13040-016-0102-8?site=biodatamining.biomedcentral.com

S. Malik and L. Zhang, Boolean satisfiability from theoretical hardness to practical success, Communications of the ACM, vol.52, issue.8, pp.76-82, 2009.
DOI : 10.1145/1536616.1536637
URL : http://dl.acm.org/ft_gateway.cfm?id=1536637&type=pdf

J. Marton, G. Szárnyas, and M. Búr, Model-Driven Engineering of an OpenCypher Engine: Using Graph Queries to Compile Graph Queries, SDL Forum, pp.80-98, 2017.
DOI : 10.1016/j.entcs.2005.10.025
URL : http://real.mtak.hu/74196/1/sdl2017_opencypher_mde_u.pdf

R. Milner, M. Tofte, and R. Harper, Definition of Standard ML, 1990.

J. C. Mitchell, Concepts in Programming Languages, 2003.
DOI : 10.1017/CBO9780511804175

G. Moerkotte and T. Neumann, Dynamic programming strikes back, Proceedings of the 2008 ACM SIGMOD international conference on Management of data , SIGMOD '08, pp.539-552, 2008.
DOI : 10.1145/1376616.1376672
URL : https://domino.mpi-inf.mpg.de/intranet/ag5/ag5publ.nsf/6a06bf33407d587ec12565dd006fb8de/dca408a1a5cf641ac12574f7004c26d7/$file/dphyper.pdf

J. Mullen, S. J. Cockell, P. Woollard, and A. Wipat, An Integrated Data Driven Approach to Drug Repositioning Using Gene-Disease Associations, PLOS ONE, vol.37, issue.2, pp.1-24, 2016.
DOI : 10.1371/journal.pone.0155811.s016
URL : https://doi.org/10.1371/journal.pone.0155811

T. Neumann, Efficiently compiling efficient query plans for modern hardware, Proceedings of the VLDB Endowment47] openCypher. Cypher Query Language Reference, pp.539-550, 2011.
DOI : 10.14778/2002938.2002940
URL : http://www.vldb.org/pvldb/vol4/p539-neumann.pdf

Y. Papakonstantinou, H. Garcia-molina, and J. Widom, Object exchange across heterogeneous information sources, Proceedings of the Eleventh International Conference on Data Engineering, pp.251-260, 1995.
DOI : 10.1109/ICDE.1995.380386
URL : http://www.db.ucsd.edu/publications/icde95.ps

N. Papaspyrou, A Formal Semantics for the C Programming Language, p.253, 1998.

M. Paradies, Graph pattern matching in SAP HANA. First openCypher Implementers Meeting

A. Poulovassilis and M. Levene, A nested-graph model for the representation and manipulation of complex objects, ACM Transactions on Information Systems, vol.12, issue.1, pp.35-68, 1994.
DOI : 10.1145/174608.174610
URL : http://www.dcs.bbk.ac.uk/~mark/download/tois.ps.gz

M. A. Rodriguez, The Gremlin graph traversal machine and language, DBPL, pp.1-10, 2015.
DOI : 10.1145/2815072.2815073
URL : http://arxiv.org/pdf/1508.03843

P. G. Selinger, M. M. Astrahan, D. D. Chamberlin, R. A. Lorie, and T. G. Price, Access path selection in a relational database management system, Proceedings of the 1979 ACM SIGMOD international conference on Management of data, pp.23-34, 1979.
DOI : 10.1145/582096.582099

B. A. Steer, A. Alnaimi, M. A. Lotz, F. Cuadrado, L. M. Vaquero et al., Cytosm, Proceedings of the Fifth International Workshop on Graph Data-management Experiences & Systems , GRADES'17, pp.1-4, 2017.
DOI : 10.1145/2960414.2960421

O. Van-rest, S. Hong, J. Kim, X. Meng, and H. Chafi, PGQL, Proceedings of the Fourth International Workshop on Graph Data Management Experiences and Systems, GRADES '16, p.7, 2016.
DOI : 10.1145/2274576.2274585

M. Veanes, N. Tillmann, and J. De-halleux, Qex: Symbolic SQL Query Explorer, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), pp.425-446, 2010.
DOI : 10.1145/1134285.1134301
URL : http://research.microsoft.com/pubs/115787/qex-TR.pdf

P. T. Wood, Query languages for graph databases, ACM SIGMOD Record, vol.41, issue.1, pp.50-60, 2012.
DOI : 10.1145/2206869.2206879

B. Yoon, S. Kim, and S. Kim, Use of Graph Database for the Integration of Heterogeneous Biological Data, Genomics & Informatics, vol.15, issue.1, pp.19-27, 2017.
DOI : 10.5808/GI.2017.15.1.19