On the Expressive Power of OKFDDs.

Bernd Becker Rolf Drechsler Michael Theobald

Published in: Formal Methods Syst. Des. (1997)

Keyphrases

expressive power
query language
first order logic
data complexity
relational algebra
transitive closure
computational properties
pattern queries
data model
recursive queries
database query languages
relation algebra