Powered by
Conference Publishing Consulting

15th Symposium on Database Programming Languages (DBPL 2015), October 27, 2015, Pittsburgh, PA, USA

DBPL 2015 – Proceedings

Contents - Abstracts - Authors


Title Page

Invited Talk

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

Full Papers 1

A Common Data Manipulation Language for Nested Data in Heterogeneous Environments
João Costa SecoORCID logo, 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 IshikawaORCID logo, and Shinichi Honiden
(University of Tokyo, Japan; National Institute of Informatics, Japan)

Short Papers

Requesting Heterogeneous Data Sources with Array Comprehensions in Hop.js
Yoann Couillec and Manuel SerranoORCID logo
(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)

Full Papers 2

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 ORCID logo and Carlo Sartiani
(Paris Dauphine University, France; University of Basilicata, Italy)

proc time: 0.82