Functorial Semantics for Relational Theories.
Filippo BonchiDusko PavlovicPawel SobocinskiPublished in: CoRR (2017)
Keyphrases
- relational databases
- formal semantics
- logic programming
- relational data
- aggregate functions
- theoretical framework
- data model
- conceptual model
- argumentation semantics
- relational operators
- relational data model
- semantics of logic programs
- databases
- action theories
- relational schema
- sparql queries
- computational models
- database systems