Sun 23 Jun 2019 15:10 - 15:30 at 106C - Semantics and Analysis (part 1)

Cypher is a declarative query language for the property graph model, created by Neo Technology for its graph database Neo4j and opened up through the openCypher initiative in 2015. Despite having been adopted by several graph database vendors, Cypher lacks a comprehensive semantics other than the reference implementation. This paper stems from Cypher.PL, a project aimed at creating an executable (and readable) semantics of Cypher in Prolog, and focuses on Cypher’s implicit group-by feature. Rather than being explicitly specified in the query, in Cypher the grouping key is derived from the return expressions. We show how this becomes problematic when a single return expression mixes unaggregated property references and aggregating functions, and discuss ways of giving this construct a proper semantics without defying common sense.

Sun 23 Jun

dbpl-2019-papers
15:10 - 15:30: DBPL 2019 - Semantics and Analysis (part 1) at 106C
dbpl-2019-papers15:10 - 15:30
Talk
Filip MurlakUniversity of Warsaw, Jan PosiadałaNodes and Edges, Paweł SusickiNodes and Edges