Observing Transaction-Time Semantics with TTXPath.

Curtis E. Dyreson

Published in: WISE (1) (2001)

Keyphrases

database
logic programming
formal semantics
real time
dynamic constraints
transformation rules
semantic representation
description logics
data sets
multi agent
integrity constraints
concurrency control
data mining
neural network
transaction data
databases
logical language