Roadmap - lambda-land/VDBMS GitHub Wiki

A roadmap of the project:

• Query translation: (needs to be implemented + tested on use cases + FW: property checked)
  • [(config, rel_q)]
  • [(fexp, rel_q)]
  • rel_q
  • Incremental query evaluation
• Query optimization (needs to be completed + tested on use cases + FW: property checked)
• Type system (like to refactor although not necessary + needs to be tested on use cases + FW: property checked)
• Connection to db engine (may require refactoring based on translations)
• Build variational result (may require refactoring based on translations)
• Pretty print variational table (needs to be implemented)
• Lifting any given relational schema to the variational one (FW: (needs to be implemented + tested on use cases))
• Lifting any given relational query to the variational one (FW: (needs to be implemented + tested on use cases))
• Lifting relational databases to variational ones (FW: (needs to be implemented + tested on use cases))
• Checking data consistency (may be required after experiments)
• Query encoding
  • Employee use case (needs to be completed)
  • Email use case (needs to be implemented)
• Synthesizing a variational database (FW: needs to be implemented)
• Synthesizing variational queries for a given VDB (FW: needs to be implemented)
• Property testing on the synthesized database and queries (FW: needs to be implemented)