Index

A

Abort — 5.18, 19.3

Absent property — 5.6

Access control — 5.19, Chapter 20

Active constraint set — 5.15, 16.2

Active context — 5.3, 17.1

Acyclic path — 5.7

Add label — 5.14

Additional status code — 5.20, 21.2

Admissibility filter — 5.8

Aggregate function — 5.13, 12.1

Aggregator — 5.13, 12.1

Alternation — 5.9, 7.3

Anonymous path — 5.8

Anti-join — 5.11

Approximate LIMIT — 5.13, 13.3

Assignment — 5.3

Atomicity — 5.18, 19.1

Authorization — 5.19, Chapter 20

Authorization check — 5.19, 20.2

Authorization identifier — 5.19, 20.1

Authorization state — 5.19, 20.1

Authorization target — 5.19, 20.1

Authorization-identifier-indexed semantics — 5.19, 20.3

AVG — 12.1

B

Bag (multiset) — 5.4

Bag cardinality — 5.4

Bag difference — 5.11

Bag intersection — 5.11

Bag semantics — 5.11

Bag union — 5.11

Base type — 5.4

Base universes — 6.3

Binding — 5.1

Binding table — 5.4, 7.5

Binding table descriptor — 5.4

Binding table type — 5.4

Binding variable — 5.4

Body-equivalence — 5.15

Boolean type — 5.4

Bound insert element pattern — 5.14

Boundary variable — 5.10

Bounded repetition — 5.9

BT — 6.1, 7.5

Byte string type — 5.4

C

CALL — 18.2

Candidate set — 5.8, 11.2

Cast — 5.6, 8.2

Catalog — 5.3, 14.1, 17.1

Catalog entry — 5.3, 17.1

Catalog object — 5.3

Catalog-modifying procedure — 5.17

Character string type — 5.4

Closed graph — 5.2

Closed record type — 5.4

Coalescing — 5.14, 14.4

Collation — 5.13, 13.1

COLLECT_LIST — 12.1

Collection type — 5.4, 15.2

Column — 5.4

Column name-equal — 5.11

Column-combinable — 5.11

Command — 5.1, 19.1

Commit — 5.18, 19.1

Common type — 5.11

Comparable values — 5.4

Comparison — 5.5

Compatible mappings — 5.1

Completion condition — 5.20, 21.2

Complexity — 23.1

Composite — 6.3

Composite query — 5.12, 9.6

Computed path — 5.7

Concatenation — 5.9, 7.3, 10.1

Concurrency error — 5.20, 21.3

Condition — 5.20, 21.2

Conditional exposure — 5.10

Conformance — 5.2

Connective — 5.5, 8.3

Constraining graph type — 5.2, 15.5

Constraint — 5.2, 16.1

Constraint body — 5.15

Constraint descriptor — 5.15

Constraint dictionary — 5.2

Constraint enforcement — 5.15, 16.2

Constraint error — 5.20, 21.3

Constraint graph pattern — 5.15

Constraint normal form — 5.15

Constraint scope — 5.15

Constraint specification — 5.15

Constraint-preserving execution — 5.16

Constructed value type — 5.4

Continuous query — 22.3, 23.2

Correlated optional expansion — 5.11

Correlated subquery — 5.12, 9.4

COUNT — 12.1

CREATE GRAPH — 14.1

CREATE GRAPH TYPE — 4.2, 15.6

CRPQ — 4.4

D

Data — 5.1

Data integration — 23.6

Data type — 5.1

Data type descriptor — 5.4

Data-modification primitive — 5.14

Data-modification statement — 5.14

Data-modifying procedure — 5.17

DDL — 4.2, 15.6

Declaration — 5.17

Declared type — 5.3

Deduplication — 5.12, 7.7

DELETE — 4.3, 14.2

Delete property — 5.14

Delta — 5.14, 14.4

Dependent-object error — 5.14

Descriptor — 5.1

Destination node — 5.2

DETACH DELETE — 4.3, 14.2

Diagnostic choice — 5.20, 21.3

Diagnostic record — 5.20

Diagnostics — 5.20

Different edges match mode — 5.10

Direct graph constraint set — 5.15, 16.2

Directed edge — 5.2

Directionality — 5.2

Distinct — 7.7

Distinct values — 5.4

DML — 4.3

Document databases — 3.5

DQL — 4.4

Duplicate control — 5.12

Dynamic constraint validation — 5.15, 14.6

Dynamic environment — 5.12

Dynamic error — 5.20, 21.3

Dynamic union type — 5.4

E

Edge (relationship) — 5.2

Edge label — 5.2

Edge reference value — 5.4

Edge type — 5.6, 15.3

Edge type descriptor — 5.6, 15.3

Edge variable — 5.10

Effect — 5.16

Effect algebra — 5.16

Effect soundness — 5.16

Effect system — 5.16, 16.3

Effective column name sequence — 5.4

Effective privilege — 5.19, 20.1

Effectively bounded group — 5.10

Effectively unbounded group — 5.10

Element pattern — 5.9

Element type — 5.6

Element variable — 5.10

Empty binding table — 5.11

Endpoint — 5.2

Endpoint partition — 5.8, 11.2

Endpoint reattachment — 5.14

Endpoint specification — 5.6

Endpoint structural consistency — 5.6

Environment — 5.12

Epsilon path expression — 5.9

Error class — 5.20, 21.3

Error token — 5.5

Evaluation — 5.1

Evaluation environment — 5.12

Evaluation judgment — 5.5, 8.2

Evaluation order — 8.2, 13.3

Exact LIMIT — 5.13, 13.3

EXCEPT — 9.6

EXCEPT ALL — 9.6

Exception condition — 5.20, 21.2

Execution — 5.1

Execution context — 5.3

Execution outcome — 5.20, 21.1

Explicit guard — 5.10

Expression — 5.5

Expressiveness — 23.1

Extend — 5.11

External procedure — 5.17

F

Failed outcome — 5.20, 21.1

Fallback query conjunction — 5.12, 9.6

Field — 5.4

FILTER — 4.4

FINISH — 12.3

Finiteness — 5.9

First-committer-wins — 5.18

FOR — 9.3

Function — 5.5

G

GenAI — 22.3

Generative AI — 22.3

Global environment — 5.12

Global filtering — 5.10

Global group — 5.13, 12.1

Global object identifier — 5.1

Globally identifiable object — 5.1

Globally resolved reference — 5.1

GPBT — 7.6

GQL graph — 5.2, 6.2

GQL procedure — 5.17

GQL-directory — 5.3

GQL-object — 5.1

GQL-object type — 5.4

GQL-program — 5.1

GQL-request — 5.1

GQL-schema — 5.3

GQL-status object — 5.20

Grant — 5.19, 20.1

Grantee — 5.19, 20.1

Grantor — 5.19, 20.1

Graph — 5.2

Graph descriptor — 5.2

Graph element — 5.2

Graph entry — 5.3, 15.5

Graph expression — 5.14

Graph pattern — 5.10, 7.1

Graph pattern variable — 5.10, 7.1

Graph pattern YIELD clause — 5.10, 7.6

Graph property — 22.3

Graph reference value — 5.4

Graph schema — 5.6

Graph type — 5.6, 15.4

Graph type descriptor — 5.6, 15.4

Graph type violation — 5.2

Graph-entry conformance — 5.2, 15.5

Graph-pattern binding table — 5.10, 7.6

Graph-selection header — 5.14

Graph-to-graph query — 22.1, 23.5

Graph-type conformance — 5.15, 15.5, 16.2

Ground operation — 5.14

Grounding — 5.14

GROUP BY — 4.4, 12.1

Group list value type — 5.4

Group variable — 5.10

Grouping — 5.13, 12.1

Grouping function — 5.13, 12.1

Grouping key — 5.13

Grouping set — 5.13

Guarded expression — 5.9

Guarded join — 5.11

H

HAVING — 12.1

Head of a~path — 5.7

Header — 5.11

Homomorphic matching — 5.10

Hyperedge — 22.3

I

Idempotent label addition — 5.14

Identifier — 5.1, 17.1

Identifier allocation — 5.14

Immaterial value type — 5.4

Implementation configuration — 5.3

Implementation-defined — 5.1

Implementation-defined code — 5.20

Implementation-dependent — 5.1

Implicit cast — 5.6

Incident edge — 5.14

Informational condition — 5.20, 21.2

Inheritance — 5.6

Injectivity guard — 5.10

Inline GQL procedure — 5.17

INSERT — 4.3, 14.1

Insert element pattern — 5.14

Insert graph pattern — 5.14, 14.1

Insert path pattern — 5.14

Integrity constraint — 5.15

Integrity constraint violation — 5.15

Interior variable — 5.10

Interoperability — 23.6

INTERSECT — 9.6

INTERSECT ALL — 9.6

Inverse step — 5.9

Isolation level — 5.18, 19.2

Isomorphic matching — 5.10

J

JMESPath — 3.4

Join — 5.11

JSON — 3.4, 3.5

JSONPath — 3.4

K

KEEP clause — 5.10

Key — 5.15

KEY — 16.1

Key constraint — 5.15, 16.1

Key label set — 5.6, 15.2

Key specification — 5.15, 16.1

Key tuple — 5.15, 16.1

Key value component — 5.15, 16.1

Key value component specification — 5.15, 16.1

Key-value databases — 3.5

Keyed element type — 5.6

KLS — 15.2

L

Label — 5.2

Label atom — 5.9

Label set — 5.2

Label test — 5.6

Label vocabulary — 5.6

Left outer join — 5.11, 9.2

Left-associative composition — 5.12

Length group — 5.8, 11.2

LET — 4.4

LIMIT — 4.4, 7.7, Chapter 13

Linear data-modification statement — 5.14

Linear query statement — 5.12

LINQ — 3.4

List — 6.5

List unnesting — 5.11

List value — 5.4

List value type — 5.4

List-behavior policy — 5.3, 17.3

Local generation — 5.10

Loop — 5.2

Lore — 3.1

Lorel — 3.1

M

Malformed path — 5.7

Mapping — 5.1

MATCH — 4.3, 4.4, 7.6

Match — 5.10

Match mode — 5.10, 7.1

Matching semantics — 5.10, 7.4

Material data type — 5.4

Material value — 5.4

MAX — 12.1

Merge — 5.1

Metadata management — 23.7

MIN — 12.1

Mixed graph — 5.2

Mode filter — 5.7

Multi-path binding — 5.10, 7.1

Multigraph — 5.2

Multiple edges — 5.2

Multiple property assignments — 5.14

Multiplicity — 5.4

Multiset alternation — 5.9

N

N1QL — 3.5

Name — 5.1

Name resolution — 5.3, 17.1

Name-compatible join — 5.11, 7.7

Named procedure descriptor — 5.17, 18.1

Namespace — 5.3

Natural join — 5.11, 7.7, 9.1

Natural joinability — 5.11

No unbound writers — 5.16

No-data condition — 5.20

Node (vertex) — 5.2

Node reference value — 5.4

Node type — 5.6, 15.3

Node type descriptor — 5.6, 15.3

Node variable — 5.10

Node/Edge predicate — 5.9

Non-distinctness — 5.15

Non-local reference — 5.10

Not-exposed variable — 5.10

NULL — 8.3

Null value — 5.1

Null-containment — 5.15

Null-intolerant predicate — 5.5, 8.3

Null-tolerant predicate — 5.5, 8.3

Nullable value type — 5.4

Nulls policy — 5.13, 13.1

Numeric type — 5.4

O

Object — 5.1

Object availability — 5.19, 20.3

Object Exchange Model — 3.1

Object Query Language — 3.1

Obligation judgment — 5.19, 20.2

Obligation set — 5.19, 20.2

OFFSET — Chapter 13

Omitted result — 5.20

Open graph — 5.2

Operation — 5.1

Optimization — 23.2

Optimizer ordering restriction — 5.16

Optional match — 5.11, 9.2

OQL — 3.1

ORDER BY — 4.4, 7.7, Chapter 13

Ordered binding table — 5.4

Ordering — 5.13, 7.7, 9.1, Chapter 13

Ordering metadata — 5.13

OTHERWISE — 9.6

P

Padding — 5.11

Pagination — 5.13, Chapter 13

Parameter — 5.17

Partial function — 6.1

Path — 6.4, 6.5, 10.1

Path accessor — 5.7, 10.3

Path binding — 5.8, 7.1

Path element list — 5.7

Path expression — 5.9

Path in a~graph — 5.7

Path length — 5.7

Path mode — 5.7, 7.2, 10.1

Path pattern — 5.8

Path prefix — 5.8

Path primary — 5.9, 7.3

Path restrictor — 5.8

Path value — 5.7

Path value construction — 5.7, 10.3

Path value type — 5.7

Path variable — 5.8

Path witness — 5.9, 11.1

Path-value realizability — 5.7

Path-variable degree — 5.10, 7.3

Pattern matching — 5.10

Peer ordering — 5.13, 13.1

Pipelining — 5.12

Plain delete — 5.14

Post-aggregation filtering — 5.13

Powerset — 6.1

Predicate — 5.5

Predicate atom — 5.9

Preferred column name sequence — 5.4

Primary base type — 5.4

Primary catalog object — 5.3

Primary object — 5.1

Primary status code — 5.20, 21.2

Primitive effect — 5.16

Primitive mutation — 5.14, 14.5

Primitive query statement — 5.12

Primitive result statement — 5.13, 12.3

Principal — 5.19

Privilege — 5.19, 20.1

Privilege kind — 5.19

Privilege level — 5.19

Privilege obligation — 5.19, 20.2

Privilege poset — 5.19

Procedure — 5.1, 18.1

Procedure body — 5.17

Procedure invocation — 5.17, 18.2

PRODUCT — 12.1

Projection — 5.11, 7.7, 9.1

Propagation rule — 5.10

Property — 5.2

Property graph — 5.2, 6.2

Property key — 5.2

Property map — 5.2

Property set — 5.2

Property signature — 5.6

Property type — 5.6, 15.2

Property value — 5.2

Provisional change — 5.18

Q

Qualified name — 5.1

Quantification — 7.3

Quantifier — 5.9

Query block — 5.12, 9.4

Query part — 5.12

Query procedure — 5.17

Query processing — 23.2

Questioned path-pattern primary — 5.10, 7.3

R

RBAC — 22.3

RDF — 3.3

Read stability — 5.14

Read-only transaction — 5.18

Read-then-update composition — 5.14

Read-write transaction — 5.18

Record — 5.4, 6.5

Record type — 5.4

Reduced match — 5.10, 7.1

Reduction — 5.10

Reference degree — 5.10, 7.3

Reference resolution — 5.17

Reference value — 5.4

Reference value type — 5.4

Registered subject — 5.15

Regular path expression — 5.9, Chapter 11

Regular result — 5.20

Relational subquery — 5.12, 9.4

Relationship type — 5.6

REMOVE — 14.4

Remove label — 5.14

Repeatable elements match mode — 5.10

Requirement — 5.15

Resource error — 5.20, 21.3

Restrictive path mode — 5.9

Result multiplicity — 5.11

Result sum type — 5.20, 21.1

RETURN — 4.4

Reversal of expressions — 5.9

Role — 5.19, 20.1

Role-based access control — 22.3

Rollback — 5.18, 19.1

Row environment — 5.12

Row-producing subquery — 5.12

RPE — Chapter 11

Runtime error — 5.5

S

SAME — 8.3

Satisfaction relation — 5.15, 16.2

Savepoint — 5.18

Scalar subquery — 5.12, 9.4

Scalar type — 5.4, 15.2

Scalars — 6.3

Schema — 22.2

Schema evolution — 5.6, 15.7

Schema state — 5.6, 15.7

Schema versioning — 5.6, 15.7

Scope predicate — 5.15

Search prefix — 5.8

Secondary object — 5.1

Security — 5.19

Selection — 5.11, 7.7, 9.1

Selective path pattern — 5.10

Selective path search prefix — 5.8, 7.2, 11.2

Selective stage — 5.10

Semantic constraint clause — 5.15

Semi-join — 5.11

Serializability — 5.18, 19.2

Session context — 5.3, 17.3

Session options — 5.3

Session state — 5.3, 17.3

SET — 4.3, 14.4

Set alternation — 5.9

Set operator — 5.12, 9.6

Set property — 5.14

Set quantifier — 5.12

Set semantics — 5.11

Setification — 5.11

Shadowing — 5.12

Short-circuit failure propagation — 5.20, 21.1

Short-circuiting — 5.5

Shortest-path semantics — 11.2

Side effect — 5.1

Signature — 5.17, 18.1

Simple path — 5.7

Singleton variable — 5.10

Site — 5.3

SKIP — 7.7

Slicing — 5.13, 7.7, 13.3

Snapshot — 5.18, 19.2

Sort direction — 5.13, 13.1

Sort key — 5.13, 13.1

Sort specification — 5.13, 13.1

Sort specification list — 5.13, 13.1

Source node — 5.2

SPARQL — 3.3

SPSP — 7.2, 11.2

SQL — 3.2, 3.4

Standard-defined code — 5.20

START TRANSACTION — 19.1

Statement — 5.1

Statement effect typing — 5.16

Statement sequencing — 5.18, 19.1

Statement snapshot — 5.18

Static conflict approximation — 5.16

Static environment — 5.12

Static error — 5.20, 21.3

Static judgment — 5.5

Static property signature — 5.6

Status class — 5.20

Status code — 5.20, 21.2

Status domain — 5.20, 21.2

Status precedence — 5.20, 21.3

Status subclass — 5.20

Step predicate — 5.9, 11.1

Step relation — 5.9, 11.1

Store assignment — 5.3

Store state — 5.3, 8.1

Stored path — 5.7, 22.3

Streaming graph query — 22.3, 23.2

Strict function — 5.5

Strict interior variable — 5.10

Structural consistency — 5.6

Subpath variable — 5.10

Subquery — 5.12, 9.4, 22.1

Subtype — 5.6

Subtyping — 5.6

Successful completion — 5.20

Successful outcome — 5.20, 21.1

SUM — 12.1

Supported property value type — 5.4

Syntactically resolved reference — 5.1

System-generated identifier — 5.14

T

Tail of a~path — 5.7

Target reference — 5.14

Temporal type — 5.4

Temporary element variable — 5.10

Theoretical analyses — 22.1

Theta-join — 5.11

Three-valued logic — 5.5, 8.3

Totalization — 5.5

Trail — 5.7

Transaction — 5.18, 19.1

Transaction access mode — 5.18, 19.1

Transaction characteristic — 5.18

Transaction control command — 5.18, 19.1

Transaction model — 5.18, 19.1

Transaction processing — 23.4

Transaction rollback condition — 5.20

Transaction snapshot — 5.18

Truth value — 5.4, 8.3

Type — 5.1

Type constructors — 6.3

Typing — 5.5, 8.2

Typing contexts — 6.3

U

Unbound variable — 5.1, 8.3

Unbounded repetition — 5.9

Unconditional exposure — 5.10

Uncorrelated subquery — 5.12, 9.4

Undirected edge — 5.2

Union — 7.7, 9.6

UNION ALL — 9.6

UNIQUE — 16.1

Uniqueness constraint — 5.15, 16.1

Unit record type — 5.4

Unit table — 5.11

Unknown truth value — 5.5

Unordered binding table — 5.4

UnQL — 3.1

UNWIND — 7.7

Update atom — 5.14, 14.4

Update context — 5.14, 14.4

Update pipeline — 5.14, 14.3

Update template — 5.14, 14.4

USE — 17.2

V

Validation predicate — 5.15, 16.2

Value — 5.1

Value type — 5.4

Value-level path concatenation — 5.7, 10.3

Variable — 5.1

Variable exposure — 5.10, 7.3

Variable hygiene — 5.12

Vector search — 22.3

Vector type — 5.4

View — 22.1

Visibility — 5.18, 19.1

W

Walk — 5.7

Warning — 5.20

Weak order — 5.5

Well-formedness — 5.9

WHERE — 4.4

Whole-query denotation — 5.12, 9.5

Widening — 5.6

Working graph — 5.3

Working graph site — 5.3

Working record — 5.4

Working schema reference — 5.3

Working table — 5.4

Write check — 5.19, 20.4

Write conflict — 5.14, 14.4

Write set — 5.14, 14.4

Write-purity — 5.16, 16.3

Write-write conflict — 5.18

X

XML — 3.4

XPath — 3.4

XQuery — 3.4

Y

YIELD — 18.2