Login / Signup
An Abstraction-Refinement Framework for Trigger Querying.
Guy Avni
Orna Kupferman
Published in:
SAS (2011)
Keyphrases
</>
main contribution
probabilistic model
databases
high level
key features
computational framework
real world
database systems
computational model
conceptual framework