A Relational Model for Confined Separation Logic.
Shuling WangLuís Soares BarbosaJosé Nuno OliveiraPublished in: TASE (2008)
Keyphrases
- relational model
- relational databases
- data model
- database technology
- relational algebra
- functional dependencies
- relational database systems
- complex objects
- incomplete information
- data modeling
- conceptual model
- logic programming
- relational calculus
- nested relations
- xml schema
- relational models
- spatial databases
- database query languages
- database
- query language
- object oriented
- database systems
- high level
- learning algorithm
- data mining