On the Automatic Detection of Heap-Induced Data Dependencies with Interprocedural Shape Analysis.
Adrian TineoFrancisco CorberaAngeles G. NavarroRafael AsenjoEmilio L. ZapataPublished in: ICPP Workshops (2009)
Keyphrases
- automatic detection
- shape analysis
- data dependencies
- relational databases
- shape representation
- functional dependencies
- shape descriptors
- data structure
- normal form
- multi valued
- image analysis and pattern recognition
- database schema
- medical imaging
- shape space
- incomplete data
- directed acyclic graph
- medical images
- three dimensional
- databases