DBPL 2019 – Proceedings

17th ACM SIGPLAN International Symposium on Database Programming Languages (DBPL 2019)

Frontmatter

Invited Talks

Comprehending Ringads (Keynote)
Jeremy Gibbons
(University of Oxford, UK)


@InProceedings{DBPL19p1, author = {Jeremy Gibbons}, title = {Comprehending Ringads (Keynote)}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3315507.3337934}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-key1-p doi:10.1145/3315507.3337934

Programming Support for Database Schema Refactoring (Keynote)
Isil Dillig
(University of Texas at Austin, USA)


@InProceedings{DBPL19p17, author = {Isil Dillig}, title = {Programming Support for Database Schema Refactoring (Keynote)}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3315507.3337954}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-key2-p doi:10.1145/3315507.3337954

Novel Data Applications

Fluid Data Structures
Darshana Balakrishnan, Lukasz Ziarek, and Oliver Kennedy
(SUNY Buffalo, USA)


@InProceedings{DBPL19p33, author = {Darshana Balakrishnan and Lukasz Ziarek and Oliver Kennedy}, title = {Fluid Data Structures}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3315507.3330197}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-p5-p doi:10.1145/3315507.3330197

Detecting Unsatisfiable CSS Rules in the Presence of DTDs
Nobutaka Suzuki, Takuya Okada, and Yeondae Kwon
(University of Tsukuba, Japan; University of Tokyo, Japan)


@InProceedings{DBPL19p49, author = {Nobutaka Suzuki and Takuya Okada and Yeondae Kwon}, title = {Detecting Unsatisfiable CSS Rules in the Presence of DTDs}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3315507.3330195}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-p2-p doi:10.1145/3315507.3330195

Graphs and Streams

Towards Compiling Graph Queries in Relational Engines
Ruby Y. Tahboub, Xilun Wu, Grégory M. Essertel, and Tiark Rompf
(Purdue University, USA)


@InProceedings{DBPL19p65, author = {Ruby Y. Tahboub and Xilun Wu and Grégory M. Essertel and Tiark Rompf}, title = {Towards Compiling Graph Queries in Relational Engines}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {65-64}, doi = {10.1145/3315507.3330200}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-p8-p doi:10.1145/3315507.3330200

Streaming Saturation for Large RDF Graphs with Dynamic Schema Information
Mohammad Amin Farvardin, Dario Colazzo, Khalid Belhajjame, and Carlo Sartiani
(Université Paris-Dauphine, France; University of Basilicata, Italy)


@InProceedings{DBPL19p81, author = {Mohammad Amin Farvardin and Dario Colazzo and Khalid Belhajjame and Carlo Sartiani}, title = {Streaming Saturation for Large RDF Graphs with Dynamic Schema Information}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3315507.3330201}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-p12-p doi:10.1145/3315507.3330201

Arc: An IR for Batch and Stream Programming
Lars Kroll, Klas Segeljakt, Paris Carbone, Christian Schulte, and Seif Haridi
(KTH, Sweden; RISE SICS, Sweden)


@InProceedings{DBPL19p97, author = {Lars Kroll and Klas Segeljakt and Paris Carbone and Christian Schulte and Seif Haridi}, title = {Arc: An IR for Batch and Stream Programming}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {97-96}, doi = {10.1145/3315507.3330199}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-p7-p doi:10.1145/3315507.3330199

Semantics and Analysis

On the Semantics of Cypher's Implicit Group-by
Filip Murlak, Jan Posiadała, and Paweł Susicki
(University of Warsaw, Poland; Nodes and Edges, Poland)


@InProceedings{DBPL19p104, author = {Filip Murlak and Jan Posiadała and Paweł Susicki}, title = {On the Semantics of Cypher's Implicit Group-by}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {104-103}, doi = {10.1145/3315507.3330196}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-p3-p doi:10.1145/3315507.3330196

Mixing Set and Bag Semantics
Wilmer Ricciotti and James Cheney
(University of Edinburgh, UK; Alan Turing Institute, UK)


@InProceedings{DBPL19p120, author = {Wilmer Ricciotti and James Cheney}, title = {Mixing Set and Bag Semantics}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {120-119}, doi = {10.1145/3315507.3330202}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-p13-p doi:10.1145/3315507.3330202

Language-Integrated Provenance by Trace Analysis
Stefan Fehrenbach and James Cheney
(University of Edinburgh, UK; Alan Turing Institute, UK)


@InProceedings{DBPL19p127, author = {Stefan Fehrenbach and James Cheney}, title = {Language-Integrated Provenance by Trace Analysis}, booktitle = {Proc.\ DBPL}, publisher = {ACM}, pages = {127-126}, doi = {10.1145/3315507.3330198}, year = {2019}, } Publisher's Version Article: pldiws19dbplmain-p6-p doi:10.1145/3315507.3330198

proc time: 0.02