SQLite JSON at Full Index Speed Using Generated Columns