Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3.

Anthony Brogni Sebastiaan J. C. Joosten

Published in: CoRR (2023)

Keyphrases

relation algebra
deductive databases
information systems
case study
relational databases
expressive power
theorem proving