From a Database Programming Language to a Database Specification Language (Invited Paper).
Alexandre V. Zamulin:
From a Database Programming Language to a Database Specification Language (Invited Paper).
ADBIS 1994: 122-131@inproceedings{DBLP:conf/adbis/Zamulin94,
author = {Alexandre V. Zamulin},
title = {From a Database Programming Language to a Database Specification
Language (Invited Paper)},
booktitle = {Proceedings of the First International Workshop on Advances in
Databases and Information Systems, Moscow, Russia, May 23 - 26,
1994},
year = {1994},
pages = {122-131},
ee = {db/conf/adbis/Zamulin94.html},
crossref = {DBLP:conf/adbis/94},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1994 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.
CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
References
- [AB87]
- Malcolm P. Atkinson, Peter Buneman:
Types and Persistence in Database Programming Languages.
ACM Comput. Surv. 19(2): 105-190(1987) BibTeX
- [ACC81]
- ...
- [ACO85]
- Antonio Albano, Luca Cardelli, Renzo Orsini:
Galileo: A Strongly-Typed, Interactive Conceptual Language.
ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
- [BFG93]
- ...
- [Car88]
- Luca Cardelli:
Types for Data-Oriented Languages.
EDBT 1988: 1-15 BibTeX
- [DMW82]
- Walter Dosch, Gianfranco Mascari, Martin Wirsing:
On the Algebraic Specification of Databases.
VLDB 1982: 370-385 BibTeX
- [Ehr85]
- ...
- [EKW78]
- Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber:
Algebraic Specification Schemes for Data Base Systems.
VLDB 1978: 427-440 BibTeX
- [ELG84]
- Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla:
Specification, Semantics, and Enforcement of Dynamic Database Constraints.
VLDB 1984: 301-308 BibTeX
- [EM85]
- ...
- [GMS83]
- Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler:
A Modal System of Algebras for Database Specification and Query/Update Language Support.
VLDB 1983: 331-339 BibTeX
- [HPW92]
- ...
- [KMS85]
- Samit Khosla, T. S. E. Maibaum, M. R. Sadler:
Database Specification.
DS-1 1985: 141-158 BibTeX
- [LL85]
- ...
- [LRV88]
- Christophe Lécluse, Philippe Richard, Fernando Vélez:
O2, an Object-Oriented Data Model.
EDBT 1988: 556-562 BibTeX
- [LAB81]
- Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder:
CLU Reference Manual.
Lecture Notes in Computer Science Vol. 114 Springer 1981, ISBN 3-540-10836-X
BibTeX
- [MBC89]
- ...
- [San84]
- Donald Sannella:
A Set-Theoretic Semantics for Clear.
Acta Inf. 21: 443-472(1984) BibTeX
- [Sch77]
- Joachim W. Schmidt:
Some High Level Language Constructs for Data of Type Relation.
ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX
- [SEM88]
- ...
- [SM80]
- ...
- [SS89]
- Tim Sheard, David W. Stemple:
Automatic Verification of Database Transaction Safety.
ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX
- [SW83]
- Donald Sannella, Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.
FCT 1983: 413-427 BibTeX
- [TGD90]
- ...
- [WB89]
- Philip Wadler, Stephen Blott:
How to Make ad-hoc Polymorphism Less ad-hoc.
POPL 1989: 60-76 BibTeX
- [Zam75]
- ...
- [Zam78]
- ...
- [Zam88]
- Alexandre V. Zamulin:
Data Base Programming Tools in the Atlant Language.
EDBT 1988: 563-566 BibTeX
- [Zam89]
- ...
- [Zam91]
- ...
- [Zam93]
- ...
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 22:56:22 2009