Projections for Infinitary Rewriting.
Carlos LombardiAlejandro RíosRoel de VrijerPublished in: LSFA (2016)
Keyphrases
- three dimensional
- tomographic reconstruction
- rewrite rules
- radon transform
- query rewriting
- rewriting systems
- discrete tomography
- image reconstruction from projections
- presburger arithmetic
- integrity constraints
- datalog programs
- conjunctive queries
- polyhedral objects
- special case
- rewriting rules
- linear projection
- relational databases
- queries using views
- machine learning
- database