Limsoon Wong  Home/Search
Context Related
| krdl.org.sg/kleisli/psZ/wlsjcss93.ps krdl.org.sg:8080/~lim...wlsjcss93.ps.gz krisinc.com/KRIS/pub...wlsjcss93.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sdmc.iss.nus.sg/k...limsoonpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Strong normalization results are obtained for a general language for collection types. An induced normal form for sets and bags is then used to show that the class of functions whose input has height (that is, the maximal depth of nestings of sets/bags/lists in the complex object) at most i and output has height at most o definable in a nested relational query language without powerset operator is independent of the height of intermediate expressions used. Our proof holds regardless of whether... (Update)
Context of citations to this paper: More
...algebra cannot express transitive closure. This limitation remains true for extensions of the relational algebra to nested relations [55, 78]. To increase computing power, applications use a query language like SQL embedded in a general purpose programming language. There are...
.... object formalism different from, but equivalent to, the nested relational model was proved by Wong using a remarkably elegant argument [18]. 2 Preliminaries on nested relations Basically we assume the existence of a countably infinite supply of atomic attributes. The set of...
Cited by: More
Incremental Recomputation of Recursive Queries with Nested.. - Libkin, Wong (1997) (Correct)
Bioinformatics Adventures in Database Research - Li, Ng, Wong (2003) (Correct)
Expressive Power of SQL - Libkin (2001) (Correct)
Similar documents (at the sentence level):
30.9%: Normal Forms and Conservative Properties for Query Languages over.. - Wong (1993) (Correct)
7.8%: Querying Nested Collections - Wong (1994) (Correct)
Active bibliography (related documents): More All
1.2: Normal Forms and Conservative Extension Properties for Query.. - Wong (1995) (Correct)
0.5: Principles of Programming with Complex Objects and.. - Buneman, Naqvi, Tannen, .. (1995) (Correct)
0.3: Tutorial: Languages for Collection Types - Tannen (1994) (Correct)
Similar documents based on text: More All
0.5: THE Kleisli QUERY SYSTEM Reference Manual - Wong (1995) (Correct)
0.5: Defending Against Redirect Attacks in Mobile IP - Robert Deng Heng (Correct)
0.4: Technologies for Integrating Biological Data - Wong (2002) (Correct)
Related documents from co-citation: More All
14: Principles of programming with complex objects and collection types - Buneman, Naqvi et al. - 1995
10: Mathematical Structures in Computer Science (context) - Wadler - 1992
10: Comprehension syntax - Buneman, Libkin et al. - 1994
BibTeX entry: (Update)
Limsoon Wong. Normal forms and conservative extension properties for query languages over collection types. Journal of Computer and System Sciences, 52(3):495--505, June 1996. http://citeseer.ist.psu.edu/article/wong95normal.html More
@article{ wong96normal,
author = "Limsoon Wong",
title = "Normal Forms and Conservative Extension Properties for Query Languages over Collection Types",
journal = "Journal of Computer and System Sciences",
volume = "52",
number = "3",
pages = "495-505",
year = "1996",
url = "citeseer.ist.psu.edu/article/wong95normal.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
369 Information and Computation (context) - Moggi, computation - 1991
258 Miranda---a non-strict functional language with polymorphic .. (context) - Turner - 1985
224 Semantics of Programming Languages: Structures and Technique.. (context) - Gunter - 1992
164 IFO: A formal semantic database model (context) - Abiteboul, Hull - 1987
129 the power of languages for the manipulation of complex objec.. - Abiteboul, Beeri - 1988
116 On local and non-local properties (context) - Gaifman - 1982
106 Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. - 1992
94 Mathematical Structures in Computer Science (context) - Wadler, monads - 1992
90 Structural recursion as a query language - Breazu-Tannen, Buneman et al. - 1991
78 Nested relational structures (context) - Thomas, Fischer - 1986
71 Remarks on the algebra of non-first-normal-form relations (context) - Jaeschke, Schek - 1982
63 Database programming in Machiavelli: A polymorphic language .. - Ohori, Buneman et al. - 1989
59 Logical and computational aspects of programming with Sets/B.. (context) - Breazu-Tannen, Subrahmanyam - 1991
56 ML with extended pattern matching and subtypes - Jategaonkar, Mitchell - 1988
44 the expressive power of database queries with intermediate t.. (context) - Hull, Su - 1991
44 New techniques for studying set languages (context) - Libkin, Wong - 1994
39 Converting nested relational algebra expressions into flat a.. (context) - Paredaens, Van Gucht - 1992
38 Recursion equations as a programming language (context) - Turner - 1982
35 Some properties of query languages for bags - Libkin, Wong - 1993
29 Conservativity of nested relational calculi with internal ge.. - Libkin, Wong - 1994
26 Typechecking records and variants in a natural extension of .. (context) - Remy - 1989
24 Comprehension: A query notation for DBPLs - Trinder - 1991
21 Listlessness is better than laziness (context) - Wadler - 1984
20 An introduction to the completeness of languages for complex.. (context) - Abiteboul, Beeri et al. - 1989
15 A comparison between algebraic query languages for flat and .. (context) - Gyssens, Van Gucht - 1991
13 List comprehensions and the relational calculus - Trinder, Wadler - 1988
13 Towards a theory of bulk types - Watt, Trinder - 1991
12 The format model: A theory of database organisation (context) - Hull, Yap - 1984
11 Playing games with objects (context) - Grumbach, Vianu - 1990
9 and linear orders (context) - Libkin, Wong et al. - 1993
3 Listlessness is better than laziness II (context) - Wadler - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sdmc.iss.nus.sg/kleisli/limsoonpapers.html): More
On Two Forms of Structural Recursion - Suciu, Wong (1995) (Correct)
A Data Transformation System for Biological Data Sources - Buneman, Davidson, Hart, .. (1995) (Correct)
Logics with Aggregate Operators - Hella, Libkin, Nurmonen, Wong (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC