Commit Graph

8 Commits

Author SHA1 Message Date
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
32b35602fb Grammars, v1 2019-09-10 14:37:56 +02:00
978d29bbbe Ignore generated files 2019-09-10 14:37:10 +02:00
2f0b7e455c Licenses and acknowledgements 2019-09-10 14:35:20 +02:00