Title Page

Foreword

The Gremlin Graph Traversal Machine and Language (Invited Talk)
Marko A. Rodriguez
(DataStax, USA)

A Common Data Manipulation Language for Nested Data in Heterogeneous Environments
João Costa Seco, Hugo Lourenço, and Paulo Ferreira
(Universidade Nova de Lisboa, Portugal; OutSystems, Portugal)

Relational Foundations for Functorial Data Migration
David I. Spivak and Ryan Wisnesky
(Massachusetts Institute of Technology, USA)

Abstract Rewriting Approach to Solve Datalog Programs
Fernando Tarin Morales, Fuyuki Ishikawa, and Shinichi Honiden
(University of Tokyo, Japan; National Institute of Informatics, Japan)

Requesting Heterogeneous Data Sources with Array Comprehensions in Hop.js
Yoann Couillec and Manuel Serrano
(INRIA, France)

A Datalog-Based Protocol for Lazy Data Migration in Agile NoSQL Application Development
Stefanie Scherzinger, Uta Störl, and Meike Klettke
(Regensburg University of Applied Sciences, Germany; Darmstadt University of Applied Sciences, Germany; University of Rostock, Germany)

Function Inlining in XQuery 3.0 Optimization
Leonard Wörteler, Michael Grossniklaus, Christian Grün, and Marc H. Scholl
(University of Konstanz, Germany)

Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries
Gregory Malecha and Ryan Wisnesky
(University of California at San Diego, USA; Massachusetts Institute of Technology, USA)

Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, and George H. L. Fletcher
(University of Hasselt, Belgium; Transnational University of Limburg, Belgium; Pomona College, USA; Indiana University, USA; Université Libre de Bruxelles, Belgium; Eindhoven University of Technology, Netherlands)

Typing Regular Path Query Languages for Data Graphs
Dario Colazzo and Carlo Sartiani
(Paris Dauphine University, France; University of Basilicata, Italy)