[TINKERPOP-2800] ConnectiveP doesn't get evaluated right for list/set cardinality

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Not A Problem
• Affects Version/s: 3.5.4
• Component/s: process
• Assignee: Unassigned
• Reporter: Stephen Mallette
• Created: 19/Sep/22 11:20
• Updated: 28/Sep/23 19:57
• Resolved: 28/Sep/23 19:57

Description

Given:

g = TinkerGraph.open().traversal()
g.addV().property(list,"variant","2wd").property(list,"variant","4wd").iterate()
g.addV().property(list,"variant","2wd").property(list,"variant","6wd").iterate()
g.addV().property(list,"variant","8wd").property(list,"variant","6wd").iterate()

// 

gremlin> g.V().has("variant",startingWith("2").and(startingWith("4"))).valueMap()
==>[variant:[2wd,4wd]]
gremlin> g.V().or(has("variant",startingWith("2").and(startingWith("4"))),
......1>          has("variant",startingWith("2").and(startingWith("6")))).valueMap()
gremlin> g.V().union(has("variant",startingWith("2").and(startingWith("4"))),
......1>             has("variant",startingWith("2").and(startingWith("6")))).valueMap()
gremlin> g.V().has("variant",startingWith("2").and(startingWith("4"))).aggregate("x").fold().
......1>   V().has("variant",startingWith("2").and(startingWith("6"))).aggregate("x").fold().
......2>   cap("x").unfold().valueMap()
==>[variant:[2wd,4wd]]
==>[variant:[2wd,6wd]]

The HasContainer doesn't seem to get applied properly in the case of multi-properties. It sorta just treats properties as single in those cases.

The consistency issue seems best resolved by following the latter cases and making it so that and() operates against a single property and prefer that multiproperties be resolved over multiple has():

gremlin> g.V().has("variant", startingWith("2").and(startingWith("4"))).valueMap()
gremlin> g.V().has("variant", startingWith("2")).has('variant',startingWith("4")).valueMap()
==>[variant:[2wd,4wd]]
gremlin> g.V().has("variant", startingWith("2")).or(has('variant',startingWith("4")),has('variant',startingWith("6"))).valueMap()
==>[variant:[2wd,4wd]]
==>[variant:[2wd,6wd]]