Merge branch 'feature/sparql-values' into feature/values-pattern

resources/sparql.bnf

@@ -3,16 +3,17 @@ UpdateUnit ::= Update
 Prologue ::= ( BaseDecl | PrefixDecl )*
 BaseDecl ::= <'BASE'> WS IRIREF
 PrefixDecl ::= <'PREFIX'> WS PNAME_NS WS IRIREF
-SelectQuery ::= WS SelectClause WS DatasetClause* WS WhereClause WS SolutionModifier WS
+SelectQuery ::= WS SelectClause WS DatasetClause WS WhereClause WS SolutionModifier WS
 SubSelect ::= SelectClause WhereClause SolutionModifier ValuesClause
 SelectClause ::= WS <'SELECT'> WS ( 'DISTINCT' | 'REDUCED')? ( ( WS ( Var | ( <'('> Expression WS 'AS' WS Var <')'> ) ) )+ | ( WS '*' ) )
-ConstructQuery	  ::=  	'CONSTRUCT' ( ConstructTemplate DatasetClause* WhereClause SolutionModifier | DatasetClause* 'WHERE' '{' TriplesTemplate? '}' SolutionModifier )
-DescribeQuery	  ::=  	'DESCRIBE' ( VarOrIri+ | '*' ) DatasetClause* WhereClause? SolutionModifier
-AskQuery	  ::=  	'ASK' DatasetClause* WhereClause SolutionModifier
-Modifiers ::= (ValuesClause? | PrettyPrint? ) (PrettyPrint? | ValuesClause? )
-DatasetClause	  ::=  	<'FROM'> WS ( DefaultGraphClause | NamedGraphClause )
+ConstructQuery	  ::=  	'CONSTRUCT' ( ConstructTemplate DatasetClause WhereClause SolutionModifier | DatasetClause 'WHERE' '{' TriplesTemplate? '}' SolutionModifier )
+DescribeQuery	  ::=  	'DESCRIBE' ( VarOrIri+ | '*' ) DatasetClause WhereClause? SolutionModifier
+AskQuery	  ::=  	'ASK' DatasetClause WhereClause SolutionModifier
+Modifiers         ::= (ValuesClause? | PrettyPrint? ) (PrettyPrint? | ValuesClause? )
+DatasetClause     ::= FromClause*
+<FromClause>      ::= <'FROM'> WS ( DefaultGraphClause | NamedGraphClause )
 DefaultGraphClause	  ::=  	SourceSelector
-NamedGraphClause	  ::=  	<'NAMED'> SourceSelector
+NamedGraphClause	  ::=  	<'NAMED'> WS SourceSelector
 <SourceSelector>	  ::=  	iri
 WhereClause	  ::=  	<'WHERE'?> WS GroupGraphPattern WS
 SolutionModifier	  ::=  	GroupClause? HavingClause? OrderClause? LimitOffsetClauses?
@@ -56,13 +57,15 @@ GroupGraphPatternSub	  ::=  WS TriplesBlock? ( GraphPatternNotTriples WS <'.'?>
 TriplesBlock	  ::=  WS TriplesSameSubjectPath WS ( <'.'> TriplesBlock? WS )?
 GraphPatternNotTriples	  ::=  	GroupOrUnionGraphPattern | OptionalGraphPattern | MinusGraphPattern | GraphGraphPattern | ServiceGraphPattern | Filter | Bind | InlineData
 OptionalGraphPattern	  ::=  	<'OPTIONAL'> GroupGraphPattern
-GraphGraphPattern	  ::=  	'GRAPH' VarOrIri GroupGraphPattern
-ServiceGraphPattern	  ::=  	'SERVICE' 'SILENT'? VarOrIri GroupGraphPattern
+GraphGraphPattern	  ::=  	<'GRAPH'> WS VarOrIri WS GroupGraphPattern
+ServiceGraphPattern	  ::=  	<'SERVICE'> WS 'SILENT'? WS VarOrIri GroupGraphPattern
 Bind	  ::=  	<'BIND' WS '(' WS>  Expression <WS 'AS' WS> Var <WS ')' WS>
 InlineData	  ::=  	<'VALUES'> WS DataBlock
 <DataBlock>	  ::=  	InlineDataOneVar | InlineDataFull
 InlineDataOneVar	  ::=  	Var <'{'> WS DataBlockValue* <'}'>
-InlineDataFull	  ::=  	( NIL | '(' Var* ')' ) '{' ( '(' DataBlockValue* ')' | NIL )* '}'
+InlineDataFull ::= ( NIL | VarList ) WS <'{'> WS ( ValueList WS | NIL )* <'}'>
+VarList ::= ( <'('> Var* <')'> )
+ValueList ::= ( <'('> WS DataBlockValue* <')'> )
 DataBlockValue	  ::=  	iri | RDFLiteral | NumericLiteral | BooleanLiteral | 'UNDEF' WS
 MinusGraphPattern	  ::=  	'MINUS' GroupGraphPattern
 GroupOrUnionGraphPattern	  ::=  	GroupGraphPattern ( <'UNION'> GroupGraphPattern )*
@@ -76,7 +79,7 @@ ConstructTriples	  ::=  	TriplesSameSubject ( '.' ConstructTriples? )?
 TriplesSameSubject	  ::=  	VarOrTerm PropertyListNotEmpty | TriplesNode PropertyList
 PropertyList	  ::=  	PropertyListNotEmpty?
 PropertyListNotEmpty	  ::=  	Verb ObjectList ( <';'>  WS ( Verb ObjectList )? )*
-Verb	  ::=  	VarOrIri | 'a'
+Verb	  ::=  	VarOrIri | Type
 ObjectList	  ::=  	Object ( <','> WS Object )*
 Object	  ::=  	GraphNode
 TriplesSameSubjectPath	  ::=  	VarOrTerm PropertyListPathNotEmpty | TriplesNodePath PropertyListPath WS
@@ -92,9 +95,9 @@ PathSequence	  ::=  	PathEltOrInverse ( <'/'> PathEltOrInverse )*
 <PathElt>	  ::=  	PathPrimary PathMod?
 <PathEltOrInverse>	  ::=  	PathElt | <'^'> PathElt
 PathMod	  ::=  	'?' | '*' | ('+' INTEGER?) WS
-PathPrimary	  ::=  	iri | 'a' | '!' PathNegatedPropertySet | '(' Path ')'
+PathPrimary	  ::=  	iri | Type | '!' PathNegatedPropertySet | '(' Path ')'
 PathNegatedPropertySet	  ::=  	PathOneInPropertySet | '(' ( PathOneInPropertySet ( '|' PathOneInPropertySet )* )? ')'
-PathOneInPropertySet	  ::=  	iri | 'a' | '^' ( iri | 'a' )
+PathOneInPropertySet	  ::=  	iri | Type | '^' ( iri | Type )
 Integer	  ::=  	INTEGER
 TriplesNode	  ::=  	Collection | BlankNodePropertyList
 BlankNodePropertyList	  ::=  	'[' PropertyListNotEmpty ']'
@@ -105,14 +108,15 @@ CollectionPath	  ::=  	'(' GraphNodePath+ ')'
 <GraphNode>	  ::=  	VarOrTerm | TriplesNode
 <GraphNodePath>	  ::=  	VarOrTerm | TriplesNodePath
 <VarOrTerm>	  ::=  	Var | GraphTerm WS
-VarOrIri	  ::=  	Var | iri WS
+<VarOrIri>	  ::=  	Var | iri WS
 Var	  ::=  	VAR1 WS | VAR2 WS
+<Type> ::= (WS 'a' WS)
 <GraphTerm>	  ::=  	iri | RDFLiteral | NumericLiteral | BooleanLiteral | BlankNode | NIL
 Expression	  ::=  	WS ConditionalOrExpression WS
-<ConditionalOrExpression>	  ::=  	ConditionalAndExpression ( <'||'> ConditionalAndExpression )*
-<ConditionalAndExpression>	  ::=  	ValueLogical ( <'&&'> ValueLogical )*
+ConditionalOrExpression ::= ConditionalAndExpression ( <'||'> ConditionalAndExpression )*
+ConditionalAndExpression ::= ValueLogical ( <'&&'> ValueLogical )*
 <ValueLogical>	  ::=  	RelationalExpression
-RelationalExpression	  ::=  	NumericExpression WS ( '=' NumericExpression | '!=' NumericExpression | '<' NumericExpression | '>' NumericExpression | '<=' NumericExpression | '>=' NumericExpression | 'IN' ExpressionList | 'NOT' 'IN' ExpressionList )?
+RelationalExpression	  ::=  	NumericExpression WS ( '=' NumericExpression | '!=' NumericExpression | '<' NumericExpression | '>' NumericExpression | '<=' NumericExpression | '>=' NumericExpression | 'IN' WS ExpressionList | 'NOT' WS 'IN' WS ExpressionList )?
 NumericExpression	  ::=  	WS AdditiveExpression WS
 
 <AdditiveExpression>	  ::=  	MultiplicativeExpression ( '+' MultiplicativeExpression | '-' MultiplicativeExpression | ( NumericLiteralPositive | NumericLiteralNegative ) ( ( '*' UnaryExpression ) | ( '/' UnaryExpression ) )* )*
@@ -188,7 +192,7 @@ RegexExpression   ::=   <'REGEX'> <'('> Expression <','> Expression ( <','> Expr
 SubstringExpression   ::=   <'SUBSTR'> <'('> Expression <','> Expression ( <','> Expression )? <')'>
 StrReplaceExpression    ::=   <'REPLACE'> <'('> Expression <','> Expression <','> Expression ( <','> Expression )? <')'>
 ExistsFunc    ::=   <'EXISTS'> GroupGraphPattern
-NotExistsFunc   ::=   <'NOT'> <'EXISTS'> GroupGraphPattern
+NotExistsFunc   ::=   <'NOT'> WS <'EXISTS'> GroupGraphPattern
 Aggregate   ::=     'COUNT' WS <'('> WS 'DISTINCT'? WS ( '*' | Expression ) WS <')'> WS
 | 'SUM' WS <'('> WS 'DISTINCT'? Expression <')'>
 | 'MIN' <'('>  WS 'DISTINCT'? Expression <')'>
@@ -214,7 +218,7 @@ IRIREF	  ::=  	#"<[^<>\"{}|^`\x00-\x20]*>" WS
 BLANK_NODE_LABEL	  ::=  	'_:' ( PN_CHARS_U | #"[0-9]" ) ((PN_CHARS|'.')* PN_CHARS)?
 <VAR1>	  ::=  	<'?'> VARNAME
 <VAR2>	  ::=  	<'$'> VARNAME
-LANGTAG	  ::=  	#"@[a-zA-Z]+-[a-zA-Z0-9]*" WS
+LANGTAG ::= #"@[a-zA-Z]+(-[a-zA-Z0-9]+)*" WS
 <INTEGER>	  ::=  	#"[0-9]+"
 <DECIMAL>	  ::=  #"[0-9]*\.[0-9]*"
 <DOUBLE>	  ::=  	#"[0-9]+\.[0-9]*|(\.[0-9]+)|([0-9]+)" EXPONENT

src/clj/fluree/db/query/exec/eval.cljc

@@ -285,9 +285,13 @@
   [x]
   (str x))
 
+(defn in
+  [term expressions]
+  (contains? (set expressions) term))
+
 (def allowed-scalar-fns
   '#{&& || ! > < >= <= = + - * / quot and bound coalesce if lang nil? as
-     not not= or re-find re-pattern
+     not not= or re-find re-pattern in
      ;; string fns
      strStarts strEnds subStr strLen ucase lcase contains strBefore strAfter concat regex replace
      ;; numeric fns
@@ -320,6 +324,7 @@
     count          clojure.core/count
     floor          fluree.db.query.exec.eval/floor
     groupconcat    fluree.db.query.exec.eval/groupconcat
+    in             fluree.db.query.exec.eval/in
     lang           fluree.db.query.exec.eval/lang
     lcase          fluree.db.query.exec.eval/lcase
     median         fluree.db.query.exec.eval/median

src/clj/fluree/db/query/exec/where.cljc

@@ -534,6 +534,20 @@
       (dataset/activate alias)
       (match-clause fuel-tracker solution clause error-ch)))
 
+(defmethod match-pattern :exists
+  [ds fuel-tracker solution pattern error-ch]
+  (let [clause (pattern-data pattern)]
+    (go
+      (when (async/<! (match-clause ds fuel-tracker solution clause error-ch))
+        solution))))
+
+(defmethod match-pattern :not-exists
+  [ds fuel-tracker solution pattern error-ch]
+  (let [clause (pattern-data pattern)]
+    (go
+      (when-not (async/<! (match-clause ds fuel-tracker solution clause error-ch))
+        solution))))
+
 (defmethod match-pattern :graph
   [ds fuel-tracker solution pattern error-ch]
   (let [[g clause] (pattern-data pattern)]

src/clj/fluree/db/query/fql/parse.cljc

@@ -417,6 +417,14 @@
   (let [[_vars solutions] (parse-values values context)]
     [(where/->pattern :values solutions)]))
 
+(defmethod parse-pattern :exists
+  [[_ patterns] vars context]
+  [(where/->pattern :exists (parse-where-clause patterns vars context))])
+
+(defmethod parse-pattern :not-exists
+  [[_ patterns] vars context]
+  [(where/->pattern :not-exists (parse-where-clause patterns vars context))])
+
 (defmethod parse-pattern :graph
   [[_ graph where] vars context]
   (let [graph* (or (parse-variable graph)