The Specification of a Relational Database (PRECI) as an Abstract Data Type and its Realisation in HOPE.
E. WongW. B. SamsonPublished in: Comput. J. (1986)
Keyphrases
- abstract data types
- relational databases
- relational database systems
- relational data model
- denotational semantics
- data types
- databases
- data abstraction
- sql queries
- database
- object oriented databases
- relational model
- object oriented
- programming language
- data model
- functional dependencies
- high level
- formal specification
- normal form
- operational semantics
- query processing
- data storage
- xml data
- xml documents
- database technology
- spatio temporal databases
- type checking
- software engineering
- data mining techniques
- database management systems
- entity relationship
- database systems