A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas.
Anna FormicaMichele MissikoffRoberto TerenziPublished in: ICLP (1995)
Keyphrases
- database schema
- theorem prover
- object oriented
- theorem proving
- automated reasoning
- first order logic
- relational databases
- inference rules
- entity relationship
- term rewriting
- automated theorem proving
- integrity constraints
- database applications
- propositional logic
- programming language
- database design
- formal proof
- data model
- np complete
- formal semantics
- object oriented databases
- query language
- database
- software engineering
- natural deduction
- proof search
- schema evolution
- schema mappings
- consistency checking
- cardinality constraints
- logic programming
- case study
- functional dependencies
- data exchange
- semi automatic
- text mining