Extending Datalog with Declarative Updates.

Published in: J. Intell. Inf. Syst. (2003)

Keyphrases

deductive databases
expressive power
query answering
query language
declarative language
knowledge representation
datalog programs
logic programming
data complexity
transitive closure
integrity constraints
view maintenance
database languages
update semantics
fixpoint
declarative semantics