Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems.
Trevor J. M. Bench-CaponDonatella CastelliFrans CoenenLaura Devendeville-BrisouxBarry EaglestoneNick J. FiddianAlex GrayAntoni LigezaAnca I. VermesanPublished in: Inf. Res. (1999)
Keyphrases
- database systems
- integrity verification
- data integrity
- database
- key issues
- data model
- data management
- database design
- high assurance
- relational database systems
- integrity constraints
- query optimization
- data sets
- petri net
- model checking
- database management systems
- human experts
- database technology
- query processing
- social networks
- neural network
- formal verification
- expert advice
- database integrity
- real time