1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Conference Papers and Proceedings
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/27729
Full metadata record
DC FieldValueLanguage
dc.contributor.authorConnor, Richarden_UK
dc.contributor.authorDearie, Alanen_UK
dc.contributor.authorMorrison, Ronalden_UK
dc.contributor.authorBrown, Freden_UK
dc.contributor.editorBancilhon, Françoisen_UK
dc.contributor.editorThanos, Constantinoen_UK
dc.contributor.editorTsichritzis, Dennisen_UK
dc.date.accessioned2018-09-07T00:00:33Z-
dc.date.available2018-09-07T00:00:33Z-
dc.date.issued1990-12-31en_UK
dc.identifier.urihttp://hdl.handle.net/1893/27729-
dc.description.abstractIn database management systems, viewing mechanisms have been used to provide conceptual support for the user and security for the overall system. By controlling the style of database use, views aid the user by concentrating on the area of interest, and the system by ensuring the integrity of the data. In recent years, there have been a number of proposals for database or persistent programming languages. Such languages must be able to provide the facilities traditionally found in both database management systems and programming languages. In this paper we demonstrate how a persistent programming language, Napier88, can provide a viewing mechanism over persistent data by using existentially quantified types. The views, which may be generated dynamically, are statically type checked. The technique shown is applicable to any language which supports existentially quantified data types and a persistent store.en_UK
dc.language.isoenen_UK
dc.publisherSpringer Verlagen_UK
dc.relationConnor R, Dearie A, Morrison R & Brown F (1990) Existentially quantified types as a database viewing mechanism. In: Bancilhon F, Thanos C & Tsichritzis D (eds.) Advances in Database Technology: EDBT '90 International Conference on Extending Database Technology Venice, Italy, March 26–30, 1990 Proceedings. Lecture Notes in Computer Science, 416. Advances in Database Technology: EDBT '90 International Conference on Extending Database Technology, Venice, 26.03.1990-30.03.1990. Berlin Heidelberg: Springer Verlag, pp. 301-315. https://doi.org/10.1007/BFb0022178en_UK
dc.relation.ispartofseriesLecture Notes in Computer Science, 416en_UK
dc.rightsThe publisher does not allow this work to be made publicly available in this Repository. Please use the Request a Copy feature at the foot of the Repository record to request a copy directly from the author. You can only request a copy if you wish to use this work for your own research or private study.en_UK
dc.rights.urihttp://www.rioxx.net/licenses/under-embargo-all-rights-reserveden_UK
dc.subjectRepresentation typeen_UK
dc.subjectdatabase management systemen_UK
dc.subjectview relationen_UK
dc.subjectaccount numberen_UK
dc.subjectabstract typeen_UK
dc.titleExistentially quantified types as a database viewing mechanismen_UK
dc.typeConference Paperen_UK
dc.rights.embargodate2999-12-31en_UK
dc.rights.embargoreason[Connor et al 1990.pdf] The publisher does not allow this work to be made publicly available in this Repository therefore there is an embargo on the full text of the work.en_UK
dc.identifier.doi10.1007/BFb0022178en_UK
dc.citation.jtitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en_UK
dc.citation.issn0302-9743en_UK
dc.citation.spage301en_UK
dc.citation.epage315en_UK
dc.citation.publicationstatusPublisheden_UK
dc.type.statusVoR - Version of Recorden_UK
dc.author.emailrichard.connor@stir.ac.uken_UK
dc.citation.btitleAdvances in Database Technology: EDBT '90 International Conference on Extending Database Technology Venice, Italy, March 26–30, 1990 Proceedingsen_UK
dc.citation.conferencedates1990-03-26 - 1990-03-30en_UK
dc.citation.conferencelocationVeniceen_UK
dc.citation.conferencenameAdvances in Database Technology: EDBT '90 International Conference on Extending Database Technologyen_UK
dc.citation.date17/06/2005en_UK
dc.citation.isbn978-3-540-52291-1en_UK
dc.publisher.addressBerlin Heidelbergen_UK
dc.contributor.affiliationUniversity of St Andrewsen_UK
dc.contributor.affiliationUniversity of St Andrewsen_UK
dc.contributor.affiliationUniversity of St Andrewsen_UK
dc.contributor.affiliationUniversity of St Andrewsen_UK
dc.identifier.isiWOS:A1990DA63300019en_UK
dc.identifier.scopusid2-s2.0-85032206157en_UK
dc.identifier.wtid956178en_UK
dc.contributor.orcid0000-0003-4734-8103en_UK
dcterms.dateAccepted2005-06-17en_UK
dc.date.filedepositdate2018-08-17en_UK
rioxxterms.apcnot requireden_UK
rioxxterms.typeConference Paper/Proceeding/Abstracten_UK
rioxxterms.versionVoRen_UK
local.rioxx.authorConnor, Richard|0000-0003-4734-8103en_UK
local.rioxx.authorDearie, Alan|en_UK
local.rioxx.authorMorrison, Ronald|en_UK
local.rioxx.authorBrown, Fred|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.contributorBancilhon, François|en_UK
local.rioxx.contributorThanos, Constantino|en_UK
local.rioxx.contributorTsichritzis, Dennis|en_UK
local.rioxx.freetoreaddate2240-12-01en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/under-embargo-all-rights-reserved||en_UK
local.rioxx.filenameConnor et al 1990.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source978-3-540-52291-1en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
Connor et al 1990.pdfFulltext - Published Version1.11 MBAdobe PDFUnder Permanent Embargo    Request a copy


This item is protected by original copyright

View License
Show simple item record


Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.