Accelerating Datalog applications with cuDF.
Ahmedur Rahman ShovonLandon Richard DykenOded GreenThomas GilraySidharth KumarPublished in: IA3@SC (2022)
Keyphrases
- expressive power
- query answering
- deductive databases
- query language
- datalog programs
- logic programming
- database languages
- transitive closure
- data complexity
- integrity constraints
- relational query languages
- containment of conjunctive queries
- relational calculus
- case study
- query evaluation
- data exchange
- recursive programs
- information systems