Formulog: Datalog + SMT + FP.
Aaron BembenekMichael GreenbergStephen ChongPublished in: Datalog (2022)
Keyphrases
- expressive power
- deductive databases
- statistical machine translation
- query answering
- query language
- datalog programs
- integrity constraints
- transitive closure
- logic programming
- ontology based data access
- word alignment
- data complexity
- relational query languages
- datalog queries
- data mining
- modulo theories
- incomplete information
- machine learning
- relational calculus
- recursive programs
- relational algebra
- database languages
- translation model
- database
- relational model
- special case
- data sets