Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder.
Jasmin Christian BlanchetteTobias NipkowPublished in: ITP (2010)
Keyphrases
- relational model
- higher order
- relational databases
- data model
- database technology
- relational algebra
- functional dependencies
- incomplete information
- complex objects
- data modeling
- relational database systems
- knowledge representation
- relational models
- model checking
- markov random field
- conceptual model
- pairwise
- nested relations
- object oriented
- database systems
- spatial databases
- databases
- xml schema
- data sources
- query processing
- database