Convergence of Datalog over (Pre-) Semirings.
Mahmoud Abo KhamisHung Q. NgoReinhard PichlerDan SuciuYisu Remy WangPublished in: SIGMOD Rec. (2023)
Keyphrases
- containment of conjunctive queries
- deductive databases
- query answering
- expressive power
- query language
- integrity constraints
- convergence rate
- datalog programs
- genetic algorithm
- logic programming
- databases
- constraint satisfaction problems
- database systems
- faster convergence
- query containment
- stochastic approximation
- inclusion dependencies