Formal Specification of a Safe ALGEBRA - ``A''.

@inproceedings{DBLP:conf/adbis/RovcaninM99,
  author    = {Lejla Rovcanin and
               John Murphy},
  editor    = {Johann Eder and
               Ivan Rozman and
               Tatjana Welzer},
  title     = {Formal Specification of a Safe ALGEBRA - ``A''},
  booktitle = {Advances in Databases and Information Systems, Third East European
               Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999,
               Proceedings of Short Papers},
  publisher = {Institute of Informatics, Faculty of Electrical Engineering and
               Computer Science, Smetanova 17, IS-2000 Maribor, Slovenia},
  year      = {1999},
  isbn      = {86-435-0285-5},
  pages     = {214-220},
  ee        = {db/conf/adbis/RovcaninM99.html},
  crossref  = {DBLP:conf/adbis/99s},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

References

[1]

Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX

[2]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[3]

...

[4]

...

[5]

David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX

[6]

...

[7]

...

[8]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX

[9]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[10]

Allen Van Gelder, Rodney W. Topor: Safety and Translation of Relational Calculus Queries. ACM Trans. Database Syst. 16(2): 235-278(1991) BibTeX