An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

Ukachukwu Ndukwu Annabelle McIver

Published in: QAPL (2010)

Keyphrases

data independence
database management systems
databases
database systems
fuzzy logic
data model
monotonicity constraints
high level
probabilistic model
similarity search
first order logic
integrity constraints
times faster