LogicalIntersect Not implemented

[nmiletic]

Thank you for this great tool.

Reading readme of prover it states that INTERSECT is supported. But I am getting LogicalIntersect Not implemented from parser.

I am trying to parse following file:

-- Declare table schemas
create table db(
  platform varchar,
  version varchar,
  traffic_type varchar,
  dbno     integer,
  constraint pk_db primary key (dbno)
);

-- Define queries (There should only be two!)
SELECT version
FROM db
WHERE platform IN ('ZA-1000', 'SM-100')
AND traffic_type = 'Sport'
GROUP BY version
HAVING COUNT(DISTINCT platform) = 2;
SELECT version
FROM db
WHERE (platform = 'ZA-1000' AND traffic_type = 'Sport')
INTERSECT
SELECT version
FROM db
WHERE (platform = 'SM-100' AND traffic_type = 'Sport');

but I am getting following error

qed-parser test.sql
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
In file:
test.sql
java.lang.UnsupportedOperationException: Not implemented: LogicalIntersect

[Sicheng-Pan]

It seems set-based intersection should be supported:

parser/src/main/java/org/qed/RelJSONShuttle.java

Lines 213 to 214 in 7e7b559

	case LogicalIntersect intersect when !intersect.all ->
	object(Map.of("intersect", array(Seq.from(intersect.getInputs()).map(this::serialize))));

Maybe it's not wired up correctly somewhere. In the worst case you should be able to use the RelJSONShuttle class manually to construct the json value for the prover