Process completed with exit code 127.

Process completed with exit code 1.

Process completed with exit code 127.

Process completed with exit code 1.

There are 2 failed assertion(s) Failure 1: Strings are different. First diff at line 4 column 128. - Visual diffs at: target/diff-0.html - Call Stack: at test4giis.tdrules.tdg.st.eval.petstore.TestPetstore.assertFiles(TestPetstore.java:144) Failure 2: Strings are different. First diff at line 1 column 20. - Visual diffs at: target/diff-1.html - Call Stack: at test4giis.tdrules.tdg.st.eval.petstore.TestPetstore.assertFiles(TestPetstore.java:144) expected:<...jpg"],"tags":[{"id":[703,"name":"Puppy"}],"status":"available"} "pet":{"id":2,"category":{"id":2,"name":"Lion"},"name":"Luna","photoUrls":["http://localhost/photos/000403.jpg"],"tags":[{"id":803,"name":"Young"}],"status":"pending"} "pet":{"id":3,"category":{"id":2,"name":"Lion"},"name":"Charlie","photoUrls":["http://localhost/photos/000503.jpg"],"tags":[{"id":903,"name":"Old"}],"status":"sold"} "pet":{"id":4,"category":{"id":1,"name":"Tiger"},"name":"Bella","photoUrls":["http://localhost/photos/000603.jpg"],"status":"available"} "pet":{"id":5,"category":{"id":1,"name":"Tiger"},"name":"Cooper","tags":[{"id":1003,"name":"Puppy-1"}],"status":"pending"} "order":{"id":1,"petId":1,"customerId":1,"quantity":11,"shipDate":"2024-01-26","status":"placed","complete":false} "order":{"id":2,"petId":1,"customerId":1,"quantity":7,"shipDate":"2024-01-27","status":"approved","complete":true} "order":{"id":3,"petId":2,"customerId":1,"quantity":3,"shipDate":"2024-01-28","status":"approved","complete":false} "order":{"id":4,"petId":1,"customerId":2,"quantity":12,"shipDate":"2024-01-29","status":"approved","complete":true} "order":{"id":5,"petId":4,"customerId":1,"quantity":8,"shipDate":"2024-01-30","status":"approved","complete":false} "order":{"id":6,"petId":5,"customerId":1,"quantity":4,"shipDate":"2024-02-01","status":"approved","complete":true} "customer":{"id":1,"username":"James Smith","address":[{"street":"Main St","city":"Springfield","state":"California","zip":"0"}]} "customer":{"id":2,"username":"Mary Johnson"} "customer":{"id":3,"username":"Robert Williams","address":[{"street":"Broadway","city":"Franklin","state":"Texas","zip":"1"}]} --------------------------- -------- Failure 2 -------- --------------------------- {"zip":"0","total":22} {"zip":"1","total":0]} > but was:<...jpg"],"tags":[{"id":[603,"name":"Puppy"},{"id":703,"name":"Young"}],"status":"sold"} "pet":{"id":2,"category":{"id":2,"name":"Lion"},"name":"Luna","photoUrls":["http://localhost/photos/000403.jpg"],"status":"available"} "pet":{"id":3,"category":{"id":1,"name":"Tiger"},"name":"Charlie","photoUrls":["http://localhost/photos/000503.jpg"],"tags":[{"id":803,"name":"Old"}],"status":"pending"} "pet":{"id":4,"category":{"id":1,"name":"Tiger"},"name":"Bella","tags":[{"id":903,"name":"Puppy-1"}],"status":"sold"} "order":{"id":1,"petId":1,"customerId":1,"quantity":6,"shipDate":"2024-01-24","status":"placed","complete":false} "order":{"id":2,"petId":1,"customerId":1,"quantity":2,"shipDate":"2024-01-25","status":"approved","complete":true} "order":{"id":3,"petId":2,"customerId":1,"quantity":11,"shipDate":"2024-01-26","status":"approved","complete":false} "order":{"id":4,"petId":2,"customerId":1,"quantity":7,"shipDate":"2024-01-27","status":"approved","complete":true} "order":{"id":5,"petId":1,"customerId":2,"quantity":3,"shipDate":"2024-01-28","status":"approved","complete":false} "order":{"id":6,"petId":4,"customerId":1,"quantity":12,"shipDate":"2024-01-29","status":"approved","complete":true} "customer":{"id":1,"username":"James Smith","address":[{"street":"Main St","city":"Springfield","state":"California","zip":"0"}]} "customer":{"id":2,"username":"Mary Johnson"} "customer":{"id":3,"username":"Robert Williams","address":[{"street":"Broadway","city":"Franklin","state":"Texas","zip":"0"}]} --------------------------- -------- Failure 2 -------- --------------------------- {"zip":"0","total":32]} >

❌ Tests reported 1 failures

Process completed with exit code 1.

Strings are different. First diff at line 7 column 44. failed rules-placed-pet0-orders-by-category-order-status.xml. - Visual diffs at: target/diff-petstore-rules-placed-pet0-orders-by-category-order-status.xml.html expected:<..." ON Customer0.id = [Order0.customerId INNER JOIN Pet0 ON Order0.petId = Pet0.id WHERE Pet0.category::name = 'Dogs' AND "Order0".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Pet0.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = Order0.customerId INNER JOIN Pet0 ON Order0.petId = Pet0.id WHERE (Pet0.category::name = 'Dogs') AND ("Order0".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Pet0.category::name = 'Dogs' is TRUE --(T) "Order0".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Pet0.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = Order0.customerId INNER JOIN Pet0 ON Order0.petId = Pet0.id WHERE NOT(Pet0.category::name = 'Dogs') AND ("Order0".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Pet0.category::name = 'Dogs' is FALSE --(T) "Order0".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order0".status = 'placed']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = Order0.customerId INNER JOIN Pet0 ON Order0.petId = Pet0.id WHERE NOT("Order0".status = 'placed') AND (Pet0.category::name = 'Dogs')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order0".status = 'placed' is FALSE --(T) Pet0.category::name = 'Dogs' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[INNER JOIN]</location> <sql>SELECT * FROM Customer0 LEFT JOIN "Order0" ON Customer0.id = Order0.customerId LEFT JOIN Pet0 ON Order0.petId = Pet0.id WHERE (Order0.customerId IS NULL) AND (Customer0.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Pet0.category::name = 'Dogs'] ; ["Order0".status = 'placed'] ; --summary: [Customer0] left [Order0] ON Customer0.id = Order0.customerId --There exist some row in table Customer0 --which does not join to any table in Order0</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer0 RIGHT JOIN "Order0" ON Customer0.id = Order0.customerId RIGHT JOIN Pet0 ON Order0.petId = Pet0.id WHERE ((Order0.petId IS NULL) AND (Pet0.id IS NOT NULL)) AND (Pet0.category::name = 'Dogs')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order0".status = 'placed'] ; --summary: [Order0] right [Pet0] ON Order0].petId = Pet0.id -...> but was:<..." ON Customer0.id = ["Order0".customerId INNER JOIN Pet0 ON "Order0".petId = Pet0.id WHERE Pet0.category::name = 'Dogs' AND "Order0".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Pet0.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = "Order0".customerId INNER JOIN Pet0 ON "Order0".petId = Pet0.id WHERE (Pet0.category::name = 'Dogs') AND ("Order0".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Pet0.category::name = 'Dogs' is TRUE --(T) "Order0".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Pet0.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = "Order0".customerId INNER JOIN Pet0 ON "Order0".petId = Pet0.id WHERE NOT(Pet0.category::name = 'Dogs') AND ("Order0".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Pet0.category::name = 'Dogs' is FALSE --(T) "Order0".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order0".status = 'placed']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = "Order0".customerId INNER JOIN Pet0 ON "Order0".petId = Pet0.id WHERE NOT("Order0".status = 'placed') AND (Pet0.category::name = 'Dogs')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order0".status = 'placed' is FALSE --(T) Pet0.category::name = 'Dogs' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[INNER JOIN]</location> <sql>SELECT * FROM Customer0 LEFT JOIN "Order0" ON Customer0.id = "Order0".customerId LEFT JOIN Pet0 ON "Order0".petId = Pet0.id WHERE ("Order0".customerId IS NULL) AND (Customer0.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Pet0.category::name = 'Dogs'] ; ["Order0".status = 'placed'] ; --summary: [Customer0] left [Order0] ON Customer0.id = "Order0".customerId --There exist some row in table Customer0 --which does not join to any table in Order0</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer0 RIGHT JOIN "Order0" ON Customer0.id = "Order0".customerId RIGHT JOIN Pet0 ON "Order0".petId = Pet0.id WHERE (("Order0".petId IS NULL) AND (Pet0.id IS NOT NULL)) AND (Pet0.category::name = 'Dogs')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order0".status = 'placed'] ; --summary: [Order0] right [Pet0] ON "Order0"].petId = Pet0.id -...>

Strings are different. First diff at line 7 column 44. failed rules-placed-pet0-orders-by-category-order-status.xml. - Visual diffs at: target/diff-petstore-rules-placed-pet0-orders-by-category-order-status.xml.html expected:<..." ON Customer0.id = [Order0.customerId INNER JOIN Pet0 ON Order0.petId = Pet0.id WHERE Pet0.category::name = 'Dogs' AND "Order0".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Pet0.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = Order0.customerId INNER JOIN Pet0 ON Order0.petId = Pet0.id WHERE (Pet0.category::name = 'Dogs') AND ("Order0".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Pet0.category::name = 'Dogs' is TRUE --(T) "Order0".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Pet0.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = Order0.customerId INNER JOIN Pet0 ON Order0.petId = Pet0.id WHERE NOT(Pet0.category::name = 'Dogs') AND ("Order0".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Pet0.category::name = 'Dogs' is FALSE --(T) "Order0".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order0".status = 'placed']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = Order0.customerId INNER JOIN Pet0 ON Order0.petId = Pet0.id WHERE NOT("Order0".status = 'placed') AND (Pet0.category::name = 'Dogs')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order0".status = 'placed' is FALSE --(T) Pet0.category::name = 'Dogs' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[INNER JOIN]</location> <sql>SELECT * FROM Customer0 LEFT JOIN "Order0" ON Customer0.id = Order0.customerId LEFT JOIN Pet0 ON Order0.petId = Pet0.id WHERE (Order0.customerId IS NULL) AND (Customer0.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Pet0.category::name = 'Dogs'] ; ["Order0".status = 'placed'] ; --summary: [Customer0] left [Order0] ON Customer0.id = Order0.customerId --There exist some row in table Customer0 --which does not join to any table in Order0</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer0 RIGHT JOIN "Order0" ON Customer0.id = Order0.customerId RIGHT JOIN Pet0 ON Order0.petId = Pet0.id WHERE ((Order0.petId IS NULL) AND (Pet0.id IS NOT NULL)) AND (Pet0.category::name = 'Dogs')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order0".status = 'placed'] ; --summary: [Order0] right [Pet0] ON Order0].petId = Pet0.id -...> but was:<..." ON Customer0.id = ["Order0".customerId INNER JOIN Pet0 ON "Order0".petId = Pet0.id WHERE Pet0.category::name = 'Dogs' AND "Order0".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Pet0.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = "Order0".customerId INNER JOIN Pet0 ON "Order0".petId = Pet0.id WHERE (Pet0.category::name = 'Dogs') AND ("Order0".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Pet0.category::name = 'Dogs' is TRUE --(T) "Order0".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Pet0.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = "Order0".customerId INNER JOIN Pet0 ON "Order0".petId = Pet0.id WHERE NOT(Pet0.category::name = 'Dogs') AND ("Order0".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Pet0.category::name = 'Dogs' is FALSE --(T) "Order0".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order0".status = 'placed']</location> <sql>SELECT * FROM Customer0 INNER JOIN "Order0" ON Customer0.id = "Order0".customerId INNER JOIN Pet0 ON "Order0".petId = Pet0.id WHERE NOT("Order0".status = 'placed') AND (Pet0.category::name = 'Dogs')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order0".status = 'placed' is FALSE --(T) Pet0.category::name = 'Dogs' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[INNER JOIN]</location> <sql>SELECT * FROM Customer0 LEFT JOIN "Order0" ON Customer0.id = "Order0".customerId LEFT JOIN Pet0 ON "Order0".petId = Pet0.id WHERE ("Order0".customerId IS NULL) AND (Customer0.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Pet0.category::name = 'Dogs'] ; ["Order0".status = 'placed'] ; --summary: [Customer0] left [Order0] ON Customer0.id = "Order0".customerId --There exist some row in table Customer0 --which does not join to any table in Order0</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer0 RIGHT JOIN "Order0" ON Customer0.id = "Order0".customerId RIGHT JOIN Pet0 ON "Order0".petId = Pet0.id WHERE (("Order0".petId IS NULL) AND (Pet0.id IS NOT NULL)) AND (Pet0.category::name = 'Dogs')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order0".status = 'placed'] ; --summary: [Order0] right [Pet0] ON "Order0"].petId = Pet0.id -...>

Strings are different. First diff at line 8 column 42. failed rules-placed-pet-orders-by-address-order-status.xml. - Visual diffs at: target/diff-petstore-rules-placed-pet-orders-by-address-order-status.xml.html expected:<...r" ON Customer.id = [Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE Customer_address_xa.zip = '99999' AND "Order".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Customer_address_xa.zip = '99999']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Customer_address_xa.zip = '99999') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Customer_address_xa.zip = '99999' is TRUE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Customer_address_xa.zip = '99999']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT(Customer_address_xa.zip = '99999') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Customer_address_xa.zip = '99999' is FALSE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order".status = 'placed']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'placed') AND (Customer_address_xa.zip = '99999')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'placed' is FALSE --(T) Customer_address_xa.zip = '99999' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Customer_address_xa.zip = '99999'] ; --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The following condition in the WHERE holds: --WHERE "Order".status = 'placed'</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = Order.customerId LEFT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Order.customerId IS NULL) AND (Customer.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order".status = 'placed'] ; --summary: [Customer] left [Order] ON Customer.id = Order.customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order --The following condition in the WHERE holds: --WHERE Customer_address_xa.zip = '99999'</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.petId IS NULL) AND (Pet.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Customer_address_xa.zip = '99999'] ; ["Order".status = 'placed'] ; --summary: [Order] right [Pet] ON Order.petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>9</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order].petId = Pet.id ...> but was:<...r" ON Customer.id = ["Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE Customer_address_xa.zip = '99999' AND "Order".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Customer_address_xa.zip = '99999']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Customer_address_xa.zip = '99999') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Customer_address_xa.zip = '99999' is TRUE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Customer_address_xa.zip = '99999']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT(Customer_address_xa.zip = '99999') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Customer_address_xa.zip = '99999' is FALSE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order".status = 'placed']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'placed') AND (Customer_address_xa.zip = '99999')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'placed' is FALSE --(T) Customer_address_xa.zip = '99999' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Customer_address_xa.zip = '99999'] ; --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The following condition in the WHERE holds: --WHERE "Order".status = 'placed'</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = "Order".customerId LEFT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (("Order".customerId IS NULL) AND (Customer.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order".status = 'placed'] ; --summary: [Customer] left [Order] ON Customer.id = "Order".customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order --The following condition in the WHERE holds: --WHERE Customer_address_xa.zip = '99999'</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".petId IS NULL) AND (Pet.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Customer_address_xa.zip = '99999'] ; ["Order".status = 'placed'] ; --summary: [Order] right [Pet] ON "Order".petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>9</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order"].petId = Pet.id ...>

Strings are different. First diff at line 8 column 42. failed rules-total-pets-by-address.xml. - Visual diffs at: target/diff-petstore-rules-total-pets-by-address.xml.html expected:<...r" ON Customer.id = [Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>FF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'approved' is FALSE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>TF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) "Order".status = 'approved' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = Order.customerId LEFT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.customerId IS NULL) AND (Customer.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Customer] left [Order] ON Customer.id = Order.customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.petId IS NULL) AND (Pet.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Order] right [Pet] ON Order.petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa RIGHT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::id IS NULL) AND (Pet_category_xref.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Pet] right [Category Pet_category_xref] ON Pet.category::id = Pet_category_xref.id --There exist some row in table Category Pet_category_xref --which does not join to any table in Pet</description> </fpcrule> <fpcrule><id>9</id><category>G</category><type>G</type><subtype>G</subtype><location>1.g.[GROUP BY Customer_address_xa.zip]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip HAVING count(*)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up a group with at least two rows</description> </fpcrule> <fpcrule><id>10</id><category>G</category><type>G</type><subtype>A</subtype><location>1.g.1.[Customer_address_xa.zip]</location> <sql>SELECT COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' HAVING count(distinct Customer_address_xa.zip)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up groups that are different only because of the filed: Customer_address_xa.zip</description> </fpcrule> <fpcrule><id>11</id><category>G</category><type>A</type><subtype>A</subtype><location>1.g.1.[SUM("Order".quantity)]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order].petId = Pet.id ...> but was:<...r" ON Customer.id = ["Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>FF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'approved' is FALSE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>TF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) "Order".status = 'approved' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = "Order".customerId LEFT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".customerId IS NULL) AND (Customer.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Customer] left [Order] ON Customer.id = "Order".customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".petId IS NULL) AND (Pet.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Order] right [Pet] ON "Order".petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa RIGHT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::id IS NULL) AND (Pet_category_xref.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Pet] right [Category Pet_category_xref] ON Pet.category::id = Pet_category_xref.id --There exist some row in table Category Pet_category_xref --which does not join to any table in Pet</description> </fpcrule> <fpcrule><id>9</id><category>G</category><type>G</type><subtype>G</subtype><location>1.g.[GROUP BY Customer_address_xa.zip]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip HAVING count(*)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up a group with at least two rows</description> </fpcrule> <fpcrule><id>10</id><category>G</category><type>G</type><subtype>A</subtype><location>1.g.1.[Customer_address_xa.zip]</location> <sql>SELECT COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' HAVING count(distinct Customer_address_xa.zip)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up groups that are different only because of the filed: Customer_address_xa.zip</description> </fpcrule> <fpcrule><id>11</id><category>G</category><type>A</type><subtype>A</subtype><location>1.g.1.[SUM("Order".quantity)]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order"].petId = Pet.id ...>

Strings are different. First diff at line 8 column 42. failed rules-placed-pet-orders-by-category-order-status.xml. - Visual diffs at: target/diff-petstore-rules-placed-pet-orders-by-category-order-status.xml.html expected:<...r" ON Customer.id = [Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE Pet.category::name = 'Dogs' AND "Order".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Pet.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::name = 'Dogs') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Pet.category::name = 'Dogs' is TRUE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Pet.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT(Pet.category::name = 'Dogs') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Pet.category::name = 'Dogs' is FALSE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order".status = 'placed']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'placed') AND (Pet.category::name = 'Dogs')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'placed' is FALSE --(T) Pet.category::name = 'Dogs' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = Order.customerId LEFT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.customerId IS NULL) AND (Customer.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Pet.category::name = 'Dogs'] ; ["Order".status = 'placed'] ; --summary: [Customer] left [Order] ON Customer.id = Order.customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Order.petId IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order".status = 'placed'] ; --summary: [Order] right [Pet] ON Order.petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order --The following condition in the WHERE holds: --WHERE Pet.category::name = 'Dogs'</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>9</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order].petId = Pet.id ...> but was:<...r" ON Customer.id = ["Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE Pet.category::name = 'Dogs' AND "Order".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Pet.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::name = 'Dogs') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Pet.category::name = 'Dogs' is TRUE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Pet.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT(Pet.category::name = 'Dogs') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Pet.category::name = 'Dogs' is FALSE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order".status = 'placed']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'placed') AND (Pet.category::name = 'Dogs')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'placed' is FALSE --(T) Pet.category::name = 'Dogs' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = "Order".customerId LEFT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".customerId IS NULL) AND (Customer.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Pet.category::name = 'Dogs'] ; ["Order".status = 'placed'] ; --summary: [Customer] left [Order] ON Customer.id = "Order".customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (("Order".petId IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order".status = 'placed'] ; --summary: [Order] right [Pet] ON "Order".petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order --The following condition in the WHERE holds: --WHERE Pet.category::name = 'Dogs'</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>9</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order"].petId = Pet.id ...>

Strings are different. First diff at line 8 column 42. failed rules-total-pet-orders-by-address.xml. - Visual diffs at: target/diff-petstore-rules-total-pet-orders-by-address.xml.html expected:<...r" ON Customer.id = [Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>FF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'approved' is FALSE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>TF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) "Order".status = 'approved' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = Order.customerId LEFT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.customerId IS NULL) AND (Customer.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Customer] left [Order] ON Customer.id = Order.customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.petId IS NULL) AND (Pet.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Order] right [Pet] ON Order.petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa RIGHT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::id IS NULL) AND (Pet_category_xref.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Pet] right [Category Pet_category_xref] ON Pet.category::id = Pet_category_xref.id --There exist some row in table Category Pet_category_xref --which does not join to any table in Pet</description> </fpcrule> <fpcrule><id>9</id><category>G</category><type>G</type><subtype>G</subtype><location>1.g.[GROUP BY Customer_address_xa.zip]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip HAVING count(*)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up a group with at least two rows</description> </fpcrule> <fpcrule><id>10</id><category>G</category><type>G</type><subtype>A</subtype><location>1.g.1.[Customer_address_xa.zip]</location> <sql>SELECT COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order].petId = Pet.id ...> but was:<...r" ON Customer.id = ["Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>FF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'approved' is FALSE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>TF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) "Order".status = 'approved' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = "Order".customerId LEFT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".customerId IS NULL) AND (Customer.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Customer] left [Order] ON Customer.id = "Order".customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".petId IS NULL) AND (Pet.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Order] right [Pet] ON "Order".petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa RIGHT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::id IS NULL) AND (Pet_category_xref.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Pet] right [Category Pet_category_xref] ON Pet.category::id = Pet_category_xref.id --There exist some row in table Category Pet_category_xref --which does not join to any table in Pet</description> </fpcrule> <fpcrule><id>9</id><category>G</category><type>G</type><subtype>G</subtype><location>1.g.[GROUP BY Customer_address_xa.zip]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip HAVING count(*)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up a group with at least two rows</description> </fpcrule> <fpcrule><id>10</id><category>G</category><type>G</type><subtype>A</subtype><location>1.g.1.[Customer_address_xa.zip]</location> <sql>SELECT COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order"].petId = Pet.id ...>

Strings are different. First diff at line 8 column 42. failed rules-placed-pet-orders-by-address-order-status.xml. - Visual diffs at: target/diff-petstore-rules-placed-pet-orders-by-address-order-status.xml.html expected:<...r" ON Customer.id = [Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE Customer_address_xa.zip = '99999' AND "Order".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Customer_address_xa.zip = '99999']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Customer_address_xa.zip = '99999') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Customer_address_xa.zip = '99999' is TRUE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Customer_address_xa.zip = '99999']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT(Customer_address_xa.zip = '99999') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Customer_address_xa.zip = '99999' is FALSE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order".status = 'placed']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'placed') AND (Customer_address_xa.zip = '99999')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'placed' is FALSE --(T) Customer_address_xa.zip = '99999' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Customer_address_xa.zip = '99999'] ; --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The following condition in the WHERE holds: --WHERE "Order".status = 'placed'</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = Order.customerId LEFT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Order.customerId IS NULL) AND (Customer.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order".status = 'placed'] ; --summary: [Customer] left [Order] ON Customer.id = Order.customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order --The following condition in the WHERE holds: --WHERE Customer_address_xa.zip = '99999'</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.petId IS NULL) AND (Pet.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Customer_address_xa.zip = '99999'] ; ["Order".status = 'placed'] ; --summary: [Order] right [Pet] ON Order.petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>9</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order].petId = Pet.id ...> but was:<...r" ON Customer.id = ["Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE Customer_address_xa.zip = '99999' AND "Order".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Customer_address_xa.zip = '99999']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Customer_address_xa.zip = '99999') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Customer_address_xa.zip = '99999' is TRUE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Customer_address_xa.zip = '99999']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT(Customer_address_xa.zip = '99999') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Customer_address_xa.zip = '99999' is FALSE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order".status = 'placed']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'placed') AND (Customer_address_xa.zip = '99999')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'placed' is FALSE --(T) Customer_address_xa.zip = '99999' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Customer_address_xa.zip = '99999'] ; --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The following condition in the WHERE holds: --WHERE "Order".status = 'placed'</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = "Order".customerId LEFT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (("Order".customerId IS NULL) AND (Customer.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order".status = 'placed'] ; --summary: [Customer] left [Order] ON Customer.id = "Order".customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order --The following condition in the WHERE holds: --WHERE Customer_address_xa.zip = '99999'</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".petId IS NULL) AND (Pet.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Customer_address_xa.zip = '99999'] ; ["Order".status = 'placed'] ; --summary: [Order] right [Pet] ON "Order".petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Customer_address_xa.zip = '99999' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>9</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order"].petId = Pet.id ...>

Strings are different. First diff at line 8 column 42. failed rules-total-pets-by-address.xml. - Visual diffs at: target/diff-petstore-rules-total-pets-by-address.xml.html expected:<...r" ON Customer.id = [Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>FF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'approved' is FALSE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>TF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) "Order".status = 'approved' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = Order.customerId LEFT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.customerId IS NULL) AND (Customer.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Customer] left [Order] ON Customer.id = Order.customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.petId IS NULL) AND (Pet.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Order] right [Pet] ON Order.petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa RIGHT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::id IS NULL) AND (Pet_category_xref.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Pet] right [Category Pet_category_xref] ON Pet.category::id = Pet_category_xref.id --There exist some row in table Category Pet_category_xref --which does not join to any table in Pet</description> </fpcrule> <fpcrule><id>9</id><category>G</category><type>G</type><subtype>G</subtype><location>1.g.[GROUP BY Customer_address_xa.zip]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip HAVING count(*)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up a group with at least two rows</description> </fpcrule> <fpcrule><id>10</id><category>G</category><type>G</type><subtype>A</subtype><location>1.g.1.[Customer_address_xa.zip]</location> <sql>SELECT COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' HAVING count(distinct Customer_address_xa.zip)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up groups that are different only because of the filed: Customer_address_xa.zip</description> </fpcrule> <fpcrule><id>11</id><category>G</category><type>A</type><subtype>A</subtype><location>1.g.1.[SUM("Order".quantity)]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order].petId = Pet.id ...> but was:<...r" ON Customer.id = ["Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>FF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'approved' is FALSE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>TF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) "Order".status = 'approved' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = "Order".customerId LEFT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".customerId IS NULL) AND (Customer.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Customer] left [Order] ON Customer.id = "Order".customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".petId IS NULL) AND (Pet.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Order] right [Pet] ON "Order".petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa RIGHT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::id IS NULL) AND (Pet_category_xref.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Pet] right [Category Pet_category_xref] ON Pet.category::id = Pet_category_xref.id --There exist some row in table Category Pet_category_xref --which does not join to any table in Pet</description> </fpcrule> <fpcrule><id>9</id><category>G</category><type>G</type><subtype>G</subtype><location>1.g.[GROUP BY Customer_address_xa.zip]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip HAVING count(*)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up a group with at least two rows</description> </fpcrule> <fpcrule><id>10</id><category>G</category><type>G</type><subtype>A</subtype><location>1.g.1.[Customer_address_xa.zip]</location> <sql>SELECT COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' HAVING count(distinct Customer_address_xa.zip)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up groups that are different only because of the filed: Customer_address_xa.zip</description> </fpcrule> <fpcrule><id>11</id><category>G</category><type>A</type><subtype>A</subtype><location>1.g.1.[SUM("Order".quantity)]</location> <sql>SELECT Customer_address_xa.zip , SUM("Order".quantity) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order"].petId = Pet.id ...>

Strings are different. First diff at line 8 column 42. failed rules-placed-pet-orders-by-category-order-status.xml. - Visual diffs at: target/diff-petstore-rules-placed-pet-orders-by-category-order-status.xml.html expected:<...r" ON Customer.id = [Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE Pet.category::name = 'Dogs' AND "Order".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Pet.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::name = 'Dogs') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Pet.category::name = 'Dogs' is TRUE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Pet.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT(Pet.category::name = 'Dogs') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Pet.category::name = 'Dogs' is FALSE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order".status = 'placed']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'placed') AND (Pet.category::name = 'Dogs')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'placed' is FALSE --(T) Pet.category::name = 'Dogs' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = Order.customerId LEFT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.customerId IS NULL) AND (Customer.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Pet.category::name = 'Dogs'] ; ["Order".status = 'placed'] ; --summary: [Customer] left [Order] ON Customer.id = Order.customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Order.petId IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order".status = 'placed'] ; --summary: [Order] right [Pet] ON Order.petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order --The following condition in the WHERE holds: --WHERE Pet.category::name = 'Dogs'</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>9</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order].petId = Pet.id ...> but was:<...r" ON Customer.id = ["Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE Pet.category::name = 'Dogs' AND "Order".status = 'placed'</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>TT</subtype><location>1.w.1.[Pet.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::name = 'Dogs') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) Pet.category::name = 'Dogs' is TRUE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.1.[Pet.category::name = 'Dogs']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT(Pet.category::name = 'Dogs') AND ("Order".status = 'placed')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) Pet.category::name = 'Dogs' is FALSE --(T) "Order".status = 'placed' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>S</category><type>T</type><subtype>FT</subtype><location>1.w.2.["Order".status = 'placed']</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'placed') AND (Pet.category::name = 'Dogs')</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'placed' is FALSE --(T) Pet.category::name = 'Dogs' is TRUE</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = "Order".customerId LEFT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".customerId IS NULL) AND (Customer.id IS NOT NULL)</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [Pet.category::name = 'Dogs'] ; ["Order".status = 'placed'] ; --summary: [Customer] left [Order] ON Customer.id = "Order".customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (("Order".petId IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs')</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: ["Order".status = 'placed'] ; --summary: [Order] right [Pet] ON "Order".petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order --The following condition in the WHERE holds: --WHERE Pet.category::name = 'Dogs'</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT * FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND (Pet.category::name = 'Dogs' AND "Order".status = 'placed')</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>9</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT * FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order"].petId = Pet.id ...>

Strings are different. First diff at line 8 column 42. failed rules-total-pet-orders-by-address.xml. - Visual diffs at: target/diff-petstore-rules-total-pet-orders-by-address.xml.html expected:<...r" ON Customer.id = [Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>FF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'approved' is FALSE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>TF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) "Order".status = 'approved' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = Order.customerId LEFT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.customerId IS NULL) AND (Customer.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Customer] left [Order] ON Customer.id = Order.customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Order.petId IS NULL) AND (Pet.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Order] right [Pet] ON Order.petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = Order.customerId RIGHT JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa RIGHT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::id IS NULL) AND (Pet_category_xref.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Pet] right [Category Pet_category_xref] ON Pet.category::id = Pet_category_xref.id --There exist some row in table Category Pet_category_xref --which does not join to any table in Pet</description> </fpcrule> <fpcrule><id>9</id><category>G</category><type>G</type><subtype>G</subtype><location>1.g.[GROUP BY Customer_address_xa.zip]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order.petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip HAVING count(*)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up a group with at least two rows</description> </fpcrule> <fpcrule><id>10</id><category>G</category><type>G</type><subtype>A</subtype><location>1.g.1.[Customer_address_xa.zip]</location> <sql>SELECT COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = Order.customerId INNER JOIN Pet ON Order].petId = Pet.id ...> but was:<...r" ON Customer.id = ["Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip</parsedsql> <fpcrules> <fpcrule><id>1</id><category>S</category><type>T</type><subtype>FF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE NOT("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(F) "Order".status = 'approved' is FALSE</description> </fpcrule> <fpcrule><id>2</id><category>S</category><type>T</type><subtype>TF</subtype><location>1.w.1.[WHERE "Order".status = 'approved']</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description>--A set of joined tables such that: --The WHERE condition fulfills: --(T) "Order".status = 'approved' is TRUE</description> </fpcrule> <fpcrule><id>3</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.1.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Customer_address_xa.fk_xa IS NULL) AND (Customer.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Customer] left [Customer_address_xa] ON Customer.id = Customer_address_xa.fk_xa --There exist a set of rows joined from tables Customer, Order, Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Customer_address_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>4</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.2.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa LEFT JOIN "Order" ON Customer.id = "Order".customerId LEFT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".customerId IS NULL) AND (Customer.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Customer] left [Order] ON Customer.id = "Order".customerId --There exist a set of rows joined from tables Customer, Customer_address_xa --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>5</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.3.[INNER JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ("Order".petId IS NULL) AND (Pet.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Order] right [Pet] ON "Order".petId = Pet.id --There exist a set of rows joined from tables Pet, Pet_tags_xa, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Order</description> </fpcrule> <fpcrule><id>6</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.4.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa INNER JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_tags_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_tags_xa] ON Pet.id = Pet_tags_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_photoUrls_xa, Category Pet_category_xref --which does not join to any table in Pet_tags_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>7</id><category>J</category><type>L</type><subtype>O</subtype><location>1.j.5.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer INNER JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id INNER JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa INNER JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE ((Pet_photoUrls_xa.fk_xa IS NULL) AND (Pet.id IS NOT NULL)) AND ("Order".status = 'approved') GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --summary: [Pet] left [Pet_photoUrls_xa] ON Pet.id = Pet_photoUrls_xa.fk_xa --There exist a set of rows joined from tables Customer, Customer_address_xa, Order, Pet, Pet_tags_xa, Category Pet_category_xref --which does not join to any table in Pet_photoUrls_xa --The WHERE condition is TRUE.</description> </fpcrule> <fpcrule><id>8</id><category>J</category><type>R</type><subtype>O</subtype><location>1.j.6.[LEFT JOIN]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa RIGHT JOIN "Order" ON Customer.id = "Order".customerId RIGHT JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa RIGHT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE (Pet.category::id IS NULL) AND (Pet_category_xref.id IS NOT NULL) GROUP BY Customer_address_xa.zip</sql> <description> --The JOIN tables fulfill: --COMMENT: Reduced conditions: [WHERE "Order".status = 'approved'] ; --summary: [Pet] right [Category Pet_category_xref] ON Pet.category::id = Pet_category_xref.id --There exist some row in table Category Pet_category_xref --which does not join to any table in Pet</description> </fpcrule> <fpcrule><id>9</id><category>G</category><type>G</type><subtype>G</subtype><location>1.g.[GROUP BY Customer_address_xa.zip]</location> <sql>SELECT Customer_address_xa.zip , COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order".petId = Pet.id LEFT JOIN Pet_tags_xa ON Pet.id = Pet_tags_xa.fk_xa LEFT JOIN Pet_photoUrls_xa ON Pet.id = Pet_photoUrls_xa.fk_xa LEFT JOIN Category Pet_category_xref ON Pet.category::id = Pet_category_xref.id WHERE "Order".status = 'approved' GROUP BY Customer_address_xa.zip HAVING count(*)&gt;1</sql> <description>--A set of joined tables such that: --The WHERE condition is TRUE. --There exist a set of rows in the input tables that make up a group with at least two rows</description> </fpcrule> <fpcrule><id>10</id><category>G</category><type>G</type><subtype>A</subtype><location>1.g.1.[Customer_address_xa.zip]</location> <sql>SELECT COUNT(*) FROM Customer LEFT JOIN Customer_address_xa ON Customer.id = Customer_address_xa.fk_xa INNER JOIN "Order" ON Customer.id = "Order".customerId INNER JOIN Pet ON "Order"].petId = Pet.id ...>

Strings are different. First diff at line 4 column 94. failed qagrow-live-total-pets-by-address.txt. - Visual diffs at: target/diff-petstore-qagrow-live-total-pets-by-address.txt.html expected:<...303"],"tags":[{"id":[703,"name":"704"}],"status":"available"} "pet":{"id":2,"category":{"id":2,"name":"102"},"name":"1202","photoUrls":["403"],"tags":[{"id":803,"name":"804"}],"status":"pending"} "pet":{"id":3,"category":{"id":2,"name":"102"},"name":"1302","photoUrls":["603"],"tags":[],"status":"sold"} "pet":{"id":4,"category":{"id":1,"name":"2"},"name":"1402","photoUrls":["503"],"tags":[{"id":903,"name":"904"}],"status":"available"} "pet":{"id":5,"category":{"id":1,"name":"2"},"name":"1502","photoUrls":[],"tags":[{"id":1003,"name":"1004"}],"status":"pending"} "order":{"id":1,"petId":1,"customerId":1,"quantity":2104,"shipDate":"2007-01-26T00:00:00.000+00:00","status":"placed","complete":false} "order":{"id":2,"petId":1,"customerId":1,"quantity":0,"shipDate":"2007-01-27T00:00:00.000+00:00","status":"approved","complete":true} "order":{"id":3,"petId":2,"customerId":1,"quantity":0,"shipDate":"2007-01-28T00:00:00.000+00:00","status":"approved","complete":false} "order":{"id":4,"petId":1,"customerId":1,"quantity":0,"shipDate":"2007-01-29T00:00:00.000+00:00","status":"approved","complete":true} "order":{"id":5,"petId":1,"customerId":2,"quantity":2504,"shipDate":"2007-01-30T00:00:00.000+00:00","status":"approved","complete":false} "order":{"id":6,"petId":3,"customerId":1,"quantity":2604,"shipDate":"2007-02-01T00:00:00.000+00:00","status":"approved","complete":true} "order":{"id":7,"petId":5,"customerId":1,"quantity":2704,"shipDate":"2007-02-02T00:00:00.000+00:00","status":"approved","complete":false} "customer":{"id":1,"username":"1802","address":[{"street":"1603","city":"1604","state":"1605","zip":"0"}]} "customer":{"id":2,"username":"1902","address":[]} "customer":{"id":3,"username":"2002","address":[{"street":"1703","city":"1704","state":"17]05","zip":"1"}]} > but was:<...303"],"tags":[{"id":[603,"name":"604"},{"id":703,"name":"704"},{"id":803,"name":"804"}],"status":"available"} "pet":{"id":2,"category":{"id":2,"name":"102"},"name":"1202","photoUrls":["403"],"tags":[],"status":"pending"} "pet":{"id":3,"category":{"id":1,"name":"2"},"name":"1302","photoUrls":["503"],"tags":[{"id":903,"name":"904"}],"status":"sold"} "pet":{"id":4,"category":{"id":1,"name":"2"},"name":"1402","photoUrls":[],"tags":[{"id":1003,"name":"1004"}],"status":"available"} "order":{"id":1,"petId":1,"customerId":1,"quantity":2004,"shipDate":"2007-01-25T00:00:00.000+00:00","status":"placed","complete":true} "order":{"id":2,"petId":1,"customerId":1,"quantity":0,"shipDate":"2007-01-26T00:00:00.000+00:00","status":"approved","complete":false} "order":{"id":3,"petId":2,"customerId":1,"quantity":2204,"shipDate":"2007-01-27T00:00:00.000+00:00","status":"approved","complete":true} "order":{"id":4,"petId":2,"customerId":1,"quantity":2304,"shipDate":"2007-01-28T00:00:00.000+00:00","status":"approved","complete":false} "order":{"id":5,"petId":1,"customerId":2,"quantity":2404,"shipDate":"2007-01-29T00:00:00.000+00:00","status":"approved","complete":true} "order":{"id":6,"petId":4,"customerId":1,"quantity":2504,"shipDate":"2007-01-30T00:00:00.000+00:00","status":"approved","complete":false} "customer":{"id":1,"username":"1702","address":[{"street":"1503","city":"1504","state":"1505","zip":"0"}]} "customer":{"id":2,"username":"1802","address":[]} "customer":{"id":3,"username":"1902","address":[{"street":"1603","city":"1604","state":"16]05","zip":"1"}]} >

Strings are different. First diff at line 4 column 55. failed qagrow-live-total-pet-orders-by-address.txt. - Visual diffs at: target/diff-petstore-qagrow-live-total-pet-orders-by-address.txt.html expected:<...name":"2"},"name":"1[102","photoUrls":["303"],"tags":[{"id":703,"name":"704"}],"status":"available"} "pet":{"id":2,"category":{"id":2,"name":"102"},"name":"1202","photoUrls":["403"],"tags":[{"id":803,"name":"804"}],"status":"pending"} "pet":{"id":3,"category":{"id":2,"name":"102"},"name":"1302","photoUrls":["503"],"tags":[{"id":903,"name":"904"}],"status":"sold"} "pet":{"id":4,"category":{"id":1,"name":"2"},"name":"1402","photoUrls":["603"],"tags":[],"status":"available"} "pet":{"id":5,"category":{"id":1,"name":"2"},"name":"1502","photoUrls":[],"tags":[{"id":1003,"name":"1004"}],"status":"pending"} "order":{"id":1,"petId":1,"customerId":1,"quantity":2104,"shipDate":"2007-01-26T00:00:00.000+00:00","status":"placed","complete":false} "order":{"id":2,"petId":1,"customerId":1,"quantity":2204,"shipDate":"2007-01-27T00:00:00.000+00:00","status":"approved","complete":true} "order":{"id":3,"petId":2,"customerId":1,"quantity":2304,"shipDate":"2007-01-28T00:00:00.000+00:00","status":"approved","complete":false} "order":{"id":4,"petId":1,"customerId":2,"quantity":2404,"shipDate":"2007-01-29T00:00:00.000+00:00","status":"approved","complete":true} "order":{"id":5,"petId":4,"customerId":1,"quantity":2504,"shipDate":"2007-01-30T00:00:00.000+00:00","status":"approved","complete":false} "order":{"id":6,"petId":5,"customerId":1,"quantity":2604,"shipDate":"2007-02-01T00:00:00.000+00:00","status":"approved","complete":true} "customer":{"id":1,"username":"1802","address":[{"street":"1603","city":"1604","state":"1605","zip":"0"}]} "customer":{"id":2,"username":"1902","address":[]} "customer":{"id":3,"username":"2002","address":[{"street":"1703","city":"1704","state":"1705","zip":"1]"}]} > but was:<...name":"2"},"name":"1[002","photoUrls":["303"],"tags":[{"id":603,"name":"604"},{"id":703,"name":"704"}],"status":"sold"} "pet":{"id":2,"category":{"id":2,"name":"102"},"name":"1102","photoUrls":["403"],"tags":[],"status":"available"} "pet":{"id":3,"category":{"id":1,"name":"2"},"name":"1202","photoUrls":["503"],"tags":[{"id":803,"name":"804"}],"status":"pending"} "pet":{"id":4,"category":{"id":1,"name":"2"},"name":"1302","photoUrls":[],"tags":[{"id":903,"name":"904"}],"status":"sold"} "order":{"id":1,"petId":1,"customerId":1,"quantity":1904,"shipDate":"2007-01-24T00:00:00.000+00:00","status":"placed","complete":false} "order":{"id":2,"petId":1,"customerId":1,"quantity":2004,"shipDate":"2007-01-25T00:00:00.000+00:00","status":"approved","complete":true} "order":{"id":3,"petId":2,"customerId":1,"quantity":2104,"shipDate":"2007-01-26T00:00:00.000+00:00","status":"approved","complete":false} "order":{"id":4,"petId":2,"customerId":1,"quantity":2204,"shipDate":"2007-01-27T00:00:00.000+00:00","status":"approved","complete":true} "order":{"id":5,"petId":1,"customerId":2,"quantity":2304,"shipDate":"2007-01-28T00:00:00.000+00:00","status":"approved","complete":false} "order":{"id":6,"petId":4,"customerId":1,"quantity":2404,"shipDate":"2007-01-29T00:00:00.000+00:00","status":"approved","complete":true} "customer":{"id":1,"username":"1602","address":[{"street":"1403","city":"1404","state":"1405","zip":"0"}]} "customer":{"id":2,"username":"1702","address":[]} "customer":{"id":3,"username":"1802","address":[{"street":"1503","city":"1504","state":"1505","zip":"0]"}]} >

Strings are different. First diff at line 4 column 94. failed qagrow-local-total-pets-by-address.txt. - Visual diffs at: target/diff-petstore-qagrow-local-total-pets-by-address.txt.html expected:<...303"],"tags":[{"id":[703,"name":"704"}],"status":"available"} "Pet":{"id":2,"name":"1202","category":{"id":2,"name":"102"},"photoUrls":["403"],"tags":[{"id":803,"name":"804"}],"status":"pending"} "Pet":{"id":3,"name":"1302","category":{"id":2,"name":"102"},"photoUrls":["603"],"tags":[],"status":"sold"} "Pet":{"id":4,"name":"1402","category":{"id":1,"name":"2"},"photoUrls":["503"],"tags":[{"id":903,"name":"904"}],"status":"available"} "Pet":{"id":5,"name":"1502","category":{"id":1,"name":"2"},"photoUrls":[],"tags":[{"id":1003,"name":"1004"}],"status":"pending"} "Customer":{"id":1,"username":"1802","address":[{"street":"1603","city":"1604","state":"1605","zip":"0"}]} "Customer":{"id":2,"username":"1902","address":[]} "Customer":{"id":3,"username":"2002","address":[{"street":"1703","city":"1704","state":"1705","zip":"1"}]} "Order":{"id":1,"petId":1,"customerId":1,"quantity":2104,"shipDate":"2007-01-26","status":"placed","complete":false} "Order":{"id":2,"petId":1,"customerId":1,"quantity":0,"shipDate":"2007-01-27","status":"approved","complete":true} "Order":{"id":3,"petId":2,"customerId":1,"quantity":0,"shipDate":"2007-01-28","status":"approved","complete":false} "Order":{"id":4,"petId":1,"customerId":1,"quantity":0,"shipDate":"2007-01-29","status":"approved","complete":true} "Order":{"id":5,"petId":1,"customerId":2,"quantity":2504,"shipDate":"2007-01-30","status":"approved","complete":false} "Order":{"id":6,"petId":3,"customerId":1,"quantity":2604,"shipDate":"2007-02-01","status":"approved","complete":true} "Order":{"id":7,"petId":5,"customerId":1,"quantity":2704,"shipDate":"2007-02-02]","status":"approved...> but was:<...303"],"tags":[{"id":[603,"name":"604"},{"id":703,"name":"704"},{"id":803,"name":"804"}],"status":"available"} "Pet":{"id":2,"name":"1202","category":{"id":2,"name":"102"},"photoUrls":["403"],"tags":[],"status":"pending"} "Pet":{"id":3,"name":"1302","category":{"id":1,"name":"2"},"photoUrls":["503"],"tags":[{"id":903,"name":"904"}],"status":"sold"} "Pet":{"id":4,"name":"1402","category":{"id":1,"name":"2"},"photoUrls":[],"tags":[{"id":1003,"name":"1004"}],"status":"available"} "Customer":{"id":1,"username":"1702","address":[{"street":"1503","city":"1504","state":"1505","zip":"0"}]} "Customer":{"id":2,"username":"1802","address":[]} "Customer":{"id":3,"username":"1902","address":[{"street":"1603","city":"1604","state":"1605","zip":"1"}]} "Order":{"id":1,"petId":1,"customerId":1,"quantity":2004,"shipDate":"2007-01-25","status":"placed","complete":true} "Order":{"id":2,"petId":1,"customerId":1,"quantity":0,"shipDate":"2007-01-26","status":"approved","complete":false} "Order":{"id":3,"petId":2,"customerId":1,"quantity":2204,"shipDate":"2007-01-27","status":"approved","complete":true} "Order":{"id":4,"petId":2,"customerId":1,"quantity":2304,"shipDate":"2007-01-28","status":"approved","complete":false} "Order":{"id":5,"petId":1,"customerId":2,"quantity":2404,"shipDate":"2007-01-29","status":"approved","complete":true} "Order":{"id":6,"petId":4,"customerId":1,"quantity":2504,"shipDate":"2007-01-30]","status":"approved...>

Strings are different. First diff at line 4 column 24. failed qagrow-local-total-pet-orders-by-address.txt. - Visual diffs at: target/diff-petstore-qagrow-local-total-pet-orders-by-address.txt.html expected:<...t":{"id":1,"name":"1[102","category":{"id":1,"name":"2"},"photoUrls":["303"],"tags":[{"id":703,"name":"704"}],"status":"available"} "Pet":{"id":2,"name":"1202","category":{"id":2,"name":"102"},"photoUrls":["403"],"tags":[{"id":803,"name":"804"}],"status":"pending"} "Pet":{"id":3,"name":"1302","category":{"id":2,"name":"102"},"photoUrls":["503"],"tags":[{"id":903,"name":"904"}],"status":"sold"} "Pet":{"id":4,"name":"1402","category":{"id":1,"name":"2"},"photoUrls":["603"],"tags":[],"status":"available"} "Pet":{"id":5,"name":"1502","category":{"id":1,"name":"2"},"photoUrls":[],"tags":[{"id":1003,"name":"1004"}],"status":"pending"} "Customer":{"id":1,"username":"1802","address":[{"street":"1603","city":"1604","state":"1605","zip":"0"}]} "Customer":{"id":2,"username":"1902","address":[]} "Customer":{"id":3,"username":"2002","address":[{"street":"1703","city":"1704","state":"1705","zip":"1"}]} "Order":{"id":1,"petId":1,"customerId":1,"quantity":2104,"shipDate":"2007-01-26","status":"placed","complete":false} "Order":{"id":2,"petId":1,"customerId":1,"quantity":2204,"shipDate":"2007-01-27","status":"approved","complete":true} "Order":{"id":3,"petId":2,"customerId":1,"quantity":2304,"shipDate":"2007-01-28","status":"approved","complete":false} "Order":{"id":4,"petId":1,"customerId":2,"quantity":2404,"shipDate":"2007-01-29","status":"approved","complete":true} "Order":{"id":5,"petId":4,"customerId":1,"quantity":2504,"shipDate":"2007-01-30","status":"approved","complete":false} "Order":{"id":6,"petId":5,"customerId":1,"quantity":2604,"shipDate":"2007-02-01]","status":"approved...> but was:<...t":{"id":1,"name":"1[002","category":{"id":1,"name":"2"},"photoUrls":["303"],"tags":[{"id":603,"name":"604"},{"id":703,"name":"704"}],"status":"sold"} "Pet":{"id":2,"name":"1102","category":{"id":2,"name":"102"},"photoUrls":["403"],"tags":[],"status":"available"} "Pet":{"id":3,"name":"1202","category":{"id":1,"name":"2"},"photoUrls":["503"],"tags":[{"id":803,"name":"804"}],"status":"pending"} "Pet":{"id":4,"name":"1302","category":{"id":1,"name":"2"},"photoUrls":[],"tags":[{"id":903,"name":"904"}],"status":"sold"} "Customer":{"id":1,"username":"1602","address":[{"street":"1403","city":"1404","state":"1405","zip":"0"}]} "Customer":{"id":2,"username":"1702","address":[]} "Customer":{"id":3,"username":"1802","address":[{"street":"1503","city":"1504","state":"1505","zip":"0"}]} "Order":{"id":1,"petId":1,"customerId":1,"quantity":1904,"shipDate":"2007-01-24","status":"placed","complete":false} "Order":{"id":2,"petId":1,"customerId":1,"quantity":2004,"shipDate":"2007-01-25","status":"approved","complete":true} "Order":{"id":3,"petId":2,"customerId":1,"quantity":2104,"shipDate":"2007-01-26","status":"approved","complete":false} "Order":{"id":4,"petId":2,"customerId":1,"quantity":2204,"shipDate":"2007-01-27","status":"approved","complete":true} "Order":{"id":5,"petId":1,"customerId":2,"quantity":2304,"shipDate":"2007-01-28","status":"approved","complete":false} "Order":{"id":6,"petId":4,"customerId":1,"quantity":2404,"shipDate":"2007-01-29]","status":"approved...>

❌ Tests reported 14 failures

Process completed with exit code 1.

No files were found with the provided path: **/target/site **/target/surefire-reports **/target/pit-reports **/target/out **/target/*.html **/target/*.log. No artifacts will be uploaded.