Adding relational abstraction to programming languages.
David S. WilePublished in: Formal Methods in Software Development (1990)
Keyphrases
- programming language
- semantic data models
- data abstraction
- database language
- high level
- general purpose
- object oriented
- relational databases
- software engineering
- strongly typed
- database languages
- lambda calculus
- specification language
- logic programming
- programming environment
- data model
- object oriented concepts
- high level programming language
- abstract data types
- object oriented programming
- domain specific languages
- denotational semantics
- database schema
- relational model
- normal form
- open source
- machine learning