org.neo4j.procedure.builtin.VectorIndexProcedures Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of neo4j-procedure Show documentation
Show all versions of neo4j-procedure Show documentation
Neo4j Community Procedures.
The newest version!
/*
* Copyright (c) "Neo4j"
* Neo4j Sweden AB [https://neo4j.com]
*
* This file is part of Neo4j.
*
* Neo4j is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see queryNodeVectorIndex(
@Name("indexName") String name,
@Name("numberOfNearestNeighbours") Long numberOfNearestNeighbours,
@Name("query") AnyValue candidateQuery)
throws KernelException {
final var query = validateQueryArguments(name, numberOfNearestNeighbours, candidateQuery);
if (callContext.isSystemDatabase()) {
return Stream.empty();
}
return new NodeIndexQuery(tx, ktx, name).query(Math.toIntExact(numberOfNearestNeighbours), query);
}
@Description(
"""
Query the given relationship vector index.
Returns requested number of nearest neighbors to the provided query vector,
and their similarity score to that query vector, based on the configured similarity function for the index.
The similarity score is a value between [0, 1]; where 0 indicates least similar, 1 most similar.
""")
@Procedure(name = "db.index.vector.queryRelationships", mode = READ)
public Stream queryRelationshipVectorIndex(
@Name("indexName") String name,
@Name("numberOfNearestNeighbours") Long numberOfNearestNeighbours,
@Name("query") AnyValue candidateQuery)
throws KernelException {
final var query = validateQueryArguments(name, numberOfNearestNeighbours, candidateQuery);
if (callContext.isSystemDatabase()) {
return Stream.empty();
}
return new RelationshipIndexQuery(tx, ktx, name).query(Math.toIntExact(numberOfNearestNeighbours), query);
}
private static VectorCandidate validateQueryArguments(
String name, Long numberOfNearestNeighbours, AnyValue candidateQuery) {
Objects.requireNonNull(name, "'indexName' must not be null");
Objects.requireNonNull(numberOfNearestNeighbours, "'numberOfNearestNeighbours' must not be null");
Preconditions.checkArgument(numberOfNearestNeighbours > 0, "'numberOfNearestNeighbours' must be positive");
Objects.requireNonNull(candidateQuery, "'query' must not be null");
if (candidateQuery == Values.NO_VALUE) {
throw new IllegalArgumentException(
"'query' must not be NO_VALUE, which is treated as null",
new NullPointerException("'query' must not be null"));
}
final var query = VectorCandidate.maybeFrom(candidateQuery);
if (query == null) {
throw new IllegalArgumentException("'query' must be a non-null numerical array");
}
return query;
}
@Description("Set a vector property on a given node in a more space efficient representation than Cypher's SET.")
@Procedure(name = "db.create.setNodeVectorProperty", mode = WRITE)
public void setNodeVectorProperty(
@Name("node") Node node, @Name("key") String propKey, @Name("vector") AnyValue candidateVector) {
setVectorProperty(Objects.requireNonNull(node, "'node' must not be null"), propKey, candidateVector);
}
@Description("Set a vector property on a given node in a more space efficient representation than Cypher's SET.")
@Procedure(name = "db.create.setVectorProperty", mode = WRITE, deprecatedBy = "db.create.setNodeVectorProperty")
@Deprecated(since = "5.13.0", forRemoval = true)
public Stream deprecatedSetVectorProperty(
@Name("node") Node node, @Name("key") String propKey, @Name("vector") AnyValue candidateVector) {
setNodeVectorProperty(Objects.requireNonNull(node, "'node' must not be null"), propKey, candidateVector);
return Stream.of(new NodeRecord(node));
}
// specifically for the deprecated `db.create.setVectorProperty`
public record NodeRecord(Node node) {}
@Description(
"Set a vector property on a given relationship in a more space efficient representation than Cypher's SET.")
@Procedure(name = "db.create.setRelationshipVectorProperty", mode = WRITE)
public void setRelationshipVectorProperty(
@Name("relationship") Relationship relationship,
@Name("key") String propKey,
@Name("vector") AnyValue candidateQuery) {
setVectorProperty(
Objects.requireNonNull(relationship, "'relationship' must not be null"), propKey, candidateQuery);
}
public void setVectorProperty(Entity entity, String propKey, AnyValue candidateVector) {
Objects.requireNonNull(propKey, "'key' must not be null");
Objects.requireNonNull(candidateVector, "'vector' must not be null");
if (candidateVector == Values.NO_VALUE) {
throw new IllegalArgumentException(
"'vector' must not be NO_VALUE, which is treated as null",
new NullPointerException("'vector' must not be null"));
}
final var vector = VectorCandidate.maybeFrom(candidateVector);
if (vector == null) {
throw new IllegalArgumentException("'vector' must be a non-null numerical array");
}
// assume EUCLIDEAN as the bare minimum invariant
entity.setProperty(propKey, VectorSimilarityFunctions.EUCLIDEAN.toValidVector(vector));
}
private static float[] validateAndConvertQuery(IndexDescriptor index, VectorCandidate query) {
final var version = VectorIndexVersion.fromDescriptor(index.getIndexProvider());
final var vectorIndexConfig = version.indexSettingValidator()
.trustIsValidToVectorIndexConfig(new IndexConfigAccessor(index.getIndexConfig()));
final var dimensions = vectorIndexConfig.dimensions();
if (dimensions.isPresent() && query.dimensions() != dimensions.getAsInt()) {
throw new IllegalArgumentException("Index query vector has %d dimensions, but indexed vectors have %d."
.formatted(query.dimensions(), dimensions.getAsInt()));
}
final var similarityFunction = vectorIndexConfig.similarityFunction();
return similarityFunction.toValidVector(query);
}
private IndexDescriptor getValidIndex(String name) {
final var index = ktx.schemaRead().indexGetForName(name);
if (index == IndexDescriptor.NO_INDEX || index.getIndexType() != IndexType.VECTOR) {
throw new IllegalArgumentException("There is no such vector schema index: " + name);
}
return index;
}
private static class NodeIndexQuery extends IndexQuery {
private NodeIndexQuery(Transaction tx, KernelTransaction ktx, String name) {
super(EntityType.NODE, tx, ktx, name);
}
@Override
NodeValueIndexCursor cursor(
CursorFactory cursorFactory, CursorContext cursorContext, MemoryTracker memoryTracker) {
return cursorFactory.allocateNodeValueIndexCursor(cursorContext, memoryTracker);
}
@Override
void seek(
Read read,
QueryContext queryContext,
IndexReadSession session,
NodeValueIndexCursor cursor,
IndexQueryConstraints constraints,
NearestNeighborsPredicate query)
throws KernelException {
read.nodeIndexSeek(queryContext, session, cursor, constraints, query);
}
@Override
Stream stream(NodeValueIndexCursor cursor, int k) {
return new NodeNeighborSpliterator(tx, cursor, k).stream();
}
}
private static class RelationshipIndexQuery extends IndexQuery {
private RelationshipIndexQuery(Transaction tx, KernelTransaction ktx, String name) {
super(EntityType.RELATIONSHIP, tx, ktx, name);
}
@Override
RelationshipValueIndexCursor cursor(
CursorFactory cursorFactory, CursorContext cursorContext, MemoryTracker memoryTracker) {
return cursorFactory.allocateRelationshipValueIndexCursor(cursorContext, memoryTracker);
}
@Override
void seek(
Read read,
QueryContext queryContext,
IndexReadSession session,
RelationshipValueIndexCursor cursor,
IndexQueryConstraints constraints,
NearestNeighborsPredicate query)
throws KernelException {
read.relationshipIndexSeek(queryContext, session, cursor, constraints, query);
}
@Override
Stream stream(RelationshipValueIndexCursor cursor, int k) {
return new RelationshipNeighborSpliterator(tx, cursor, k).stream();
}
}
private abstract static class IndexQuery> {
protected final Transaction tx;
private final KernelTransaction ktx;
private final IndexDescriptor index;
private IndexQuery(EntityType entityType, Transaction tx, KernelTransaction ktx, String name) {
this.tx = tx;
this.ktx = ktx;
final var index = ktx.schemaRead().indexGetForName(name);
if (index == IndexDescriptor.NO_INDEX || index.getIndexType() != IndexType.VECTOR) {
throw new IllegalArgumentException("There is no such vector schema index: " + name);
}
final var entityTypeFromIndex = index.schema().entityType();
if (entityTypeFromIndex != entityType) {
throw new IllegalArgumentException(
"The '%s' index (%s) is an index on %s, so it cannot be queried for nodes."
.formatted(index.getName(), index, entityTypeFromIndex));
}
this.index = index;
awaitIndexOnline();
}
abstract CURSOR cursor(CursorFactory cursorFactory, CursorContext cursorContext, MemoryTracker memoryTracker);
abstract void seek(
Read read,
QueryContext queryContext,
IndexReadSession index,
CURSOR cursor,
IndexQueryConstraints constraints,
NearestNeighborsPredicate query)
throws KernelException;
abstract Stream stream(CURSOR cursor, int k);
Stream query(int k, VectorCandidate query) throws KernelException {
final var validatedQuery = validateAndConvertQuery(index, query);
final var cursor = cursor(ktx.cursors(), ktx.cursorContext(), ktx.memoryTracker());
seek(
ktx.dataRead(),
ktx.queryContext(),
ktx.dataRead().indexReadSession(index),
cursor,
IndexQueryConstraints.unconstrained(),
PropertyIndexQuery.nearestNeighbors(k, validatedQuery));
return stream(cursor, k);
}
private void awaitIndexOnline() {
// We do the isAdded check on the transaction state first, because indexGetState will grab a schema
// read-lock which can deadlock on the write-lock
// held by the index populator. Also, if the index was created in this transaction, then we will never see
// it come online in this transaction anyway.
// Indexes don't come online until the transaction that creates them has committed.
final var txStateHolder = (TxStateHolder) ktx;
if (!txStateHolder.hasTxStateWithChanges()
|| !txStateHolder
.txState()
.indexDiffSetsBySchema(index.schema())
.isAdded(index)) {
// If the index was not created in this transaction, then wait for it to come online before querying.
tx.schema().awaitIndexOnline(index.getName(), INDEX_ONLINE_QUERY_TIMEOUT_SECONDS, TimeUnit.SECONDS);
}
// If the index was created in this transaction, then we skip this check entirely.
// We will get an exception later, when we try to get an IndexReader, so this is fine.
}
}
/**
* @param node a node within the query point's neighborhood
* @param score similarity in [0, 1]; 0 indicates furthest, 1 closest.
*/
public record NodeNeighbor(Node node, double score) implements Neighbor {
@Override
public Node entity() {
return node;
}
public static NodeNeighbor forExistingEntityOrNull(Transaction tx, long nodeId, double score) {
try {
return new NodeNeighbor(tx.getNodeById(nodeId), score);
} catch (NotFoundException ignore) {
// This node was most likely deleted by a concurrent transaction, so we just ignore it.
return null;
}
}
}
/**
* @param relationship a relationship within the query point's neighborhood
* @param score similarity in [0, 1]; 0 indicates furthest, 1 closest.
*/
public record RelationshipNeighbor(Relationship relationship, double score)
implements Neighbor {
@Override
public Relationship entity() {
return relationship;
}
public static RelationshipNeighbor forExistingEntityOrNull(Transaction tx, long relId, double score) {
try {
return new RelationshipNeighbor(tx.getRelationshipById(relId), score);
} catch (NotFoundException ignore) {
// This relationship was most likely deleted by a concurrent transaction, so we just ignore it.
return null;
}
}
}
public interface Neighbor>
extends Comparable {
ENTITY entity();
/**
* @return similarity in [0, 1]; 0 indicates furthest, 1 closest
*/
double score();
@Override
default int compareTo(NEIGHBOR o) {
return -Double.compare(this.score(), o.score()); // order switched, 0 furthest, 1 closed
}
}
private record NodeNeighborSpliterator(Transaction tx, NodeValueIndexCursor cursor, int k)
implements NeighborSpliterator {
@Override
public NodeNeighbor neighbor() {
return NodeNeighbor.forExistingEntityOrNull(
tx, cursor.nodeReference(), MathUtil.clamp(cursor.score(), 0.0, 1.0));
}
}
private record RelationshipNeighborSpliterator(Transaction tx, RelationshipValueIndexCursor cursor, int k)
implements NeighborSpliterator {
@Override
public RelationshipNeighbor neighbor() {
return RelationshipNeighbor.forExistingEntityOrNull(
tx, cursor.relationshipReference(), MathUtil.clamp(cursor.score(), 0.0, 1.0));
}
}
private interface NeighborSpliterator> extends Spliterator {
int k();
Cursor cursor();
NEIGHBOR neighbor();
@Override
default boolean tryAdvance(Consumer action) {
final var cursor = cursor();
while (cursor.next()) {
final var neighbor = neighbor();
if (neighbor != null) {
action.accept(neighbor);
return true;
}
}
cursor.close();
return false;
}
@Override
default long estimateSize() {
return k();
}
@Override
default Spliterator trySplit() {
return null;
}
@Override
default int characteristics() {
return Spliterator.ORDERED
| Spliterator.SORTED
| Spliterator.DISTINCT
| Spliterator.NONNULL
| Spliterator.IMMUTABLE;
}
@Override
default Comparator getComparator() {
return null;
}
default Stream stream() {
final var stream = StreamSupport.stream(this, false);
return stream.onClose(cursor()::close);
}
}
}