Model Based Deduction for Database Schema Reasoning.
Peter BaumgartnerUlrich FurbachMargret Groß-HardtThomas KleemannPublished in: KI (2004)
Keyphrases
- database schema
- integrity constraints
- relational databases
- object oriented
- deductive reasoning
- database
- intuitionistic logic
- data integration
- functional dependencies
- entity relationship
- sql queries
- knowledge base
- schema mappings
- normal form
- data exchange
- inference rules
- semantic data model
- data management
- theorem proving
- owl ontologies
- database designer
- databases
- software components
- natural language processing
- knowledge representation
- artificial intelligence