ftsrg / ingraph

Incremental view maintenance for openCypher graph queries.
http://docs.inf.mit.bme.hu/ingraph/
Eclipse Public License 1.0
48 stars 10 forks source link

Simplify inferencing for antijoins #319

Closed szarnyasg closed 6 years ago

szarnyasg commented 6 years ago

If the query plan is correct, the list of required attributes on the right input on an antijoin is always empty:

https://github.com/FTSRG/ingraph/blob/36aa523a893a16a8a3489c21495889b7d2a5cd6e/compiler/src/main/scala/ingraph/compiler/qplan2jplan/JPlanToFPlan.scala#L68-L72

It would make more sense to assert for this being Seq() (as a result for the same inferencing algorithm that is used for other join operator)