feat: plastics example

[henrymai]

Rationale for this change

Add an additional plastics example to help improve documentation.

What changes are included in this PR?

plastics example is added.

Are these changes tested?

Yes.

Parsing the query: SELECT COUNT(*) AS total_types FROM types...
Done in 0.322801 ms.
Generating proof...Done in 67.493385 ms.
Verifying proof...Verified in 26.08694 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "total_types" }: BigInt([18])} })
Parsing the query: SELECT Name FROM types WHERE Biodegradable = TRUE ORDER BY Name...
Done in 1.145003 ms.
Generating proof...Done in 60.627026 ms.
Verifying proof...Verified in 24.175323 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "name" }: VarChar(["Cellulose Acetate", "Polybutylene Adipate Terephthalate (PBAT)", "Polybutylene Succinate (PBS)", "Polyethylene Furanoate (PEF)", "Polyhydroxyalkanoates (PHA)", "Polylactic Acid (PLA)", "Thermoplastic Starch (TPS)"])} })
Parsing the query: SELECT Code, SUM(Density)/COUNT(*) as avg_density FROM types GROUP BY Code ORDER BY Code...
Done in 0.780733 ms.
Generating proof...Done in 75.72289 ms.
Verifying proof...Verified in 33.427599 ms.
Query Result:
Err(ExpressionEvaluationError { source: Unsupported { expression: "Expression Wildcard is not supported yet" } })
Parsing the query: SELECT Name, Density FROM types WHERE Density > 1.0 ORDER BY Density DESC...
Done in 0.644346 ms.
Generating proof...Done in 116.537014 ms.
Verifying proof...Verified in 27.007822 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "name" }: VarChar(["Polyethylene Furanoate (PEF)", "Polyvinyl Chloride (PVC)", "Polyethylene Terephthalate (PET)", "Thermoplastic Starch (TPS)", "Cellulose Acetate", "Polybutylene Adipate Terephthalate (PBAT)", "Polybutylene Succinate (PBS)", "Polylactic Acid (PLA)", "Polyhydroxyalkanoates (PHA)", "Polycarbonate (PC)", "Acrylic (PMMA)", "Polyamide (Nylon)", "Polystyrene (PS)", "Polyurethane (PU)", "Acrylonitrile Butadiene Styrene (ABS)"]), Identifier { name: "density" }: Decimal75(Precision(20), 10, [MontScalar(BigInt([14300000000, 0, 0, 0])), MontScalar(BigInt([14000000000, 0, 0, 0])), MontScalar(BigInt([13800000000, 0, 0, 0])), MontScalar(BigInt([13500000000, 0, 0, 0])), MontScalar(BigInt([13000000000, 0, 0, 0])), MontScalar(BigInt([12600000000, 0, 0, 0])), MontScalar(BigInt([12600000000, 0, 0, 0])), MontScalar(BigInt([12500000000, 0, 0, 0])), MontScalar(BigInt([12400000000, 0, 0, 0])), MontScalar(BigInt([12000000000, 0, 0, 0])), MontScalar(BigInt([11800000000, 0, 0, 0])), MontScalar(BigInt([11500000000, 0, 0, 0])), MontScalar(BigInt([10500000000, 0, 0, 0])), MontScalar(BigInt([10500000000, 0, 0, 0])), MontScalar(BigInt([10400000000, 0, 0, 0]))])} })

[github-actions[bot]]

:tada: This PR is included in version 0.33.12 :tada:

The release is available on GitHub release

Your semantic-release bot :package::rocket: