Existentially quantified types as a database viewing mechanism
- 17 June 2005
- book chapter
- Published by Springer Nature
- p. 301-315
- https://doi.org/10.1007/bfb0022178
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Environments: a flexible binding mechanism to support system evolutionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- Binding and Type Checking in Database Programming LanguagesThe Computer Journal, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- GALILEO: a strongly-typed, interactive conceptual languageACM Transactions on Database Systems, 1985
- An Approach to Persistent ProgrammingThe Computer Journal, 1983
- The design and implementation of INGRESACM Transactions on Database Systems, 1976
- System RACM Transactions on Database Systems, 1976