Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases.
Hendrik DeckerPublished in: Semantics in Databases (2001)
Keyphrases
- databases
- closed world assumptions
- database systems
- relational databases
- data sources
- knowledge discovery
- logic programming
- classical logic
- multiple views
- database
- database views
- digital circuits
- logical framework
- modal logic
- data integration
- data model
- artificial intelligence
- indexing techniques
- temporal logic
- information systems