A Guarded Fragment for Abstract State Machines.

Published in: J. Log. Lang. Inf. (2005)

Keyphrases

guarded fragment
first order logic
satisfiability problem
expressive power
transitive closure
conjunctive queries
constraint databases
np complete
search algorithm
query language
query evaluation
integrity constraints
query answering
temporal logic
phase transition
data streams