openCypher: a pattern predicate over an edge type that the Graph Analytical View does not list is answered from the view, so NOT (a)-[:F]->(b) excludes nothing and (a)-[:F]->(b) matches nothing (count(*) only) #9377

import com.arcadedb.database.Database;
import com.arcadedb.database.DatabaseFactory;
import com.arcadedb.database.RID;
import com.arcadedb.query.sql.executor.ResultSet;

public class ViewEdgeCoverage {
  public static void main(final String[] args) throws Exception {
    System.out.println("engine " + com.arcadedb.Constants.getRawVersion() + " build " + com.arcadedb.Constants.getBuildNumber() + ", java " + System.getProperty("java.version"));
    final DatabaseFactory f = new DatabaseFactory(args[0]);
    if (f.exists())
      f.open().drop();
    final Database db = f.create();
    db.command("sql", "CREATE VERTEX TYPE V");
    db.command("sql", "CREATE EDGE TYPE E");
    db.command("sql", "CREATE EDGE TYPE F");
    db.transaction(() -> {
      final RID x = db.newVertex("V").save().getIdentity(), y = db.newVertex("V").save().getIdentity(), z = db.newVertex("V").save().getIdentity();
      x.asVertex().newEdge("E", y).save();
      x.asVertex().newEdge("F", y).save();
      y.asVertex().newEdge("E", z).save();
    });
    // { text, expected }
    final String[][] qs = {
        { "MATCH (a:V)-[:E]->(b:V) WHERE NOT (a)-[:F]->(b) RETURN count(*) AS n", "1" },
        { "MATCH (a:V)-[:E]->(b:V) WHERE (a)-[:F]->(b) RETURN count(*) AS n", "1" },
        { "MATCH (a:V)-[:E]->(b:V)-[:E]->(c:V) WHERE NOT (a)-[:F]->(b) RETURN count(*) AS n", "0" },
        { "MATCH (a:V)-[:E]->(b:V) WITH a, b WHERE NOT (a)-[:F]->(b) RETURN count(*) AS n", "1" } };
    for (final String edgeTypes : new String[] { "none", "E", "E, F" }) {
      if (!edgeTypes.equals("none")) {
        db.command("sql", "DROP GRAPH ANALYTICAL VIEW IF EXISTS gav");
        db.command("sql", "CREATE GRAPH ANALYTICAL VIEW gav VERTEX TYPES (V) EDGE TYPES (" + edgeTypes + ") UPDATE MODE OFF");
        for (int i = 0; i < 6000; i++) {
          try (ResultSet rs = db.query("sql", "SELECT FROM schema:graphAnalyticalViews WHERE name = ?", "gav")) {
            if (rs.hasNext() && "READY".equals(rs.next().getProperty("status")))
              break;
          }
          Thread.sleep(20);
        }
      }
      for (final String[] q : qs)
        try (ResultSet rs = db.query("opencypher", q[0])) {
          System.out.println("view over edge types (" + edgeTypes + ") | " + q[0] + " -> " + rs.next().getProperty("n") + " (expected " + q[1] + ")");
        }
    }
    db.close();
  }
}