-Calculus with Conditional Rewriting.

Frédéric Blanqui Claude Kirchner Colin Riba

Published in: FoSSaCS (2006)

Keyphrases

rewriting rules
conjunctive queries
rewrite rules
query rewriting
random field model
databases
website
conditional logic
formal language
data sets
graphical models
proof procedure