Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting.
Ali AssafPublished in: TLCA (2015)
Keyphrases
- lambda calculus
- algebraic structure
- vector space
- fixed point
- presburger arithmetic
- dimensionality reduction
- queries using views
- query rewriting
- rewrite rules
- database query languages
- rewriting systems
- conjunctive queries
- computer algebra
- datalog programs
- type checking
- hilbert space
- database
- query optimization
- high dimensional data
- x ray
- database systems