Certified Semantics for Relational Programming.
Dmitry RozplokhasAndrey VyatkinDmitry BoulytchevPublished in: CoRR (2020)
Keyphrases
- programming language
- relational databases
- logic programming
- formal semantics
- relational data
- programming language constructs
- database query languages
- aggregate functions
- data model
- database language
- relational operators
- relational calculus
- multiple inheritance
- expressive power
- semantic information
- sql queries
- relational learning
- software engineering
- programming environment
- relational schema
- relational queries
- object oriented
- databases