ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary).

David Harel: Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). PODS 1994: 1-3
@inproceedings{DBLP:conf/pods/Harel94,
  author    = {David Harel},
  title     = {Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs.
               Practice in Systems Engineering (Summary)},
  booktitle = {Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, May 24-26, 1994, Minneapolis,
               Minnesota},
  publisher = {ACM Press},
  year      = {1994},
  isbn      = {0-89791-642-5},
  pages     = {1-3},
  ee        = {http://doi.acm.org/10.1145/182591.182592, db/conf/pods/pods94-1.html},
  crossref  = {DBLP:conf/pods/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

This is a very short summary of a talk presented at the 13th ACM Symposium on Principles of Database Systems (PODS) in Minneapolis in May, 1994. The talk attempted to put forward some thoughts on theoretical vs. applied research in system design and programming. By its very nature, such a talk is bound to be disorganized, rambling, non-self-contained, and extremely subjective. It was; and the written summary you are reading is even worse, since it not only omits the details of the examples used in the talk, but also lacks the intonations, facial gestures and hand-waving that are part and parcel of talks that have little technical content.

Oh well. So be it.

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.


Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. and ... Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ... BibTeX

Printed Edition

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota. ACM Press 1994, ISBN 0-89791-642-5
Contents BibTeX

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 280 KB]

References

[AU]
Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX
[AV]
Serge Abiteboul, Victor Vianu: Generic Computation and Its Complexity. STOC 1991: 209-219 BibTeX
[B]
...
[B+]
Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang: Symbolic Model Checking: 10^20 States and Beyond. Inf. Comput. 98(2): 142-170(1992) BibTeX
[CH1]
Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX
[CH2]
Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128(1982) BibTeX
[C1]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX
[C2]
...
[F]
...
[DH]
Doron Drusinsky, David Harel: On the Power of Bounded Concurrency I: Finite Automata. J. ACM 41(3): 517-539(1994) BibTeX
[EZ]
Andrzej Ehrenfeucht, H. Paul Zeiger: Complexity Measures for Regular Expressions. J. Comput. Syst. Sci. 12(2): 134-146(1976) BibTeX
[H]
...
[Ha1]
David Harel: Statecharts: A Visual Formulation for Complex Systems. Sci. Comput. Program. 8(3): 231-274(1987) BibTeX
[Ha2]
David Harel: Biting the Silver Bullet - Toward a Brighter Future for System Development. IEEE Computer 25(1): 8-20(1992) BibTeX
[I]
Neil Immerman: Relational Queries Computable in Polynomial Time. Information and Control 68(1-3): 86-104(1986) BibTeX
[MF]
...
[RS]
...
[R]
...
[Re]
...
[U1]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
[U2]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX
[V]
Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146 BibTeX
[Z]
Moshé M. Zloof: Query-by-Example: A Data Base Language. IBM Systems Journal 16(4): 324-343(1977) BibTeX
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 23:34:09 2009