Consistency and Completeness of Rewriting in the Calculus of Constructions

Daria Walukiewicz-Chrzaszcz Jacek Chrzaszcz

Published in: CoRR (2008)

Keyphrases

rewrite rules
relational calculus
finitely representable
neural network
consistency checking
computer algebra
rewriting rules
qualitative spatial and temporal reasoning
database
knowledge representation
global constraints
algebraic structure
maintaining consistency
queries using views