Semantics of types for database objects
Open Access
- 1 October 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 76 (1) , 53-91
- https://doi.org/10.1016/0304-3975(90)90012-7
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Database programming in Machiavelli—a polymorphic language with static type inferenceACM SIGMOD Record, 1989
- Extending relational algebra and relational calculus with set-valued attributes and aggregate functionsACM Transactions on Database Systems, 1987
- Types and persistence in database programming languagesACM Computing Surveys, 1987
- A new normal form for nested relationsACM Transactions on Database Systems, 1987
- GALILEO: a strongly-typed, interactive conceptual languageACM Transactions on Database Systems, 1985
- The Format ModelJournal of the ACM, 1984
- Making smalltalk a database systemACM SIGMOD Record, 1984
- Database relations with null valuesJournal of Computer and System Sciences, 1984
- Fundamental properties of infinite treesTheoretical Computer Science, 1983