maurer / holmes

Datalog engine with extensions for integrating analyses
MIT License
38 stars 4 forks source link

Where should SubStr live in the language? #14

Closed maurer closed 7 years ago

maurer commented 7 years ago

It has to be there, for efficiency's sake (to avoid pulling a megabyte from the database every time I want to do a 16 byte read for example), but it's currently shoehorned in there. Should there be an entire database-side-expressions language? What should it look like?

maurer commented 7 years ago

Fixed in master - SubStr is now the first of the Projections, the notion of a database side expression that is computed before being matched on.