Match It or Die: Proving Integrity by Equality.

Matteo Centenaro Riccardo Focardi

Published in: ARSPA-WITS (2010)

Keyphrases

integrity checking
machine learning
artificial intelligence
special case
query language
expressive power
integrity constraints