The Expressive Power of Clocks.

Thomas A. Henzinger Peter W. Kopke Howard Wong-Toi

Published in: ICALP (1995)

Keyphrases

expressive power
first order logic
query language
data complexity
computational properties
transitive closure
relational calculus
relational algebra
pattern queries
data mining
data model
integrity constraints
propositional logic