AgentM

No, it means that the inclusion dependency error may also not have an additional context- it's a Haskell thing. One thing on my to-do list is to improve errors across-the-board...

Indeed, I am excited about new storage technologies as well. Project:M36 has a bunch of low-hanging fruit to implement in this context. I hope that you have seen "[UltraRAM](https://www.pcworld.com/article/564354/new-breakthrough-could-combine-storage-and-ram-into-a-single-component.html)" as...

Note that Project:M36 currently uses essential and common file system features: * journaled fs metadata- enables durability of ACID * fsync/fdatasync- enables durability of ACID * parallel writing to disk

Hi @jmatsushita and welcome to the project! Feel free to join us in IRC as well: chat.freenode.net #project-m36. That is indeed an interesting paper, but the proposal is highly reliant...

The type inference problem is covered by #46 where there is thankfully an easy workaround by adding the type to the relation. The backend doesn't yet connect the type of...

`Union`, which is used by projection, is probably also unnecessarily expensive.

A basic optimization for projection has been added in 04fd33c4efd28a0c7c8ef8d95bd163adc9d8ab5b.

`union` is still expensive due to `RelationTuple`'s `Eq` instance relying on `attributesEqual` called by the hashing mechanism. In most cases, that's extraneous validation since the types have already been validated....

Interesting points. Does this imply that the function-derived column should be of a different type despite generating standard values?

Well, we currently support multiple sessions per connection. That feature is independent of session lifetime. The purpose of multiple sessions is to allow single socket connections to introspect the database...