State of the Union: Type Inference Via Craig Interpolation.

Ranjit Jhala Rupak Majumdar Ru-Gang Xu

Published in: TACAS (2007)

Keyphrases

database
real time
probabilistic inference
databases
artificial intelligence
knowledge base
database systems
similarity measure
relational databases
special case
belief networks
multiple types