Record types and SQLite output

[cd1m0]

I have an analysis generating a record type (int list) and I'm dumping it into an SQLite database. When I read it out I see an integer which I assume is an index into the record table. However I don't see any record table in the generated sqlite database? Is this expected?

To reproduce you can use the following sample:

.type IntList = [ head: number, tail: IntList ]
.decl R(x: IntList)

R([1, [2, [3, nil]]]).
.output R(IO=sqlite, dbname="tmp1.sqlite")

The resulting database:

sqlite3 tmp1.sqlite 
SQLite version 3.42.0 2023-05-16 12:36:15
Enter ".help" for usage hints.
sqlite> .tables
R              _R             __SymbolTable
sqlite> select * from _R;
3
sqlite> select * from __SymbolTable;
sqlite> select * from R;
3
sqlite> 

[quentin]

Hi, it is a known limitation of the current SQLite output.

[cd1m0]

Are there any plans to fix this?

[quentin]

There are no plan to fix this at the moment.

Enhancing the sqlite output would require:

• specification of the sqlite schema for the record table,
• implementation in the sqlite writer,
• symmetrical implementation in the sqlite reader.

[cd1m0]

Can you provide detail on the `specification of the sqlite schema for the record table"?

Is it:

1. meant to look the same way as in the CSV output, where the record type is seralized to a string and placed as a symbol in a single column

OR

2. Have one "record" table per record type that lists the ids of fields/symbols

If you provide some context on how you want it to work I can take a stab at fixing it