Integration of Modal Logic and the Functional Data Model.
David R. SuttonPeter J. H. KingPublished in: BNCOD (1992)
Keyphrases
- modal logic
- data model
- data integration
- temporal logic
- decision procedures
- inference rules
- classical logic
- database integration
- epistemic logic
- object oriented
- database systems
- query language
- default logic
- conditional logic
- data sources
- xml documents
- explanation based generalization
- situation calculus
- model checking
- database management systems
- machine learning
- prime implicates
- object model
- autoepistemic logic
- expert systems
- dynamic logic
- databases