Limsoon Wong  Home/Search
Context Related
Links: ACM DBLP | astar.edu.sg/limsoon...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: astar.edu.sg/lim...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. (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.1%: Normal Forms and Conservative Properties for Query Languages over.. - Wong (1993) (Correct)
7.3%: 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.6: Query Languages for Bags and Aggregate Functions - Libkin, Wong (1997) (Correct)
0.4: Principles of Programming with Complex Objects and.. - Buneman, Naqvi, Tannen, .. (1995) (Correct)
Similar documents based on text: More All
0.4: From Informatics to Bioinformatics - Bajic, Brusic, Li, Ng, Wong (2003) (Correct)
0.4: Polymorphic Queries Across Sets, Bags, and Lists - Wong (1994) (Correct)
0.3: Semantic Representations and Query Languages for Or-Sets - Libkin, Wong (1993) (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/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/wong95normal.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
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 DBLP
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 ACM DBLP
129 the power of languages for the manipulation of complex objec.. - Abiteboul, Beeri - 1988
116 On local and non-local properties (context) - Gaifman - 1982
94 Mathematical Structures in Computer Science (context) - Wadler, monads - 1992
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
56 ML with extended pattern matching and subtypes - Jategaonkar, Mitchell - 1988
44 New techniques for studying set languages (context) - Libkin, Wong - 1994
44 the expressive power of database queries with intermediate t.. (context) - Hull, Su - 1991
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 ACM DBLP
29 Conservativity of nested relational calculi with internal ge.. - Libkin, Wong - 1994 ACM DBLP
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 ACM
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 Towards a theory of bulk types - Watt, Trinder - 1991
13 List comprehensions and the relational calculus - Trinder, Wadler - 1988
12 The format model: A theory of database organisation (context) - Hull, Yap - 1984
11 Playing games with objects (context) - Grumbach, Vianu - 1990 ACM DBLP
9 Structural recursion as a query language (context) - Breazu-Tannen, Buneman et al. - 1991
9 and linear orders (context) - Libkin, Wong et al. - 1993
9 Querying Nested Collections - Wong - 1910
7 Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. - 1992 ACM DBLP
3 Listlessness is better than laziness II (context) - Wadler - 1985
1 A Study Of Semantics, Types, And Languages For Databases And.. (context) - Ohori - 1910
1 Logical and computational aspect programming with SetBagList (context) - Subrahmanyam, computational et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sdmc.i2r.a-star.edu.sg/limsoon/limsoonpapers.html): More
Semantic Representations and Query Languages for Or-Sets - Libkin, Wong (1993) (Correct)
BioKleisli: A Digital Library for Biomedical Researchers - Davidson, Overton, Tannen.. (1996) (Correct)
S-Hash: An Indexing Scheme for Approximate Subsequence.. - Pang, Ooi, 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