Remarks on Comparing Expressive Power of Logics of Programs.

Jerzy Tiuryn Pawel Urzyczyn

Published in: MFCS (1984)

Keyphrases

expressive power
query language
first order logic
computational properties
relational algebra
data complexity
transitive closure
data model
pattern matching
data mining
knowledge discovery
modal logic
fixpoint
relational calculus
aggregate functions