A. Abele, J. P. Mccrae, P. Buitelaar, A. Jentzsch, and R. Cyganiak, Linking Open Data cloud diagram, 2017.

, Foundations of Databases: The Logical Level, 1995.

S. Abiteboul, D. Quass, J. Mchugh, J. Widom, and J. Wiener, The Lorel Query Language for Semistructured Data, Journal on Digital Libraries, vol.1, p.1, 1996.

S. Abiteboul and V. Vianu, Datalog Extensions for Database Queries and Updates, J. Comput. Syst. Sci, vol.43, pp.62-124, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075656

Z. Abul-basher, N. Yakovets, P. Godfrey, S. Ghajar-khosravi, and M. H. Chignell, TASWEET: Optimizing Disjunctive Path Queries in Graph Databases, Proceedings of the 20th International Conference on Extending Database Technology, pp.470-473, 2017.

F. Afrati, M. Gergatsoulis, and F. Toni, Linearisability on datalog programs, Theoretical Computer Science, vol.308, pp.199-226, 2003.

R. , Alpha: an extension of relational algebra to express a class of recursive queries, IEEE Transactions on Software Engineering, vol.14, issue.7, pp.879-885, 1988.

A. V. Aho and J. D. Ullman, Universality of Data Retrieval Languages, Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp.110-119, 1979.

A. Alexandrov, G. Krastev, and V. Markl, Representations and Optimizations for Embedded Parallel Dataflow Languages, ACM Trans. Database Syst, vol.44, issue.4, 2019.

F. Alkhateeb and J. Euzenat, Constrained regular expressions for answering RDF-path queries modulo RDFS, IJWIS, vol.10, pp.24-50, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00975283

R. Angles, M. Arenas, P. Barcelo, P. Boncz, G. Fletcher et al., G-CORE: A Core for Future Graph Query Languages, Proceedings of the 2018 International Conference on Management of Data, pp.1421-1432, 2018.

. Anonymous, Full proofs for SIGMOD2020 submission 48, 2019.

M. Aref, T. J. Balder-ten-cate, B. Green, D. Kimelfeld, E. Olteanu et al., Design and Implementation of the LogicBlox System, Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, pp.1371-1382, 2015.

M. Arenas, S. Conca, and J. Pérez, Counting Beyond a Yottabyte, or How SPARQL 1.1 Property Paths Will Prevent Adoption of the Standard, Proceedings of the 21st International Conference on World Wide Web (WWW '12), pp.629-638, 2012.

G. Bagan, A. Bonifati, R. Ciucanu, H. L. George, A. Fletcher et al., gMark: Schema-Driven Generation of Graphs and Queries, IEEE Trans. Knowl. Data Eng, vol.29, pp.856-869, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01402575

G. Bagan, A. Bonifati, R. Ciucanu, H. L. George, A. Fletcher et al., gMark: a domain and query language independent framework, 2019.

F. Bancilhon, D. Maier, Y. Sagiv, and J. D. Ullman, Magic Sets and Other Strange Ways to Implement Logic Programs (Extended Abstract), Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pp.1-15, 1986.

F. Bancilhon and R. Ramakrishnan, An amateur's introduction to recursive query processing strategies, Readings in Artificial Intelligence and Databases, pp.376-430, 1988.

P. Barcelo, D. Figueira, and L. Libkin, Graph Logics with Rational Relations and the Generalized Intersection Problem, Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science, pp.115-124, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01799740

P. Barceló, L. Libkin, A. W. Lin, and P. T. Wood, Expressive Languages for Path Queries over Graph-Structured Data, ACM Trans. Database Syst, vol.37, p.31, 2012.

A. Bonifati and G. Fletcher, Querying Graphs. Morgan and Claypool publishers, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01974379

A. Bonifati, W. Martens, and T. Timm, An Analytical Study of Large SPARQL Query Logs, PVLDB, vol.11, pp.149-161, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01979692

P. Buneman, S. Davidson, G. Hillebrand, and D. Suciu, A Query Language and Optimization Techniques for Unstructured Data, SIGMOD Rec, vol.25, issue.2, pp.505-516, 1996.

K. Ashok and . Chandra, Programming Primitives for Database Languages, Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.50-62, 1981.

F. Edgar and . Codd, A relational model of data for large shared data banks, Commun. ACM, vol.13, pp.377-387, 1970.

M. P. Consens and A. O. Mendelzon, GraphLog: A Visual Formalism for Real Life Recursion, Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp.404-416, 1990.

I. F. Cruz, A. O. Mendelzon, and P. T. Wood, A Graphical Query Language Supporting Recursion, Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, pp.323-330, 1987.

, DLV Systems. 2012. The DLV deductive database system, 2019.

M. Oliver, . Duschka, A. Michael-r-genesereth, and . Levy, Recursive query plans for data integration, The Journal of Logic Programming, vol.43, pp.49-73, 2000.

O. Erling, Virtuoso, a Hybrid RDBMS/Graph Column Store, IEEE Data Eng. Bull, vol.35, pp.3-8, 2012.

M. Fernandez and D. Suciu, Optimizing regular path expressions using graph schemas, Proceedings 14th International Conference on Data Engineering, pp.14-23, 1998.

D. Florescu, A. Levy, and A. Mendelzon, Database Techniques for the World-Wide Web: A Survey. SIGMOD Rec, vol.27, pp.59-74, 1998.

, YAGO: A high-quality knowledge base, 2019.

N. Francis, A. Green, P. Guagliardo, and L. Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Petra Selmer, and Andrés Taylor, Proceedings of the 2018 International Conference on Management of Data, pp.1433-1445, 2018.

N. Francis, A. Green, P. Guagliardo, L. Libkin, T. Lindaaker et al., Cypher: An Evolving Query Language for Property Graphs, Proceedings of the 2018 International Conference on Management of Data, pp.1433-1445, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01803524

G. Gardarin and C. De-maindreville, Evaluation of Database Recursive Logic Programs As Recurrent Function Series, Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data (SIGMOD '86), pp.177-186, 1986.

. Goetz-graefe, Volcano -An Extensible and Parallel Query Evaluation System, IEEE Trans. Knowl. Data Eng, vol.6, pp.120-135, 1994.

. Goetz-graefe, The Cascades Framework for Query Optimization, Data Engineering Bulletin, vol.18, 1995.

G. Graefe and W. J. Mckenna, The Volcano Optimizer Generator: Extensibility and Efficient Search, Proceedings of the Ninth International Conference on Data Engineering, pp.209-218, 1993.

A. Green, M. Junghanns, M. Kießling, T. Lindaaker, S. Plantikow et al., openCypher: New Directions in Property Graph Querying, Proceedings of the 21th International Conference on Extending Database Technology, pp.520-523, 2018.

A. Gubichev, J. Srikanta, S. Bedathur, and . Seufert, Sparqling Kleene: Fast Property Paths in RDF-3X, First International Workshop on Graph Data Management Experiences and Systems, 2013.

J. Peter, J. F. Haas, S. Naughton, A. N. Seshadri, and . Swami, Selectivity and Cost Estimation for Joins Based on Random Sampling, J. Comput. Syst. Sci, vol.52, issue.3, pp.550-569, 1996.

S. Harris and A. Seaborne, SPARQL 1.1 Query Language, W3C Recommendation, 2013.

O. Hartig and G. Pirrò, SPARQL with property paths on the Web, Semantic Web, vol.8, pp.773-795, 2017.

A. W. Maurice, . Houtsma, M. G. Peter, and . Apers, Algebraic optimization of recursive queries, Data & Knowledge Engineering, vol.7, pp.299-325, 1992.

M. Kifer, L. Eliezer, and . Lozinskii, On Compile-time Query Optimization in Deductive Databases by Means of Static Filtering, ACM Trans. Database Syst, vol.15, pp.385-426, 1990.

D. Kossmann and K. Stocker, Iterative Dynamic Programming: A New Class of Query Optimization Algorithms, ACM Trans. Database Syst, vol.25, issue.1, pp.43-82, 2000.

. Dexter-kozen, Results on the Propositional mu-Calculus, Theor. Comput. Sci, vol.27, pp.90125-90131, 1983.

N. Leone, G. Pfeifer, W. Faber, and T. Eiter, The DLV System for Knowledge Representation and Reasoning, ACM Trans. Comput. Logic, vol.7, issue.3, pp.499-562, 2006.

L. Libkin, W. Martens, and D. Vrgo?, Querying Graphs with Data, J. ACM, vol.63, p.14, 2016.

E. Meijer and G. M. Bierman, A co-relational model of data for large shared data banks, Commun. ACM, vol.54, pp.49-58, 2011.

A. O. Mendelzon and P. T. Wood, Finding Regular Simple Paths in Graph Databases, SIAM J. Comput, vol.24, pp.1235-1258, 1995.

J. F. Naughton, R. Ramakrishnan, Y. Sagiv, and J. D. Ullman, Efficient Evaluation of Right-, Left-, and Multi-linear Rules, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pp.235-242, 1989.

K. Van-quyet-nguyen and . Kim, Estimating the Evaluation Cost of Regular Path Queries on Large Graphs, Proceedings of the Eighth International Symposium on Information and Communication Technology, pp.92-99, 2017.

. Online, , 2019.

. Online, The PostgreSQL system, 2019.

D. John and . Ramsdell, Datalog version 2.2, a lightweight deductive database system, 2004.

D. Saccà and C. Zaniolo, On the Implementation of a Simple Class of Logic Queries for Databases, Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pp.16-23, 1986.

M. Schmidt, M. Meier, and G. Lausen, Foundations of SPARQL Query Optimization, Proceedings of the 13th International Conference on Database Theory (ICDT '10), pp.4-33, 2010.

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, 1979.

A. Shkapsky, M. Yang, M. Interlandi, H. Chiu, T. Condie et al., Big Data Analytics with Datalog Queries on Spark, Proceedings of the 2016 International Conference on Management of Data (SIGMOD '16, pp.1135-1149, 2016.

M. Stillger and M. Spiliopoulou, Genetic Programming in Database Query Optimization, Proceedings of the 1st Annual Conference on Genetic Programming, pp.388-393, 1996.

M. Stonebraker, L. A. Rowe, and M. Hirohama, The implementation of POSTGRES, Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker, pp.519-559, 2019.

F. M. Suchanek, G. Kasneci, and G. Weikum, Yago: a core of semantic knowledge, Proceedings of the 16th International Conference on World Wide Web, pp.697-706, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01472497

Y. K-tuncay-tekle and . Liu, More efficient datalog queries: subsumptive tabling beats magic sets, Proceedings of the 2011 ACM SIGMOD International Conference on Management of data, pp.661-672, 2011.

D. Jeffrey and . Ullman, Principles of Database and Knowledge-base Systems, vol.I, 1988.

J. Urbani, J. H. Ceriel, M. Jacobs, and . Krötzsch, Column-Oriented Datalog Materialization for Large Knowledge Graphs, AAAI, pp.258-264, 2016.

J. Urbani, J. H. Ceriel, M. Jacobs, and . Krötzsch, VLog: A Column-Oriented Datalog System for Large Knowledge Graphs, Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016.

N. Yakovets, J. Godfrey, and . Gryz, Evaluation of SPARQL property paths via recursive SQL, vol.1087, 2013.

N. Yakovets, P. Godfrey, and J. Gryz, WAVEGUIDE: Evaluating SPARQL Property Path Queries, EDBT, pp.525-528, 2015.

N. Yakovets, P. Godfrey, and J. Gryz, Query Planning for Evaluating SPARQL Property Paths, Proceedings of the 2016 International Conference on Management of Data, pp.1875-1889, 2016.

. References-for-the and . Appendix,

, Foundations of Databases: The Logical Level, 1995.

S. Abiteboul and V. Vianu, Datalog extensions for database queries and updates, J. Comput. Syst. Sci, vol.43, issue.1, pp.62-124, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075656