Keyphrases
- propositional logic
- query language
- algebraic expressions
- edit distance
- data model
- boolean algebra
- regular expressions
- variable length
- concurrent programs
- mutual exclusion
- approximate string matching
- finite automata
- string matching
- pattern languages
- partial information
- databases
- relational algebra
- integrity constraints
- expressive power
- constraint satisfaction problems
- relation algebra