Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong  Home/Search
Context Related
Links: ACM DBLP | krdl.org.sg/kleisl...wsigmodrecord94.ps uta.edu/~fegaras/c...sigmod_record94.ps upenn.edu/pub/pape...gmod_record94.ps.Z 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 Problem Downloading? From: krdl.org.sg/kleis...limsoonpapers (more) From: kryten.cs.mu.oz.au:8080/~kym/A... Homepages: P.Buneman |
Rate this article:      (best)Comment on this article |
Abstract: . The syntax of comprehensions is very close to the syntax of a number of practical database query languages and is, we believe, a better starting point than first-order logic for the development of database languages. We give an informal account of a language based on comprehension syntax that deals uniformly with a variety of collection types; it also includes pattern matching, variant types and function definition. We show, again informally, how comprehension syntax is a natural fragment of... (Update)
Cited by: More
A Deterministic Model for Semi-Structured Data - Peter Buneman Alin (1998) (Correct)
Incremental Recomputation of Recursive Queries with Nested.. - Libkin, Wong (1997) (Correct)
A Query Language for Multidimensional Arrays: Design.. - Libkin, Machlin, Wong (1996) (Correct)
Active bibliography (related documents): More All
0.9: Tutorial: Languages for Collection Types - Tannen (1994) (Correct)
0.6: Principles of Programming with Complex Objects and.. - Buneman, Naqvi, Tannen, .. (1995) (Correct)
0.3: On Two Forms of Structural Recursion - Suciu, Wong (1995) (Correct)
Similar documents based on text: More All
0.6: Querying Nested Collections - Wong (1994) (Correct)
0.3: Transforming Databases With Recursive Data Structures - Kosky (1995) (Correct)
0.3: Aggregate Functions, Conservative Extension, and Linear Orders - Libkin, Wong (Correct)
Related documents from co-citation: More All
25: Principles of programming with complex objects and collection types - Buneman, Naqvi et al. - 1995
23: Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. - 1992
17: Mathematical Structures in Computer Science (context) - Wadler - 1992
BibTeX entry: (Update)
Buneman, P., Libkin, L., Suciu, D., Tannen, V., and Wong, L. Comprehension syntax. SIGMOD Record 23, 1 (March 1994), 87--96. http://citeseer.ist.psu.edu/article/buneman94comprehension.html More
@article{ buneman94comprehension,
author = "Peter Buneman and Leonid Libkin and Dan Suciu and Val Tannen and Limsoon Wong",
title = "Comprehension Syntax",
journal = "SIGMOD Record",
volume = "23",
number = "1",
pages = "87-96",
year = "1994",
url = "citeseer.ist.psu.edu/article/buneman94comprehension.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman - 1985 ACM
258 Miranda: A Non-strict Functional Language with Polymorphic T.. (context) - Turner - 1985 ACM DBLP
197 A Relational Model for Large Shared Databanks (context) - Codd - 1970
185 Principle of Database Systems (context) - Ullman - 1982
129 the Power of Languages for the Manipulation of Complex Objec.. - Abiteboul, Beeri - 1988
125 Object-oriented Database System (context) - Bancilhon, Cluet et al. - 1989 ACM
106 Naturally Embedded Query Languages (context) - Breazu-Tannen, Buneman et al. - 1992 ACM DBLP
94 Mathematical Structures in Computer Science (context) - Wadler - 1992
90 Structural Recursion as a Query Language - Breazu-Tannen, Buneman et al. - 1991 ACM DBLP
77 Pascal User Manual and Report (context) - Jensen, Wirth - 1975
60 Normal Forms and Conservative Properties for Query Languages.. - Wong - 1993
59 Logical and Computational Aspects of Programming with Sets/B.. (context) - Breazu-Tannen, Subrahmanyam - 1991 ACM DBLP
45 A Powerful and Simple Database Language (context) - Bancilhon, Briggs et al. - 1988
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
33 Semantic Representations and Query Languages for Orsets - Libkin, Wong - 1993
31 Revised Report on the Algorithmic Language ALGOL (context) - Wijngaarden - 1975
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 DBLP
25 Database Query Languages Embedded in the Typed Lambda Calcul.. - Hillebrand, Kanellakis et al. - 1993 ACM DBLP
24 Polymorphism and Type Inference in Database Programming - Buneman, Ohori ACM DBLP
17 in and L. Wong. Aggregate Functions, Conservative Extension,.. (context) - Libk - 1993
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 Towards a Theory of Bulk Types - Watt, Trinder - 1991
10 Fixpoints and Bounded Fixpoints for Complex Objects (context) - Suciu - 1993
10 Information Processing Systems (context) - Standard - 1987 ACM
8 Any Algorithm in the Complex Object Algebra Needs Exponentia.. (context) - Suciu, Paredaens - 1993
6 Object Store Reference Manual (context) - Inc, MA - 1991
5 A Functional Database Programming Language with Support for .. (context) - Gunter, Libkin - 1993
2 A Bounded Degree Property and Finite-cofiniteness of Graph Q.. (context) - Libkin, Wong - 1993
1 Manuscript available from suciu@saul (context) - Suciu, Breazu-Tannen et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sdmc.krdl.org.sg/kleisli/limsoonpapers.html): More
SQL Can Maintain Polynomial-Hierarchy Queries - Libkin, Wong (1997) (Correct)
Properties of Languages That Make Recursive Views.. - Dong, Libkin, Wong (Correct)
Query Languages for Bags - Expressive Power and Complexity - Grumbach, Libkin, Milo, Wong (1996) (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