A semantics for updates consisting of a sequence of programs.

Mauricio Osorio Claudia Zepeda

Published in: CONIELECOMP (2007)

Keyphrases

update semantics
dynamic logic
logic programming
database updates
normal logic programs
formal semantics
control flow
declarative semantics
stable models
deductive databases
stable model semantics
fixpoint semantics
programming language constructs
data structure
computer programs
default reasoning
conceptual model