UDF to SQL translation through compositional lazy inductive synthesis.
Guoqiang ZhangYuanchao XuXipeng ShenIsil DilligPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- user defined functions
- functional programs
- sql queries
- relational databases
- query language
- relational database systems
- machine translation
- database design
- databases
- database language
- lazy learning
- inductive learning
- database server
- database
- database applications
- program synthesis
- machine learning
- back end
- database queries
- data structure
- data types
- data modeling
- database management
- database technology
- relational model
- inductive inference
- relational database management systems
- relational dbms
- structured query language
- sql database
- db universal database
- database processing
- data access
- aggregate functions
- database access
- database objects
- database development
- texture synthesis
- cd rom
- inductive logic programming