Foundations of Relational Artifacts Verification.
Babak Bagheri HaririDiego CalvaneseGiuseppe De GiacomoRiccardo De MasellisPaolo FelliPublished in: BPM (2011)
Keyphrases
- relational databases
- relational data
- artificial intelligence
- model checking
- high quality
- formal verification
- neural network
- concurrent systems
- relational graph
- database language
- formal methods
- relational learning
- relational model
- formal analysis
- signature verification
- website
- person identification
- fingerprint verification
- computer vision
- verification method
- social networks
- data sets