Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.

Francesco Ranzato Francesco Tapparo

Published in: VMCAI (2006)

Keyphrases

fixpoint
abstract interpretation
deductive databases
logic programs
termination analysis
active rules
finite state machines

static analysis
model checking
integrity constraints
horn clauses
temporal information
temporal data

answer sets
datalog programs
active databases
logic programming
reasoning engine
nonmonotonic reasoning

sql queries
temporal logic
artificial intelligence
databases
temporal databases
relational databases