Existentially Quantified Types as a Database Viewing Mechanism

R Connor; Alan Dearle; Ronald Morrison; F  Brown

doi:10.1007/BFb0022178

Existentially Quantified Types as a Database Viewing Mechanism

R Connor, Alan Dearle, Ronald Morrison, F Brown

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In 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.

Original language	English
Title of host publication	Advances in Database Technology - EDBT '90: International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings
Editors	F. Bancilhon, C. Thanos, D. Tsichritzis
Publisher	Springer
Pages	301-315
Number of pages	15
ISBN (Print)	978-3-540-52291-1
DOIs	https://doi.org/10.1007/BFb0022178
Publication status	Published - 1990
Event	2nd International Conference on Extending Database Technology (EDBT'90) - Venice, Italy Duration: 26 Mar 1990 → 30 Mar 1990

Publication series

Name	Lecture Notes in Computer Science
Volume	416

Conference

Conference	2nd International Conference on Extending Database Technology (EDBT'90)
Country/Territory	Italy
City	Venice
Period	26/03/90 → 30/03/90

Access to Document

10.1007/BFb0022178

Cite this

Connor, R., Dearle, A., Morrison, R., & Brown, F. (1990). Existentially Quantified Types as a Database Viewing Mechanism. In F. Bancilhon, C. Thanos, & D. Tsichritzis (Eds.), Advances in Database Technology - EDBT '90: International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings (pp. 301-315). (Lecture Notes in Computer Science; Vol. 416). Springer. https://doi.org/10.1007/BFb0022178

Connor, R ; Dearle, Alan ; Morrison, Ronald et al. / Existentially Quantified Types as a Database Viewing Mechanism. Advances in Database Technology - EDBT '90: International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings. editor / F. Bancilhon ; C. Thanos ; D. Tsichritzis. Springer, 1990. pp. 301-315 (Lecture Notes in Computer Science).

@inproceedings{3161f1832d2344d3835b24c18c4323c9,

title = "Existentially Quantified Types as a Database Viewing Mechanism",

abstract = "In 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.",

author = "R Connor and Alan Dearle and Ronald Morrison and F Brown",

year = "1990",

doi = "10.1007/BFb0022178",

language = "English",

isbn = "978-3-540-52291-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "301--315",

editor = "F. Bancilhon and C. Thanos and D. Tsichritzis",

booktitle = "Advances in Database Technology - EDBT '90: International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings",

address = "Netherlands",

note = "2nd International Conference on Extending Database Technology (EDBT'90) ; Conference date: 26-03-1990 Through 30-03-1990",

}

Connor, R, Dearle, A , Morrison, R & Brown, F 1990, Existentially Quantified Types as a Database Viewing Mechanism. in F Bancilhon, C Thanos & D Tsichritzis (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, vol. 416, Springer, pp. 301-315, 2nd International Conference on Extending Database Technology (EDBT'90) , Venice, Italy, 26/03/90. https://doi.org/10.1007/BFb0022178

Existentially Quantified Types as a Database Viewing Mechanism. / Connor, R; Dearle, Alan ; Morrison, Ronald et al.
Advances in Database Technology - EDBT '90: International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings. ed. / F. Bancilhon; C. Thanos; D. Tsichritzis. Springer, 1990. p. 301-315 (Lecture Notes in Computer Science; Vol. 416).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Existentially Quantified Types as a Database Viewing Mechanism

AU - Connor, R

AU - Dearle, Alan

AU - Morrison, Ronald

AU - Brown, F

PY - 1990

Y1 - 1990

N2 - In 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.

AB - In 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.

UR - https://archive.cs.st-andrews.ac.uk/papers/download/CDM+90.pdf

U2 - 10.1007/BFb0022178

DO - 10.1007/BFb0022178

M3 - Conference contribution

SN - 978-3-540-52291-1

T3 - Lecture Notes in Computer Science

SP - 301

EP - 315

BT - Advances in Database Technology - EDBT '90: International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings

A2 - Bancilhon, F.

A2 - Thanos, C.

A2 - Tsichritzis, D.

PB - Springer

T2 - 2nd International Conference on Extending Database Technology (EDBT'90)

Y2 - 26 March 1990 through 30 March 1990

ER -

Connor R, Dearle A , Morrison R, Brown F. Existentially Quantified Types as a Database Viewing Mechanism. In Bancilhon F, Thanos C, Tsichritzis D, editors, Advances in Database Technology - EDBT '90: International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings. Springer. 1990. p. 301-315. (Lecture Notes in Computer Science). doi: 10.1007/BFb0022178

Existentially Quantified Types as a Database Viewing Mechanism

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this