Relational Verification Through Horn Clause Transformation.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: SAS (2016)
Keyphrases
- horn clauses
- inductive logic programming
- inference rules
- relational learning
- logic programs
- relational databases
- first order logic
- relational data
- data model
- formal verification
- model checking
- general purpose
- databases
- logic programming
- relational model
- database queries
- semi supervised
- signature verification
- transformation rules