论文信息 - The Type System of DBPL - 字舞流文

The Type System of DBPL

This paper presents the type system of the database programming language DBPL [SEM88] within the framework proposed in [ADG*89].

Florian Matthes | Joachim W. Schmidt

[1] Renzo Orsini,et al. A Framework for Comparing Type Systems for Database Programming Languages , 1989, DBPL.

[2] Winfried Lamersdorf,et al. Recursive data models for non-conventional database applications , 1984, 1984 IEEE First International Conference on Data Engineering.

[3] Winfried Lamersdorf,et al. Language Support for Office Modelling , 1984, VLDB.

[4] Joachim W. Schmidt,et al. Some high level language constructs for data of type relation , 1977, TODS.

[5] Luca Cardelli,et al. Modula-3 Report. , 1988 .

[6] Winfried Lamersdorf,et al. Database applications support in open systems: language concepts and implementation architectures , 1988, Proceedings. Fourth International Conference on Data Engineering.

[7] Niklaus Wirth,et al. Programming in Modula-2 , 1985, Texts and Monographs in Computer Science.

[8] Volker Linnemann,et al. Higher Level relational Objects , 1985, BNCOD.

[9] Niklaus Wirth,et al. From modula to oberon , 1988, Softw. Pract. Exp..

[10] Matthias Jarke,et al. Data Constructors: On the Integration of Rules and Relations , 1985, VLDB.

[11] Peter Buneman,et al. Database programming in Machiavelli—a polymorphic language with static type inference , 1989, SIGMOD '89.

[12] Manuel Reimer,et al. Data Selection, Sharing, and Access Control In a Relational Scenario , 1982, On Conceptual Modelling.