More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs.

David Harel Eli Singerman

Published in: ISTCS (1995)

Keyphrases

expressive power
query language
first order logic
data complexity
computational properties
transitive closure
relational algebra
databases
relational calculus
recursive queries
closure properties