Formal Semantics for Composite Temporal Events in Active Database Rules.

Iakovos Motakis Carlo Zaniolo

Published in: J. Syst. Integr. (1997)

Keyphrases

formal semantics
temporal events
spatio temporal
temporal information
temporal patterns
temporal constraints
logical language
modeling language
sequential data
modelling language
first order logic
theorem prover
image sequences
qualitative and quantitative
temporal reasoning
data model
natural language
data mining