Certified Semantics for Relational Programming.
Dmitry RozplokhasAndrey VyatkinDmitry BoulytchevPublished in: APLAS (2020)
Keyphrases
- programming language
- formal semantics
- relational data
- relational databases
- aggregate functions
- conceptual schema
- relational structures
- semantic information
- metadata
- object oriented programming
- development environment
- database schema
- data model
- logic programming
- default reasoning
- entity relationship
- statistical relational learning
- relational schema
- technical support
- relational data model
- relational operators
- relational query languages
- programming language constructs