engine: Incremental evaluation of standard Cypher constructions

[szarnyasg]

(Related ticket: #35)

Use this issue to keep track of supported Cypher constructs.

Clauses

• Query constructs
  • MATCH
    • Transitive closure
  • RETURN (Production node)
  • UNWIND
  • OPTIONAL MATCH (left outer join)
  • WITH this is translated to joins in the query plan
  • UNION
• Data manipulation (moved to Implement DML operations #170)
  • CREATE
  • MERGE
  • SET
  • DELETE
  • DETACH DELETE
  • REMOVE
• Procedure calls
  • CALL ... YIELD (as this call may run an arbitrary Java code, there is no way we can handle these incrementally)

Sub-clauses

• Conditions
  • WHERE Translate expressions to functors #43
• Ordering
  • ORDER BY
  • SKIP
  • LIMIT
• Data manipulation (moved to Implement DML operations #170)
  • ON CREATE
  • ON MATCH

Operators

• DISTINCT
• String operations
  • STARTS WITH
  • CONTAINS
  • ENDS WITH
• Arithmetic comparison Translate expressions to functors #43
  • =
  • <>
  • <
  • >
  • <=
  • >=
• Arithmetic operators
  • +
  • -
  • /
  • *
  • ^
  • %
• Logical operators https://github.com/FTSRG/ingraph/tree/master/queries/ldbc-snb
  • NOT
  • AND
  • OR
  • XOR
• NULLs
  • IS NULL
  • IS NOT NULL
• Accessors
  • . (property access) not required as the query plan will be translated to tuples
  • [] (subscript)

Expressions

• List comprehensions (moved to Evaluate list comprehensions #171)
• Pattern comprehensions (moved to Evaluate pattern comprehensions #172)
• Parameters with new syntax ($) (moved to Add support for parameters #85)
• Literals they are just constants
• Aggregation functions
  • avg()
  • count()
  • max()
  • min()
  • sum()
  • collect()

Functions

• Statistical functions
  • stdDev()
  • stdDevP()
  • percentileCont()
  • percentileDisc()
• Predicate functions
  • exists() (moved to Support exists function #174)
• Scalar functions
  • toFloat()
  • head()
  • length()
  • last()
  • size()
  • coalesce()
  • startNode() (moved to Support neighbourhood-like functions #175)
  • endNode() (moved to Support neighbourhood-like functions #175)
  • properties(), (see Support "metaqueries" #53)
  • type() (see Support "metaqueries" #53)
• List functions
  • tail()
  • range()
  • keys() (see Support "metaqueries" #53)
  • labels() (see Support "metaqueries" #53)
  • relationships() (moved to Support neighbourhood-like functions #175)
  • nodes() (moved to Support neighbourhood-like functions #175)
• Numeric functions
  • abs()
  • ceil()
  • floor()
  • rand()
  • round()
  • sign()
• Logarithmic functions
  • e()
  • exp()
  • log()
  • log10()
  • sqrt()
• Trigonometric functions
  • acos()
  • asin()
  • atan()
  • atan2()
  • cos()
  • cot()
  • degrees()
  • pi()
  • radians()
  • sin()
  • tan()
• String functions
  • left()
  • right()
  • trim()
  • lTrim()
  • rTrim()
  • replace()
  • reverse()
  • split()
  • substring()
  • toString()
  • toLower() (lower())
  • toUpper() (upper())
• Not included in Cypher:
  • toBoolean()
  • toInteger() (called toInt())

Types

• primitives
• list
• map
• node
• relationship
• path

[szarnyasg]

Extracted this to other issues. Types will be added along the way (if required by a particular function/feature).