Using Reflection to Specify Transaction Sequences in Rewriting Logic.

Isabel Pita Narciso Martí-Oliet

Published in: WADT (1998)

Keyphrases

database
hidden markov models
classical logic
rewrite rules
sequential patterns
multi valued
logic programming
transaction management
query rewriting
defeasible logic
databases
conjunctive queries
concurrency control
transaction processing
sequence alignment
rewriting rules