See this document in CiteSeerX!

On Two Forms of Structural Recursion (1995)  (Make Corrections)  (9 citations)
Dan Suciu, Limsoon Wong
ICDT



  Home/Search   Context   Related

Links:   ACM   DBLP

 
View or download:
krdl.org.sg/kleisli/psZ/swicdt95.ps
upenn.edu/pub/papers/db...icdt95c.ps.Z
att.com/~suciu/str...inal_submission.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sdmc.iss.nus.sg/k...limsoonpapers (more)
From:  upenn.edu/~db/langs/95papers
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: . We investigate and compare two forms of recursion on sets for querying nested collections. The first one is called sri and it corresponds to sequential processing of data. The second one is called sru and it corresponds to data-parallel processing. A uniform first-order translation from sru into sri was known from previous work. The converse translation is by necessity more difficult and we have obtained three main results concerning it. First, we exhibit a uniform translation of sri queries... (Update)

Context of citations to this paper:   More

...name semantics. See [10, 7] for various ways of specifying operational semantics. A call by value operational semantics can also be given; see [18, 19]. We list the rules for evaluating coll set , coll bag , and coll list below and omit the rest. coll set (e 1 j x t 2 2...

...for good query optimization, and it has to enable new applications. The expressive power of NRC and its extensions are studied in [29, 15, 18, 8, 30]. These papers presented solutions to several open problems in query language theory. The most important of these results are...

Cited by:   More
THE COLLECTION PROGRAMMING LANGUAGE - Reference Manual - Wong (1996)   (Correct)
The Kleisli Approach to Data Transformation and Integration - Davidson, Wong (2001)   (Correct)
CoPa: a Parallel Programming Language for Collections - Suciu, Tannen (1998)   (Correct)

Active bibliography (related documents):   More   All
2.2:   On Two Forms of Structural Recursion - Dan Suciu And (1995)   (Correct)
0.4:   Tutorial: Languages for Collection Types - Tannen (1994)   (Correct)
0.3:   Comprehension Syntax - Buneman, Libkin, Suciu, Tannen, Wong (1994)   (Correct)

Similar documents based on text:   More   All
0.3:   A Node as a Real-Time Object - Kopetz, Poledna (1996)   (Correct)
0.2:   Summarization as Feature Selection for Text Categorization - Kolcz, Prabakarmurthi.. (2001)   (Correct)
0.2:   Introducing Robotics at the Undergraduate Level - Sam Thangiah   (Correct)

Related documents from co-citation:   More   All
5:   Comprehension syntax - Buneman, Libkin et al. - 1994
4:   A query language for NC - Suciu, Breazu-Tannen - 1994
4:   Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. - 1992

BibTeX entry:   (Update)

Dan Suciu and Limsoon Wong. On two forms of structural recursion, January 1995. http://citeseer.ist.psu.edu/article/suciu95two.html   More

@inproceedings{ suciu95two,
    author = "Dan Suciu and Limsoon Wong",
    title = "On Two Forms of Structural Recursion",
    booktitle = "{ICDT}",
    pages = "111-124",
    year = "1995",
    url = "citeseer.ist.psu.edu/article/suciu95two.html" }
Citations (may not include all citations):
333   Introduction to Functional Programming (context) - Bird, Wadler - 1988  ACM
137   Classical Recursion Theory (context) - Odifreddi - 1989
134   The relational model with relation-valued attributes (context) - Schek, Scholl - 1986  ACM   DBLP
129   the power of languages for the manipulation of complex objec.. - Abiteboul, Beeri - 1988
114   Generic computation and its complexity (context) - Abiteboul, Vianu - 1991  ACM   DBLP
106   Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. - 1992  ACM   DBLP
90   Structural recursion as a query language - Breazu-Tannen, Buneman et al. - 1991  ACM   DBLP
78   Nested relational structures (context) - Thomas, Fischer - 1986
74   Relative information capacity of simple relational database .. (context) - Hull - 1986  ACM   DBLP
60   Normal forms and conservative properties for query languages.. - Wong - 1993  ACM   DBLP
59   Logical and computational aspects of programming with Sets/B.. (context) - Breazu-Tannen, Subrahmanyam - 1991  ACM   DBLP
52   The Semantics of Programming Languages: An Elementary Introd.. (context) - Hennessy - 1990  ACM
45   A powerful and simple database language (context) - Bancilhon, Briggs et al. - 1988
43   A recursive algebra for nested relations (context) - Colby - 1990  ACM   DBLP
39   Converting nested relational algebra expressions into flat a.. (context) - Paredaens, Van Gucht - 1992
35   Some properties of query languages for bags - Libkin, Wong - 1993  ACM   DBLP
17   A query language for NC - Suciu, Breazu-Tannen - 1994  ACM   DBLP
16   Database theory column: Query languages for complex object d.. (context) - Abiteboul, Kanellakis - 1990  DBLP
15   a polymorphic language with static type inference (context) - Ohori, Buneman et al. - 1989
13   About primitive recursive algorithms (context) - Colson - 1991  ACM   DBLP
8   Any algorithm in the complex object algebra needs exponentia.. (context) - Suciu, Paredaens - 1994
8   The ae-calculus: An abstract framework for environment machi.. (context) - Curien - 1988
2   Length of predicate calculus formulas as a new complexity me.. (context) - Immerman - 1979  DBLP
2   volume 7 of Combridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
2   A recursive base for database programming (context) - Stemple, Sheard - 1990



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
A Data Transformation System for Biological Data Sources - Buneman, Davidson, Hart, .. (1995)   (Correct)
Logics with Aggregate Operators - Hella, Libkin, Nurmonen, Wong   (Correct)
Normal Forms And Conservative Extension Properties For Query.. - Wong (1995)   (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