A relational model of types-and-effects in higher-order concurrent separation logic.
Morten Krogh-JespersenKasper SvendsenLars BirkedalPublished in: POPL (2017)
Keyphrases
- relational model
- higher order
- relational databases
- data model
- database technology
- relational algebra
- functional dependencies
- complex objects
- incomplete information
- data modeling
- conceptual model
- nested relations
- language constructs
- spatial databases
- databases
- logic programming
- case study
- integrity constraints
- database applications
- object oriented
- management system
- end users
- query language
- relational calculus
- relational models
- data analysis