Datalog
Inspired by the impedance mismatch in relational databases.
Main expressive advantage: recursive queries.
More convenient for analysis: papers look better.
Without recursion but with negation it is equivalent in power to relational algebra
Has affected real practice: (e.g., recursion in SQL3, magic sets transformations).