Inductive verification of data model invariants in web applications using first-order logic.
Ivan BocicTevfik BultanNicolás RosnerPublished in: Autom. Softw. Eng. (2019)
Keyphrases
- web applications
- first order logic
- data model
- inductive logic programming
- knowledge representation
- relational algebra
- expressive power
- query language
- application development
- inference rules
- probabilistic reasoning
- theorem proving
- database systems
- probabilistic graphical models
- web services
- theorem prover
- markov networks
- database design
- representation language
- model checking
- end users
- transitive closure
- semi structured
- data integration
- relational model
- inductive learning
- databases
- database management systems
- relational data model
- xml data
- object oriented
- markov logic
- database
- mashup
- web application development
- web development
- horn clauses
- search algorithm
- xml documents
- data sources
- data types
- temporal logic
- bayesian networks
- natural language
- expert systems