Materialize.com runs on those techniques; not sure how far this has gotten into the query planner yet, though. It's been a while since I looked at those details for it.

I'm pretty sure some datalog (adjacent?) but otherwise quite proprietary solution (that might be datadog (or is similar enough that I'd have to go search old notes/chats to determine the details)) uses the technologies and was mentioned as affiliation for at least one author of at least one paper in that space; as of about early 2024.

Edit: likely was https://en.wikipedia.org/wiki/LogicBlox