Limitations of the Program Memory and the Expressive Power of Dynamic Logics

Ilmir Kh. Musikaev Michael A. Taitslin

Published in: Inf. Comput. (1993)

Keyphrases

expressive power
data complexity
query language
first order logic
transitive closure
computational properties
relational algebra
relational calculus
aggregate functions