The Relationlog system prototype
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4177028
- scientific article; zbMATH DE number 2120047
- Relational proof system for relevant logics
- Publication:4489062
- Publication:3204444
- Relationlog: A typed extension to Datalog with sets and tuples
- Relational Logics and Their Applications
- From relational specifications to logic programs
- Residuated relational systems
Cites work
- scientific article; zbMATH DE number 857696 (Why is no real title available?)
- Extended algebra and calculus for nested relational databases
- Logic programming with sets
- Non first normal form relations: An algebra allowing data restructuring
- On the power of magic
- Relationlog: A typed extension to Datalog with sets and tuples
This page was built for publication: The Relationlog system prototype
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4791100)