Reductions in Higher-Order Rewriting and Their Equivalence.
Pablo BarenbaumEduardo BonelliPublished in: CoRR (2022)
Keyphrases
- higher order
- datalog programs
- natural images
- high order
- rewriting rules
- rewrite rules
- pairwise
- low order
- lower order
- markov random field
- query rewriting
- conjunctive queries
- queries using views
- machine learning
- data management
- deductive databases
- markov models
- graphical models
- equivalence relation
- probabilistic model
- data sources
- query containment
- computational complexity
- image segmentation
- data sets