Approximate pattern matching and transitive closure logics.

Kjell Lemström Lauri Hella

Published in: Theor. Comput. Sci. (2003)

Keyphrases

transitive closure
approximate pattern matching
expressive power
pattern matching
string matching
first order logic
query language
recursive queries
constraint databases
relational algebra
query evaluation
modal logic
spatial databases
directed acyclic graph
regular expressions
inference rules
database
databases