module:
module ::= versionDecl? ( libraryModule | mainModule )
no referencesversionDecl:
versionDecl
::= XQUERY VERSION stringliteral ( ENCODING stringliteral )? separator
referenced by:
module
mainModule:
mainModule
::= prolog queryBody
referenced by:
module
libraryModule:
libraryModule
::= moduleDecl prolog
referenced by:
module
moduleDecl:
moduleDecl
::= MODULE NAMESPACE NCNAME EQUALS uriliteral separator
referenced by:
libraryModule
prolog:
prolog ::= baseDecl? ( ( defaultNamespaceDecl | namespaceDecl | setter | importa ) separator | prefixDecl )* ( ( varDecl | functionDecl | optionDecl ) separator )*
referenced by:
libraryModule
mainModule
setter:
setter ::= boundarySpaceDecl
| defaultCollationDecl
| baseURIDecl
| constructionDecl
| orderingModeDecl
| emptyOrderDecl
| copyNamespacesDecl
referenced by:
prolog
importa:
importa ::= schemaImport
| moduleImport
referenced by:
prolog
separator:
separator
::= SEMICOLON
referenced by:
moduleDecl
prolog
versionDecl
namespaceDecl:
namespaceDecl
::= DECLARE NAMESPACE NCNAME EQUALS QSTRING
referenced by:
prolog
boundarySpaceDecl:
boundarySpaceDecl
::= DECLARE BOUNDARYSPACE ( PRESERVE | STRIP )
referenced by:
setter
defaultNamespaceDecl:
defaultNamespaceDecl
::= DECLARE DEFAULT ( ELEMENT | FUNCTION ) NAMESPACE QSTRING
referenced by:
prolog
optionDecl:
optionDecl
::= DECLARE OPTION qname stringliteral
referenced by:
prolog
orderingModeDecl:
orderingModeDecl
::= DECLARE ORDERING ( ORDERED | UNORDERED )
referenced by:
setter
emptyOrderDecl:
emptyOrderDecl
::= DECLARE DEFAULT ORDER EMPTY ( GREATEST | LEAST )
referenced by:
setter
copyNamespacesDecl:
copyNamespacesDecl
::= DECLARE COPYNAMESPACES^ preserveMode COMMA inheritMode
referenced by:
setter
preserveMode:
preserveMode
::= PRESERVE
| NOPRESERVE
referenced by:
copyNamespacesDecl
inheritMode:
inheritMode
::= INHERIT
| NOINHERIT
referenced by:
copyNamespacesDecl
defaultCollationDecl:
defaultCollationDecl
::= DECLARE DEFAULT COLLATION uriliteral
referenced by:
setter
baseURIDecl:
baseURIDecl
::= DECLARE BASEURI QSTRING
referenced by:
setter
schemaImport:
schemaImport
::= IMPORT SCHEMA schemaPrefix? uriliteral ( AT uriliteral ( COMMA uriliteral )* )?
referenced by:
importa
schemaPrefix:
schemaPrefix
::= NAMESPACE NCNAME EQUALS
| DEFAULT ELEMENT NAMESPACE
referenced by:
schemaImport
moduleImport:
moduleImport
::= IMPORT MODULE ( NAMESPACE NCNAME EQUALS )? uriliteral ( AT uriliteral ( COMMA uriliteral )* )?
referenced by:
importa
varDecl:
varDecl ::= DECLARE VARIABLE VAR typeDeclaration? ( ASSIGN exprSingle | EXTERNAL )
referenced by:
prolog
constructionDecl:
constructionDecl
::= DECLARE CONSTRUCTION ( STRIP | PRESERVE )
referenced by:
setter
functionDecl:
functionDecl
::= DECLARE FUNCTION qname LPAR paramList? RPAR ( AS sequenceType )? ( enclosedExpr | EXTERNAL )
referenced by:
prolog
paramList:
paramList
::= param ( COMMA param )*
referenced by:
functionDecl
param:
param ::= VAR typeDeclaration?
referenced by:
paramList
enclosedExpr:
enclosedExpr
::= LCURLY expr RCURLY
referenced by:
blankConstruct
compAttrConstructor
compCommentConstructor
compDocConstructor
compPIConstructor
constructTemplate
dirAttributeValue
functionDecl
iriConstruct
literalConstruct
sqlAttrSpec
subject_
queryBody:
queryBody
::= exprSingle ( COMMA exprSingle )*
referenced by:
mainModule
expr:
expr ::= exprSingle ( COMMA exprSingle )*
referenced by:
compAttrConstructor
compPIConstructor
contentExpr
enclosedExpr
extensionExpr
ifExpr
iriConstruct
orderedExpr
parenthesizedExpr
predicate
typeSwitchExpr
unorderedExpr
validateExpr
exprSingle:
exprSingle
::= flworExpr
| quantifiedExpr
| typeSwitchExpr
| constructQuery
| orExpr
| ifExpr
referenced by:
caseClause
expr
flworExpr
functionCall
ifExpr
orderSpec
quantifiedExpr
queryBody
singleForClause
singleLetClause
typeSwitchExpr
varDecl
whereClause
flworExpr:
flworExpr
::= CONSTRUCT constructTemplate
| RETURN exprSingle
| forletClause
referenced by:
exprSingle
forletClause:
forletClause
::= FOR ( sparqlForClause | sqlForClause | xqueryForClause whereClause? orderByClause? )
| letClause whereClause? orderByClause?
referenced by:
flworExpr
sparqlForClause:
sparqlForClause
::= DISTINCT? ( sparqlVarOrFunction+ | STAR ) datasetClause* endpointClause? sWhereClause solutionmodifier valuesClause
referenced by:
forletClause
distinctOrReduced:
distinctOrReduced
::= DISTINCT
| REDUCED
no referencesendpointClause:
endpointClause
::= ENDPOINT sourceSelector
referenced by:
sparqlForClause
sparqlVarOrFunction:
sparqlVarOrFunction
::= VAR
| LPAR expression AS VAR RPAR
referenced by:
selectClause
sparqlForClause
xqueryForClause:
xqueryForClause
::= singleForClause ( COMMA singleForClause )*
referenced by:
forletClause
singleForClause:
singleForClause
::= VAR typeDeclaration? positionalVar? IN exprSingle
referenced by:
xqueryForClause
positionalVar:
positionalVar
::= AT VAR
referenced by:
singleForClause
letClause:
letClause
::= LET singleLetClause ( COMMA singleLetClause )*
referenced by:
forletClause
singleLetClause:
singleLetClause
::= VAR typeDeclaration? ASSIGN exprSingle
referenced by:
letClause
whereClause:
whereClause
::= WHERE exprSingle
referenced by:
forletClause
orderByClause:
orderByClause
::= STABLE? ORDER BY orderSpecList
referenced by:
forletClause
orderSpecList:
orderSpecList
::= orderSpec ( COMMA orderSpec )*
referenced by:
orderByClause
orderSpec:
orderSpec
::= exprSingle orderModifier
referenced by:
orderSpecList
orderModifier:
orderModifier
::= ( ASCENDING | DESCENDING )? ( EMPTY ( GREATEST | LEAST ) )? ( COLLATION uriliteral )?
referenced by:
orderSpec
quantifiedExpr:
quantifiedExpr
::= ( SOME | EVERY ) VAR typeDeclaration? IN exprSingle ( COMMA VAR typeDeclaration? IN exprSingle )* SATISFIES exprSingle
referenced by:
exprSingle
typeSwitchExpr:
typeSwitchExpr
::= TYPESWITCH^ LPAR expr RPAR caseClause+ DEFAULT VAR? RETURN exprSingle
referenced by:
exprSingle
caseClause:
caseClause
::= CASE ( VAR AS )? sequenceType RETURN exprSingle
referenced by:
typeSwitchExpr
ifExpr:
ifExpr ::= IF^ LPAR expr RPAR THEN exprSingle ELSE exprSingle
referenced by:
exprSingle
orExpr:
orExpr ::= andExpr ( OR^ andExpr )*
referenced by:
exprSingle
andExpr:
andExpr ::= comparisonExpr ( AND comparisonExpr )*
referenced by:
orExpr
comparisonExpr:
comparisonExpr
::= ( ( valueComp^ | generalComp^ | nodeComp^ ) rangeExpr )?
referenced by:
andExpr
rangeExpr:
rangeExpr
::= additiveExpr ( TO additiveExpr )?
referenced by:
comparisonExpr
additiveExpr:
additiveExpr
::= multiplicativeExpr ( ( PLUS | MINUS ) multiplicativeExpr )*
referenced by:
rangeExpr
multiplicativeExpr:
multiplicativeExpr
::= unionExpr ( ( STAR | DIV | IDIV | MOD ) unionExpr )*
referenced by:
additiveExpr
unionExpr:
unionExpr
::= intersectExceptExpr ( ( UNION | UNIONSYMBOL ) intersectExceptExpr )*
referenced by:
multiplicativeExpr
intersectExceptExpr:
intersectExceptExpr
::= instanceOfExpr ( ( INTERSECT | EXCEPT ) instanceOfExpr )*
referenced by:
unionExpr
instanceOfExpr:
instanceOfExpr
::= treatExpr ( INSTANCE OF sequenceType )?
referenced by:
intersectExceptExpr
treatExpr:
treatExpr
::= castableExpr ( TREAT AS sequenceType )?
referenced by:
instanceOfExpr
castableExpr:
castableExpr
::= castExpr ( CASTABLE AS singleType )?
referenced by:
treatExpr
castExpr:
castExpr ::= unaryExpr ( CAST AS singleType )?
referenced by:
castableExpr
unaryExpr:
unaryExpr
::= ( MINUS | PLUS )* valueExpr
referenced by:
castExpr
valueExpr:
valueExpr
::= pathExpr
| validateExpr
| extensionExpr
referenced by:
unaryExpr
generalComp:
generalComp
::= EQUALS
| LESSTHAN
| GREATERTHAN
| LESSTHANEQUALS
| GREATERTHANEQUALS
| HAFENEQUALS
referenced by:
comparisonExpr
sqlAttrSpecList
valueComp:
valueComp
::= EQ
| NE
| LT
| LE
| GT
| GE
referenced by:
comparisonExpr
nodeComp:
nodeComp ::= LESSTHANLESSTHAN
| GREATERTHANGREATERTHAN
| IS
referenced by:
comparisonExpr
validateExpr:
validateExpr
::= VALIDATE validationMode? LCURLY expr RCURLY
referenced by:
valueExpr
validationMode:
validationMode
::= LAX
| STRICT
referenced by:
validateExpr
extensionExpr:
extensionExpr
::= LCURLY expr? RCURLY
referenced by:
valueExpr
pathExpr:
pathExpr ::= SLASH ( SLASH | relativePathExpr )?
| relativePathExpr
referenced by:
valueExpr
relativePathExpr:
relativePathExpr
::= stepExpr ( SLASH SLASH? stepExpr )*
referenced by:
pathExpr
stepExpr:
stepExpr ::= filterExpr
| axisStep
referenced by:
relativePathExpr
axisStep:
axisStep ::= ( reverseStep | forwardStep ) predicateList
referenced by:
stepExpr
forwardStep:
forwardStep
::= forwardAxis nodeTest
| abbrevForwardStep
referenced by:
axisStep
forwardAxis:
forwardAxis
::= ( CHILD | DESCENDANT | ATTRIBUTE | SELF | DESCENDANTORSELF | FOLLOWINGSIBLING | FOLLOWING ) COLONCOLON
referenced by:
forwardStep
abbrevForwardStep:
abbrevForwardStep
::= AT? nodeTest
referenced by:
forwardStep
reverseStep:
reverseStep
::= reverseAxis nodeTest
| abbrevReverseStep
referenced by:
axisStep
reverseAxis:
reverseAxis
::= ( PARENT | ANCESTOR | PRECEDINGSIBLING | PRECEDING | ANCESTORORSELF ) COLONCOLON
referenced by:
reverseStep
abbrevReverseStep:
abbrevReverseStep
::= DOTDOT
referenced by:
reverseStep
nodeTest:
nodeTest ::= kindTest
| nameTest
referenced by:
abbrevForwardStep
forwardStep
reverseStep
nameTest:
nameTest ::= qname
| wildCard
referenced by:
nodeTest
wildCard:
wildCard ::= STAR ( COLON NCNAME )?
| NCNAME COLON STAR
referenced by:
nameTest
filterExpr:
filterExpr
::= primaryExpr predicateList
referenced by:
stepExpr
predicateList:
predicateList
::= predicate*
referenced by:
axisStep
filterExpr
predicate:
predicate
::= LBRACKET expr RBRACKET
referenced by:
predicateList
primaryExpr:
primaryExpr
::= varRef
| literal
| parenthesizedExpr
| contextItemExpr
| functionCall
| orderedExpr
| unorderedExpr
| constructor
referenced by:
filterExpr
literal:
literal ::= numericliteral
| stringliteral
referenced by:
primaryExpr
sqlAttrSpec
numericliteral:
numericliteral
::= integerLiteral
| decimalLiteral
referenced by:
dataBlockValue
literal
varRef:
varRef ::= VAR
referenced by:
primaryExpr
varName:
varName ::= qname
no referencesparenthesizedExpr:
parenthesizedExpr
::= LPAR expr? RPAR
referenced by:
primaryExpr
contextItemExpr:
contextItemExpr
::= DOT
referenced by:
primaryExpr
orderedExpr:
orderedExpr
::= ORDERED LCURLY expr RCURLY
referenced by:
primaryExpr
unorderedExpr:
unorderedExpr
::= UNORDERED LCURLY expr RCURLY
referenced by:
primaryExpr
functionCall:
functionCall
::= qname LPAR ( exprSingle ( COMMA exprSingle )* )? RPAR
referenced by:
primaryExpr
sqlVarOrFunction
constructor:
constructor
::= directConstructor
| computedConstructor
referenced by:
primaryExpr
directConstructor:
directConstructor
::= dirElemConstructor
referenced by:
constructor
dirElemContent
dirElemConstructor:
dirElemConstructor
::= LESSTHAN qname dirAttributeList ( ENDTAG | GREATERTHAN dirElemContent* ENDELM qname WHITESPACE? GREATERTHAN )
referenced by:
directConstructor
dirAttributeList:
dirAttributeList
::= ( WHITESPACE dirAttribute? )*
referenced by:
dirElemConstructor
dirAttribute:
dirAttribute
::= qname WHITESPACE? EQUALS WHITESPACE? dirAttributeValue
referenced by:
dirAttributeList
dirAttributeValue:
dirAttributeValue
::= enclosedExpr
| QSTRING
referenced by:
dirAttribute
dirElemContent:
dirElemContent
::= directConstructor
| commonContent
| WHITESPACE
| NCNAMEELM
| cDataSection
referenced by:
dirElemConstructor
commonContent:
commonContent
::= ( enclosedExpr_ | LCURLY LCURLY | RCURLY RCURLY )?
referenced by:
dirElemContent
cDataSection:
cDataSection
::= CDATASTART CDATAELMEND
referenced by:
dirElemContent
computedConstructor:
computedConstructor
::= compDocConstructor
| compElemConstructor
| compAttrConstructor
| compTextConstructor
| compCommentConstructor
| compPIConstructor
referenced by:
constructor
compDocConstructor:
compDocConstructor
::= DOCUMENT enclosedExpr
referenced by:
computedConstructor
compElemConstructor:
compElemConstructor
::= ELEMENT ( qname | enclosedExpr_ ) LCURLY contentExpr? RCURLY
referenced by:
computedConstructor
contentExpr:
contentExpr
::= expr
referenced by:
compElemConstructor
compAttrConstructor:
compAttrConstructor
::= ATTRIBUTE ( qname | enclosedExpr ) LCURLY expr? RCURLY
referenced by:
computedConstructor
compTextConstructor:
compTextConstructor
::= TEXT enclosedExpr_
referenced by:
computedConstructor
compCommentConstructor:
compCommentConstructor
::= COMMENT enclosedExpr
referenced by:
computedConstructor
compPIConstructor:
compPIConstructor
::= PROCESSINGINSTRUCTION ( NCNAME | enclosedExpr ) LCURLY expr? RCURLY
referenced by:
computedConstructor
singleType:
singleType
::= atomicType QUESTIONMARK?
referenced by:
castExpr
castableExpr
typeDeclaration:
typeDeclaration
::= AS sequenceType
referenced by:
param
quantifiedExpr
singleForClause
singleLetClause
varDecl
sequenceType:
sequenceType
::= EMPTYSEQUENCE LPAR RPAR
| itemType occurrenceIndicator?
referenced by:
caseClause
functionDecl
instanceOfExpr
treatExpr
typeDeclaration
occurrenceIndicator:
occurrenceIndicator
::= QUESTIONMARK
referenced by:
sequenceType
itemType:
itemType ::= ITEM LPAR RPAR
| atomicType
| kindTest
referenced by:
sequenceType
atomicType:
atomicType
::= qname
referenced by:
itemType
singleType
kindTest:
kindTest ::= documentTest
| elementTest
| attributeTest
| schemaElementTest
| schemaAttributeTest
| piTest
| commentTest
| textTest
| anyKindTest
referenced by:
itemType
nodeTest
anyKindTest:
anyKindTest
::= NODE LPAR RPAR
referenced by:
kindTest
documentTest:
documentTest
::= DOCUMENTNODE LPAR ( elementTest | schemaElementTest )? RPAR
referenced by:
kindTest
textTest:
textTest ::= TEXT LPAR RPAR
referenced by:
kindTest
commentTest:
commentTest
::= COMMENT LPAR RPAR
referenced by:
kindTest
piTest:
piTest ::= PROCESSINGINSTRUCTION LPAR ( NCNAME | stringliteral )? RPAR
referenced by:
kindTest
attributeTest:
attributeTest
::= ATTRIBUTE LPAR ( attributeNameOrWildcard ( COMMA typeName )? )? RPAR
referenced by:
kindTest
attributeNameOrWildcard:
attributeNameOrWildcard
::= attributeName
| STAR
referenced by:
attributeTest
schemaAttributeTest:
schemaAttributeTest
::= SCHEMAATTRIBUTE LPAR attributeDeclaration RPAR
referenced by:
kindTest
attributeDeclaration:
attributeDeclaration
::= attributeName
referenced by:
schemaAttributeTest
elementTest:
elementTest
::= ELEMENT LPAR ( elementNameOrWildcard ( COMMA typeName QUESTIONMARK? )? )? RPAR
referenced by:
documentTest
kindTest
elementNameOrWildcard:
elementNameOrWildcard
::= elementName
| STAR
referenced by:
elementTest
schemaElementTest:
schemaElementTest
::= SCHEMAELEMENT LPAR elementDeclaration RPAR
referenced by:
documentTest
kindTest
elementDeclaration:
elementDeclaration
::= elementName
referenced by:
schemaElementTest
attributeName:
attributeName
::= qname
referenced by:
attributeDeclaration
attributeNameOrWildcard
elementName:
elementName
::= qname
referenced by:
elementDeclaration
elementNameOrWildcard
typeName:
typeName ::= qname
referenced by:
attributeTest
elementTest
uriliteral:
uriliteral
::= stringliteral
referenced by:
defaultCollationDecl
moduleDecl
moduleImport
orderModifier
schemaImport
integerLiteral:
integerLiteral
::= INTEGER
referenced by:
numericliteral
decimalLiteral:
decimalLiteral
::= DECIMAL
referenced by:
numericliteral
stringliteral:
stringliteral
::= QSTRING
referenced by:
literal
optionDecl
piTest
uriliteral
versionDecl
baseDecl:
baseDecl ::= BASE IRIREF
referenced by:
prolog
prefixDecl:
prefixDecl
::= PREFIX PNAME_NS IRIREF
referenced by:
prolog
subSelect:
subSelect
::= selectClause sWhereClause solutionmodifier valuesClause
referenced by:
groupGraphPattern
selectClause:
selectClause
::= SELECT^ ( DISTINCT | REDUCED )? ( sparqlVarOrFunction+ | STAR )
referenced by:
subSelect
constructQuery:
constructQuery
::= CONSTRUCT ( constructTemplate datasetClause* sWhereClause | WHERE LCURLY triplesSameSubject ( DOT triplesSameSubject )* DOT? RCURLY ) solutionmodifier
referenced by:
exprSingle
datasetClause:
datasetClause
::= FROM^ ( defaultGraphClause | namedGraphClause )
referenced by:
constructQuery
sparqlForClause
defaultGraphClause:
defaultGraphClause
::= sourceSelector
referenced by:
datasetClause
namedGraphClause:
namedGraphClause
::= NAMED sourceSelector
referenced by:
datasetClause
sourceSelector:
sourceSelector
::= IRIREF
| VAR
referenced by:
defaultGraphClause
endpointClause
namedGraphClause
sWhereClause:
sWhereClause
::= WHERE groupGraphPattern
referenced by:
constructQuery
sparqlForClause
subSelect
solutionmodifier:
solutionmodifier
::= groupBy? having? orderclause? limitoffsetclauses?
referenced by:
constructQuery
sparqlForClause
subSelect
groupBy:
groupBy ::= GROUP BY groupByCondition+
referenced by:
solutionmodifier
groupByCondition:
groupByCondition
::= builtInCall
| sFunctionCall
| LPAR expression ( AS VAR )? RPAR
| VAR
referenced by:
groupBy
having:
having ::= HAVING havingCondition+
referenced by:
solutionmodifier
havingCondition:
havingCondition
::= constraint
referenced by:
having
orderclause:
orderclause
::= ORDER BY orderCondition+
referenced by:
solutionmodifier
orderCondition:
orderCondition
::= ( ASC | DESC ) brackettedExpression
| constraint
| VAR
referenced by:
orderclause
limitoffsetclauses:
limitoffsetclauses
::= limitclause offsetclause?
| offsetclause limitclause?
referenced by:
solutionmodifier
limitclause:
limitclause
::= LIMIT^ INTEGER
referenced by:
limitoffsetclauses
offsetclause:
offsetclause
::= OFFSET^ INTEGER
referenced by:
limitoffsetclauses
valuesClause:
valuesClause
::= ( VALUES^ dataBlock )?
referenced by:
sparqlForClause
subSelect
groupGraphPattern:
groupGraphPattern
::= LCURLY ( subSelect | groupGraphPatternSub ) RCURLY
referenced by:
existsFunc
graphGraphPattern
groupOrUnionGraphPattern
minusGraphPattern
notExistsFunc
optionalGraphPattern
sWhereClause
serviceGraphPattern
groupGraphPatternSub:
groupGraphPatternSub
::= triplesBlock? ( ( graphPatternNotTriples | filter ) DOT? triplesBlock? )*
referenced by:
groupGraphPattern
triplesBlock:
triplesBlock
::= triplesSameSubjectPath ( DOT triplesSameSubjectPath )* DOT?
referenced by:
groupGraphPatternSub
graphPatternNotTriples:
graphPatternNotTriples
::= optionalGraphPattern
| groupOrUnionGraphPattern
| graphGraphPattern
| minusGraphPattern
| serviceGraphPattern
| bind
| inlineData
referenced by:
groupGraphPatternSub
optionalGraphPattern:
optionalGraphPattern
::= OPTIONAL^ groupGraphPattern
referenced by:
graphPatternNotTriples
graphGraphPattern:
graphGraphPattern
::= GRAPH^ varOrIRIref groupGraphPattern
referenced by:
graphPatternNotTriples
serviceGraphPattern:
serviceGraphPattern
::= SERVICE^ SILENT? varOrIRIref groupGraphPattern
referenced by:
graphPatternNotTriples
bind:
bind ::= BIND^ LPAR expression AS VAR RPAR
referenced by:
graphPatternNotTriples
inlineData:
inlineData
::= VALUES^ dataBlock
referenced by:
graphPatternNotTriples
dataBlock:
dataBlock
::= inlineDataOneVar
| inlineDataFull
referenced by:
inlineData
valuesClause
inlineDataOneVar:
inlineDataOneVar
::= VAR LCURLY dataBlockValue* RCURLY
referenced by:
dataBlock
inlineDataFull:
inlineDataFull
::= ( nil | LPAR VAR+ RPAR ) LCURLY ( LPAR dataBlockValue+ RPAR | nil )* RCURLY
referenced by:
dataBlock
dataBlockValue:
dataBlockValue
::= sparqlPrefixedName
| IRIREF
| rdfLiteral
| numericliteral
| booleanLiteral
| UNDEF
referenced by:
inlineDataFull
inlineDataOneVar
minusGraphPattern:
minusGraphPattern
::= MINUS^ groupGraphPattern
referenced by:
graphPatternNotTriples
groupOrUnionGraphPattern:
groupOrUnionGraphPattern
::= groupGraphPattern ( UNION groupGraphPattern )*
referenced by:
graphPatternNotTriples
filter:
filter ::= FILTER^ constraint
referenced by:
groupGraphPatternSub
constraint:
constraint
::= brackettedExpression
| builtInCall
| sFunctionCall
referenced by:
filter
havingCondition
orderCondition
sFunctionCall:
sFunctionCall
::= iRIref arglist
referenced by:
constraint
groupByCondition
arglist:
arglist ::= LPAR ( expression ( COMMA expression )* )? RPAR
referenced by:
iRIrefOrFunction
sFunctionCall
expressionList:
expressionList
::= nil
| LPAR expression ( COMMA expression )* RPAR
referenced by:
builtInCall
relationalExpression
constructTemplate:
constructTemplate
::= LCURLY ( ( ( triplesSameSubject_ | enclosedExpr ) DOT )* ( triplesSameSubject_ DOT? | enclosedExpr ) )? RCURLY
referenced by:
constructQuery
flworExpr
triplesSameSubject:
triplesSameSubject
::= subject propertyListNotEmpty
| triplesNode propertyListNotEmpty?
referenced by:
constructQuery
triplesSameSubject_:
triplesSameSubject_
::= subject_ propertyListNotEmpty_
| triplesNode_ propertyListNotEmpty_?
referenced by:
constructTemplate
propertyListNotEmpty:
propertyListNotEmpty
::= verb objectList ( SEMICOLON ( verb objectList )? )*
referenced by:
blankNodePropertyList
triplesSameSubject
propertyListNotEmpty_:
propertyListNotEmpty_
::= verb_ objectList_ ( SEMICOLON ( verb_ objectList_ )? )*
referenced by:
blankNodePropertyList_
triplesSameSubject_
verb:
verb ::= varOrIRIref
| A
referenced by:
propertyListNotEmpty
verb_:
verb_ ::= varOrIRIref_
| A
referenced by:
propertyListNotEmpty_
objectList:
objectList
::= object ( COMMA object )*
referenced by:
propertyListNotEmpty
propertyListPathNotEmptySub
objectList_:
objectList_
::= object_ ( COMMA object_ )*
referenced by:
propertyListNotEmpty_
object:
object ::= resource
| blank
| rdfLiteral
| sNumericLiteral
| triplesNode
| literalConstruct
referenced by:
objectList
object_:
object_ ::= graphNode_ quad?
referenced by:
objectList_
quad:
quad ::= iri
| literal_
referenced by:
object_
literal_:
literal_ ::= literalConstruct
| rdfLiteral
referenced by:
quad
triplesSameSubjectPath:
triplesSameSubjectPath
::= subject propertyListPathNotEmpty
| triplesNodePath propertyListPathNotEmpty?
referenced by:
triplesBlock
propertyListPathNotEmpty:
propertyListPathNotEmpty
::= vp objectListPath propertyListPathNotEmptySub*
referenced by:
blanckNodePropertyListPath
triplesSameSubjectPath
propertyListPathNotEmptySub:
propertyListPathNotEmptySub
::= SEMICOLON ( vp objectList )?
referenced by:
propertyListPathNotEmpty
vp:
vp ::= verbPath
| verbSimple
referenced by:
propertyListPathNotEmpty
propertyListPathNotEmptySub
verbPath:
verbPath ::= path
referenced by:
vp
verbSimple:
verbSimple
::= VAR
referenced by:
vp
objectListPath:
objectListPath
::= objectPath ( COMMA objectPath )*
referenced by:
propertyListPathNotEmpty
objectPath:
objectPath
::= graphNodePath
referenced by:
objectListPath
path:
path ::= pathAlternative
referenced by:
pathPrimary
verbPath
pathAlternative:
pathAlternative
::= pathSequence ( UNIONSYMBOL pathSequence )*
referenced by:
path
pathSequence:
pathSequence
::= pathEltOrInverse ( SLASH pathEltOrInverse )*
referenced by:
pathAlternative
pathElt:
pathElt ::= pathPrimary pathMod?
referenced by:
pathEltOrInverse
pathEltOrInverse:
pathEltOrInverse
::= CARET? pathElt
referenced by:
pathSequence
pathMod:
pathMod ::= QUESTIONMARK
| STAR
| PLUS
referenced by:
pathElt
pathPrimary:
pathPrimary
::= iRIref
| A
| NOT pathNegatedPropertySet
| LPAR path RPAR
referenced by:
pathElt
pathNegatedPropertySet:
pathNegatedPropertySet
::= pathOneInPropertySet
| LPAR ( pathOneInPropertySet ( UNIONSYMBOL pathOneInPropertySet )* )? RPAR
referenced by:
pathPrimary
pathOneInPropertySet:
pathOneInPropertySet
::= CARET? ( iRIref | A )
referenced by:
pathNegatedPropertySet
triplesNode:
triplesNode
::= collection
| blankNodePropertyList
referenced by:
graphNode
object
triplesSameSubject
triplesNode_:
triplesNode_
::= collection_
| blankNodePropertyList_
referenced by:
graphNode_
triplesSameSubject_
blankNodePropertyList:
blankNodePropertyList
::= LBRACKET propertyListNotEmpty RBRACKET
referenced by:
triplesNode
blankNodePropertyList_:
blankNodePropertyList_
::= LBRACKET propertyListNotEmpty_ RBRACKET
referenced by:
triplesNode_
triplesNodePath:
triplesNodePath
::= collectionPath
| blanckNodePropertyListPath
referenced by:
graphNodePath
triplesSameSubjectPath
blanckNodePropertyListPath:
blanckNodePropertyListPath
::= LBRACKET propertyListPathNotEmpty RBRACKET
referenced by:
triplesNodePath
collection:
collection
::= LPAR graphNode+ RPAR
referenced by:
triplesNode
collection_:
collection_
::= LPAR graphNode_+ RPAR
referenced by:
triplesNode_
collectionPath:
collectionPath
::= LPAR graphNodePath+ RPAR
referenced by:
triplesNodePath
graphNode:
graphNode
::= varOrTerm
| triplesNode
referenced by:
collection
graphNode_:
graphNode_
::= varOrTerm_
| triplesNode_
referenced by:
collection_
object_
graphNodePath:
graphNodePath
::= VAR
| graphTerm
| triplesNodePath
referenced by:
collectionPath
objectPath
varOrTerm:
varOrTerm
::= VAR
| graphTerm
referenced by:
graphNode
varOrTerm_:
varOrTerm_
::= VAR
| iriConstruct
| literalConstruct
| graphTerm_
referenced by:
graphNode_
literalConstruct:
literalConstruct
::= enclosedExpr ( AT enclosedExpr | CARET CARET iri )?
| ( INTEGER | QSTRING ) ( AT enclosedExpr | CARET CARET iriConstruct )
referenced by:
literal_
object
varOrTerm_
varOrIRIref:
varOrIRIref
::= VAR
| iRIref
referenced by:
graphGraphPattern
serviceGraphPattern
verb
varOrIRIref_:
varOrIRIref_
::= VAR
| iRIref
| iriConstruct
referenced by:
verb_
iriConstruct:
iriConstruct
::= LESSTHANLCURLY expr RCURLYGREATERTHAN
| enclosedExpr ( COLON enclosedExpr | OLON? qname )
| qname COLON enclosedExpr
referenced by:
iri
literalConstruct
subject_
varOrIRIref_
varOrTerm_
graphTerm:
graphTerm
::= iRIref
| rdfLiteral
| sNumericLiteral
| booleanLiteral
| blankNode
| nil
referenced by:
graphNodePath
varOrTerm
graphTerm_:
graphTerm_
::= rdfLiteral
| sNumericLiteral
| booleanLiteral
| blankNode
| blankConstruct
referenced by:
varOrTerm_
blankConstruct:
blankConstruct
::= BNODE_CONSTRUCT enclosedExpr
referenced by:
graphTerm_
subject_
expression:
expression
::= conditionalOrExpression
referenced by:
aggregate
arglist
bind
brackettedExpression
builtInCall
expressionList
groupByCondition
regexExpression
sparqlVarOrFunction
strReplaceExpression
substringExpression
conditionalOrExpression:
conditionalOrExpression
::= conditionalAndExpression ( ORSYMBOL^ conditionalAndExpression )*
referenced by:
expression
conditionalAndExpression:
conditionalAndExpression
::= valueLogical ( ANDSYMBOL^ valueLogical )*
referenced by:
conditionalOrExpression
valueLogical:
valueLogical
::= relationalExpression
referenced by:
conditionalAndExpression
relationalExpression:
relationalExpression
::= numericExpression ( ( EQUALS | HAFENEQUALS | LESSTHAN | GREATERTHAN | LESSTHANEQUALS | GREATERTHANEQUALS ) numericExpression | NOTKW? IN expressionList )?
referenced by:
valueLogical
numericExpression:
numericExpression
::= additiveExpression
referenced by:
relationalExpression
additiveExpression:
additiveExpression
::= multiplicativeExpression ( ( PLUS^ | MINUS^ ) multiplicativeExpression )*
referenced by:
numericExpression
multiplicativeExpression:
multiplicativeExpression
::= unaryExpression ( ( STAR^ | SLASH^ ) unaryExpression )*
referenced by:
additiveExpression
unaryExpression:
unaryExpression
::= ( NOT | PLUS | MINUS )? primaryExpression
referenced by:
multiplicativeExpression
primaryExpression:
primaryExpression
::= brackettedExpression
| builtInCall
| iRIrefOrFunction
| rdfLiteral
| sNumericLiteral
| booleanLiteral
| VAR
| BLANK_NODE_LABEL
| LBRACKET RBRACKET
referenced by:
unaryExpression
brackettedExpression:
brackettedExpression
::= LPAR expression RPAR
referenced by:
constraint
orderCondition
primaryExpression
builtInCall:
builtInCall
::= ( ( ( STR | LANG | DATATYPE | ISIRI | ISURI | ISBLANK | ISLITERAL | IRI | URI | ABS | CEIL | FLOOR | ROUND | STRLEN | UCASE | LCASE | ENCODE_FOR_URI | YEAR | MONTH | DAY | HOURS | MINUTES | SECONDS | TIMEZONE | TZ | MD5 | SHA1 | SHA256 | SHA384 | SHA512 | ISNUMERIC ) LPAR | ( ( LANGMATCHES | CONTAINS | STRSTARTS | STRENDS | STRBEFORE | STRAFTER | STRLANG | STRDT | SAME_TERM ) LPAR | IF LPAR expression COMMA ) expression COMMA ) expression | BOUND LPAR VAR ) RPAR
| regexExpression
| BNODE ( LPAR expression RPAR | nil )
| ( RAND | NOW | UID | STRUUID ) nil
| ( CONCAT | COALESCE ) expressionList
| substringExpression
| strReplaceExpression
| aggregate
| existsFunc
| notExistsFunc
referenced by:
constraint
groupByCondition
primaryExpression
regexExpression:
regexExpression
::= REGEX LPAR expression COMMA expression ( COMMA expression )? RPAR
referenced by:
builtInCall
substringExpression:
substringExpression
::= SUBSTR LPAR expression COMMA expression ( COMMA expression )? RPAR
referenced by:
builtInCall
strReplaceExpression:
strReplaceExpression
::= REPLACE LPAR expression COMMA expression COMMA expression ( COMMA expression )? RPAR
referenced by:
builtInCall
existsFunc:
existsFunc
::= EXISTS groupGraphPattern
referenced by:
builtInCall
notExistsFunc:
notExistsFunc
::= NOTKW^ EXISTS groupGraphPattern
referenced by:
builtInCall
aggregate:
aggregate
::= ( COUNT LPAR DISTINCT? ( STAR | expression ) | ( SUM | MIN | MAX | AVG | SAMPLE ) LPAR DISTINCT? expression | GROUP_CONCAT LPAR DISTINCT? expression ( SEMICOLON SEPARATOR EQUALS string )? ) RPAR
referenced by:
builtInCall
iRIrefOrFunction:
iRIrefOrFunction
::= iRIref arglist?
referenced by:
primaryExpression
rdfLiteral:
rdfLiteral
::= QSTRING ( AT NCNAME | CARET CARET ( IRIREF | PNAME_LN ) )?
referenced by:
dataBlockValue
graphTerm
graphTerm_
literal_
object
primaryExpression
sNumericLiteral:
sNumericLiteral
::= ( PLUS | MINUS )? ( INTEGER | DECIMAL | DOUBLET )
referenced by:
graphTerm
graphTerm_
object
primaryExpression
booleanLiteral:
booleanLiteral
::= TRUE
| FALSE
referenced by:
dataBlockValue
graphTerm
graphTerm_
primaryExpression
string:
string ::= QSTRING
referenced by:
aggregate
iRIref:
iRIref ::= IRIREF
| prefixedName
referenced by:
graphTerm
iRIrefOrFunction
pathOneInPropertySet
pathPrimary
sFunctionCall
varOrIRIref
varOrIRIref_
prefixedName:
prefixedName
::= PNAME_LN
| PNAME_NS
referenced by:
iRIref
qname
blankNode:
blankNode
::= blank
referenced by:
graphTerm
graphTerm_
blank:
blank ::= bnode
| LBRACKET RBRACKET
referenced by:
blankNode
object
subject
subject_
nil:
nil ::= LPAR RPAR
referenced by:
builtInCall
expressionList
graphTerm
inlineDataFull
subject_:
subject_ ::= resource
| iriConstruct
| blank
| blankConstruct
| enclosedExpr
referenced by:
triplesSameSubject_
subject:
subject ::= resource
| blank
referenced by:
triplesSameSubject
triplesSameSubjectPath
iri:
iri ::= PNAME_LN
| IRIREF
| iriConstruct
referenced by:
literalConstruct
quad
resource:
resource ::= sparqlPrefixedName
| VAR
| IRIREF
referenced by:
object
rdfPredicate
subject
subject_
rdfPredicate:
rdfPredicate
::= resource
no referencesbnode:
bnode ::= BLANK_NODE_LABEL
referenced by:
blank
sparqlPrefixedName:
sparqlPrefixedName
::= PNAME_LN
| PNAME_NS
referenced by:
dataBlockValue
resource
qname:
qname ::= prefixedName
| unprefixedName
| COUNT
| MAX
| MIN
| AVG
| SUM
| SAMPLE
| NOTKW
| EXISTS
referenced by:
atomicType
attributeName
compAttrConstructor
compElemConstructor
dirAttribute
dirElemConstructor
elementName
functionCall
functionDecl
iriConstruct
nameTest
optionDecl
relationAlias
relationClause
sqlAttrSpec
sqlVarOrFunction
typeName
varName
keyword:
keyword ::= ITEM
| TO
| FROM
| COMMENT
| ROW
| NODE
| A
referenced by:
localPart
unprefixedName:
unprefixedName
::= localPart
referenced by:
qname
localPart:
localPart
::= NCNAME
| keyword
referenced by:
unprefixedName
sqlForClause:
sqlForClause
::= FOR DISTINCT? ( STAR | sqlVarOrFunctionList | ROW VAR ) relationClause sqlWhereClause?
referenced by:
forletClause
sqlVarOrFunctionList:
sqlVarOrFunctionList
::= sqlVarOrFunction [false] ( COMMA sqlVarOrFunction [true] )*
referenced by:
sqlForClause
sqlVarOrFunction:
sqlVarOrFunction
::= qname
| LPAR functionCall AS VAR RPAR
| VAR
referenced by:
sqlVarOrFunctionList
relationClause:
relationClause
::= FROM ( rdbSourceSelector ( COMMA rdbSourceSelector )* | qname LPAR rdbSourceSelectorFunctionParams? RPAR )
referenced by:
sqlForClause
rdbSourceSelectorFunctionParams:
rdbSourceSelectorFunctionParams
::= rdbSourceSelector ( COMMA rdbSourceSelector )*
| QSTRING
referenced by:
relationClause
rdbSourceSelector:
rdbSourceSelector
::= relationSchemaName relationAlias?
referenced by:
rdbSourceSelectorFunctionParams
relationClause
relationSchemaName:
relationSchemaName
::= relationAlias ( DOT relationAlias )?
referenced by:
rdbSourceSelector
relationAlias:
relationAlias
::= qname
| VAR
referenced by:
rdbSourceSelector
relationSchemaName
sqlWhereClause:
sqlWhereClause
::= WHERE^ sqlWhereSpecList
referenced by:
sqlForClause
sqlWhereSpecList:
sqlWhereSpecList
::= sqlAttrSpecList ( sqlBooleanOp sqlAttrSpecList )*
referenced by:
sqlAttrSpecList
sqlWhereClause
sqlAttrSpecList:
sqlAttrSpecList
::= sqlAttrSpec generalComp sqlAttrSpec
| LPAR sqlWhereSpecList RPAR
referenced by:
sqlWhereSpecList
sqlBooleanOp:
sqlBooleanOp
::= AND
| OR
referenced by:
sqlWhereSpecList
sqlAttrSpec:
sqlAttrSpec
::= qname
| VAR
| literal
| enclosedExpr
referenced by:
sqlAttrSpecList
... generated by Railroad Diagram Generator