A Logic for Negation in Database Systems.
Shamim A. NaqviPublished in: XP7.52 Workshop on Database Theory (1986)
Keyphrases
- database systems
- logic programming
- predicate logic
- logic programs
- closed world assumptions
- classical logic
- multi valued
- database
- derivation rules
- query processing
- query optimization
- data types
- modal logic
- relational database systems
- truth values
- horn clauses
- database design
- data model
- database technology
- database management systems
- defeasible logic
- databases
- fixed point semantics
- declarative semantics
- data management
- database applications
- deductive databases
- knowledge representation and reasoning
- automated reasoning
- computational properties
- operational semantics
- knowledge base
- asynchronous circuits
- transaction processing
- proof theory
- closed world assumption
- neural network
- concurrency control