A Relational Model for Non-Deterministic Programs and Predicate Transformers.
Pedro GuerreiroPublished in: Symposium on Programming (1980)
Keyphrases
- relational model
- relational databases
- data model
- database technology
- functional dependencies
- relational algebra
- data modeling
- complex objects
- incomplete information
- databases
- first order logic
- object oriented
- relational models
- spatial databases
- nested relations
- relational database systems
- xml data
- database design
- conceptual model
- normal form
- query language
- database systems
- fixpoint
- database query languages
- database management systems
- logic programs
- data sources
- high level
- learning algorithm