Guarded saturation (GSat)

Resolution-based rewriting algorithm from Guarded Tuple Generating Dependencies (GTGDs) to Datalog.

💻 User Guide

👩‍💻 Developer Guide

🧪 Experiments

📄 Tech report

Credits

Information Systems Group — Department of Computer Science — University of Oxford

• Michael Benedikt
• Maxime Buron
• Stefano Germano
• Kevin Kappelmann
• Boris Motik

License

This project is licensed under the MIT License.