Login / Signup
Abstract Interpretation of Active Rules and its Use in Termination Analysis.
James Bailey
Lobel Crnogorac
Kotagiri Ramamohanarao
Harald Søndergaard
Published in:
ICDT (1997)
Keyphrases
</>
termination analysis
abstract interpretation
active rules
active databases
integrity constraints
object oriented databases
deductive databases
control flow
composite events
business rules
spatial objects
databases
data quality
r tree
database
fine grained
knowledge representation
information systems