Formal Semantics for Composite Temporal Events in Active Database Rules

• 1 January 1997
• journal article
• Published by Springer Nature in Journal of Systems Integration
• Vol. 7  (3/4) , 291-325
• https://doi.org/10.1023/a:1008231404725

Abstract

Keywords

• DEDUCTIVE DATABASES
• ACTIVE DATABASES
• COMPOSITE EVENTS
• TEMPORAL DATABASES
• FORMAL SPECIFICATION
• PETRI NET
• FINITE STATE AUTOMATA
• TEMPORAL DATABASE
• FORMAL SEMANTICS
• FINITE STATE MACHINE
• PATTERN LANGUAGE