Untyped Sets, Invention, and Computable Queries.
Richard Hull, Jianwen Su:
Untyped Sets, Invention, and Computable Queries.
PODS 1989: 347-359@inproceedings{DBLP:conf/pods/HullS89,
author = {Richard Hull and
Jianwen Su},
editor = {Avi Silberschatz},
title = {Untyped Sets, Invention, and Computable Queries},
booktitle = {Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium
on Principles of Database Systems, March 29-31, 1989, Philadelphia,
Pennsylvania, USA},
publisher = {ACM Press},
year = {1989},
isbn = {0-89791-308-6},
pages = {347-359},
ee = {http://doi.acm.org/10.1145/73721.73755, db/conf/pods/HullS89.html},
crossref = {DBLP:conf/pods/89},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Abstract
Conventional database query languages are considered in the context of untyped sets. The algebra
without while has the expressive power of the typed
complex object algebra. The algebra plus while, and COL with untyped sets (under stratified semantics or inflationary semantics) have the power of the computable queries. The calculus has power beyond the computable queries; and is characterized using the typed complex object calculus with invention. The Bancilhon-Khoshafian calculus is also discussed. A technical tool, called "generic Turing machine", is introduced and used in several of the proofs.
Copyright © 1989 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
Avi Silberschatz (Ed.):
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA.
ACM Press 1989, ISBN 0-89791-308-6
Contents 
References
- [AB88]
- Serge Abiteboul, Catriel Beeri:
The Power of Languages for the Manipulation of Complex Values.
VLDB J. 4(4): 727-794(1995)
- [ACO85]
- Antonio Albano, Luca Cardelli, Renzo Orsini:
Galileo: A Strongly-Typed, Interactive Conceptual Language.
ACM Trans. Database Syst. 10(2): 230-260(1985)
- [AG87]
- Serge Abiteboul, Stéphane Grumbach:
COL: A Logic-Based Language for Complex Objects.
DBPL 1987: 347-374
- [AGSS86]
- ...
- [AV87]
- ...
- [AV88]
- Serge Abiteboul, Victor Vianu:
Procedural and Declarative Database Update Languages.
PODS 1988: 240-250
- [BBKV87]
- François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez:
FAD, a Powerful and Simple Database Language.
VLDB 1987: 97-105
- [BK86]
- François Bancilhon, Setrag Khoshafian:
A Calculus for Complex Objects.
PODS 1986: 53-60
- [BNR*87]
- Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur:
Sets and Negation in a Logic Database Language (LDL1).
PODS 1987: 21-37
- [CH80]
- Ashok K. Chandra, David Harel:
Computable Queries for Relational Data Bases.
J. Comput. Syst. Sci. 21(2): 156-178(1980)
- [CM84]
- George P. Copeland, David Maier:
Making Smalltalk a Database System.
SIGMOD Conference 1984: 316-325
- [Cod70]
- E. F. Codd:
A Relational Model of Data for Large Shared Data Banks.
Commun. ACM 13(6): 377-387(1970)
- [GvG88]
- Marc Gyssens, Dirk Van Gucht:
The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra.
SIGMOD Conference 1988: 225-232
- [HK87]
- Richard Hull, Roger King:
Semantic Database Modeling: Survey, Applications, and Research Issues.
ACM Comput. Surv. 19(3): 201-260(1987)
- [HS88a]
- Richard Hull, Jianwen Su:
On the Expressive Power of Database Queries with Intermediate Types.
J. Comput. Syst. Sci. 43(1): 219-267(1991)
- [Hs88b]
- Richard Hull, Jianwen Su:
On the Expressive Power of Database Queries with Intermediate Types.
PODS 1988: 39-51
- [HS89]
- Richard Hull, Jianwen Su:
Domain Independence and the Relational Calculus.
Acta Inf. 31(6): 513-524(1994)
- [Hul87]
- ...
- [Kol87]
- Phokion G. Kolaitis:
The Expressive Power of Stratified Programs.
Inf. Comput. 90(1): 50-66(1991)
- [KP88]
- Phokion G. Kolaitis, Christos H. Papadimitriou:
Why Not Negation by Fixpoint?
PODS 1988: 231-239
- [KV84]
- Gabriel M. Kuper, Moshe Y. Vardi:
A New Approach to Database Logic.
PODS 1984: 86-96
- [KV88]
- Gabriel M. Kuper, Moshe Y. Vardi:
On the Complexity of Queries in the Logical Data Model (Extended Abstract).
ICDT 1988: 267-280
- [PvG88]
- Jan Paredaens, Dirk Van Gucht:
Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions.
PODS 1988: 29-38
- [RKS85]
- ...
Last update Thu May 24 04:40:26 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
