Consistency and Completeness of Rewriting in the Calculus of Constructions.
Daria Walukiewicz-ChrzaszczJacek ChrzaszczPublished in: Log. Methods Comput. Sci. (2008)
Keyphrases
- query rewriting
- consistency checking
- qualitative spatial and temporal reasoning
- relational calculus
- rewrite rules
- provably correct
- computer algebra
- automated deduction
- finitely representable
- presburger arithmetic
- rewriting systems
- rewriting rules
- algebraic structure
- database systems
- cardinality constraints
- global consistency
- special case