Inference and enforcement of data structure consistency specifications.
Brian DemskyMichael D. ErnstPhilip J. GuoStephen McCamantJeff H. PerkinsMartin C. RinardPublished in: ISSTA (2006)
Keyphrases
- data structure
- probabilistic inference
- consistency checking
- space efficient
- bayesian networks
- inference process
- efficient data structures
- global consistency
- r tree
- belief networks
- random fields
- specification language
- structured prediction
- itemsets
- access control
- high level
- index structure
- probabilistic reasoning
- suffix tree
- functional requirements
- bayesian model
- expert systems
- data streams