10 Commits

Author SHA1 Message Date
521f40e36e Fixed most tests 2024-08-11 14:34:45 +02:00
c14c6cb91a Updated compiler and dependencies
* Upgraded to rustc 1.80
 * Updated dependencies
 * Fixed most linter warnings
2024-08-11 08:15:20 +02:00
8a00180eb0 Update dependencies 2021-03-01 08:40:02 +01:00
e4cbdf836f Rename library to mercator_parser 2020-04-01 18:14:45 +02:00
b8baee8019 Reduce dependencies. 2020-01-14 18:10:08 +01:00
7b8193e7bd Wee bit early to disable trace logs for release build 2019-09-16 17:29:40 +02:00
2b4eb67b9e Refactor & Connect to mercator_db
* Refactor the code, Update to the Service API REST JSON objects on disk.
 * Connect to the DB data model and engine to execute queries.
 * Remove the syntactic sugar around implicit `inside` operation on
   shapes, as it introduces issues.
2019-09-12 10:27:35 +02:00
6ed76e485e Parser implementation
* Adaptation of the grammar to make more regular w.r.t reference space
   names placement.

 * Implemented Type check

 * Implemented prediction of the result set cardinality. This assumes:
    + A space is not infinite, this is required to compute complementary
      sets as we can compute the whole space volume.
    + Density is mostly uniform, this allows us to assume the number of
      results is related with a constant factor to the volume in space
      of the selection.
    + The prediction is approximated by using the most pessimistic
      resulting cardinality for each operator, in order to keep the
      operation simple, and fast, at the expense of the precision.

 * Implemented execution, which calls into a DB abstraction layer. That
   layer is currently mostly empty. Execution is also implemented in a
   naive way, and should most likely be optimised.
2019-09-10 14:38:31 +02:00
0eaa7839cf Add timing info & use log for output 2019-09-10 14:38:31 +02:00
a14f145856 Rust Parser v1 2019-09-10 14:38:29 +02:00