Declarative Semantics of Passive and Active Updates in Logic Databases.
Paul SpruitJohn-Jules Ch. MeyerPublished in: FMLDO (1991)
Keyphrases
- declarative semantics
- databases
- logic programming
- deductive databases
- logic programs
- logic programming language
- operational semantics
- defeasible reasoning
- database
- integrity constraints
- partial order
- fixpoint
- data model
- data management
- model theoretic
- database systems
- answer sets
- nonmonotonic reasoning
- stable models
- relational databases
- inductive logic programming
- formal semantics
- default reasoning
- knowledge representation and reasoning
- situation calculus
- data warehouse
- knowledge representation
- data sources