On the nonaxiomatizability of some logics by finitely many schemas.
Saharon ShelahCharles SteinhornPublished in: Notre Dame J. Formal Log. (1986)
Keyphrases
- expressive power
- databases
- finite number
- data integration
- modal logic
- schema integration
- proof theory
- schema mappings
- conditional logic
- schema evolution
- nonmonotonic logics
- inductive inference
- propositional dynamic logic
- semantically enriched
- rewriting rules
- computational properties
- classical logic
- schema matching
- default logic
- data exchange
- neural network
- real time
- database schema
- knowledge representation
- propositional calculus
- data sets