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

A Semantics for Complex Objects and Approximate Queries.

Peter Buneman, Susan B. Davidson, Aaron Watters: A Semantics for Complex Objects and Approximate Queries. PODS 1988: 305-314
@inproceedings{DBLP:conf/pods/BunemanDW88,
  author    = {Peter Buneman and
               Susan B. Davidson and
               Aaron Watters},
  title     = {A Semantics for Complex Objects and Approximate Queries},
  booktitle = {Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, March 21-23, 1988, Austin,
               Texas},
  publisher = {ACM},
  year      = {1988},
  isbn      = {0-89791-263-2},
  pages     = {305-314},
  ee        = {http://doi.acm.org/10.1145/308386.308463, db/conf/pods/BunemanDW88.html},
  crossref  = {DBLP:conf/pods/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A new definition of complex objects is introduced which provides a denotation for incomplete tuples as well as partially described sets. Set values are "sandwiched" between "complete" and "consistent" descriptions (representing the Smyth and Hoare powerdomains respectively), allowing the maximal values to be arbitrary subsets of maximal elements in the domain of the set. We also examine the use of rules in defining queries over such objects.

Copyright © 1988 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 ...

Printed Edition

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas. ACM 1988, ISBN 0-89791-263-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Online Edition: ACM Digital Library

Journal Version

Peter Buneman, Susan B. Davidson, Aaron Watters: A Semantics for Complex Objects and Approximate Answers. J. Comput. Syst. Sci. 43(1): 170-218(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. PODS 1984: 119-132 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Mark A. Roth, Henry F. Korth, Abraham Silberschatz: Extended Algebra and Calculus for Nested Relational Databases. ACM Trans. Database Syst. 13(4): 389-417(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Z. Meral Özsoyoglu, Li-Yan Yuan: A New Normal Form for Nested Relations. ACM Trans. Database Syst. 12(1): 111-136(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
...
[6]
William C. Rounds, Robert T. Kasper: A Complete Logical Calculus for Record Structures Representing Linguistic Information. LICS 1986: 38-43 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Dana S. Scott: Domains for Denotational Semantics. ICALP 1982: 577-613 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Peter Buneman, Achim Jung, Atsushi Ohori: Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. 91(1): 23-55(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Michael B. Smyth: Power Domains. J. Comput. Syst. Sci. 16(1): 23-36(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. J. ACM 31(4): 761-791(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
...
[12]
...
[13]
Glynn Winskel: On Powerdomains and Modality. Theor. Comput. Sci. 36: 127-137(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
Hassan Aït-Kaci: An Algebraic Semantics Approach to the Effective Resolution of Type Equations. Theor. Comput. Sci. 45(3): 293-351(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Sun Mar 14 23:21:12 2010 by Michael Ley (ley@uni-trier.de)