Confluence: The Unifying, Expressive Power of Locality.

Jiaxiang Liu Jean-Pierre Jouannaud

Published in: Specification, Algebra, and Software (2014)

Keyphrases

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