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 ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

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

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)

References

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