Elsa Gunter  Home/Search
Context Related
| upenn.edu/pub/papers/dbre...orsml.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 From: upenn.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML [21]. The core language has the power of the nested relational algebra, and it is augmented with or-sets which are used to deal with disjunctive information. Sets, or-sets and tuples can be freely combined to create objects, which gives the language a greater flexibility. We give examples of queries which require disjunctive information (such... (Update)
Context of citations to this paper: More
.... model was analyzed in [IMV89] Recently, a functional query language for databases with disjunctions was designed [LW93a] and implemented [GL94]. In these papers two kinds of queries have been distinguished: structural queries ask questions about the data stored in a...
...4. 4 Language implementation The core language for sets and or sets has been implemented as a library of modules in Standard ML, see [GL94] It was useful in several application such as querying incomplete design databases, or querying independent databases to obtain...
Cited by: More
Semantic Representations and Query Languages for Or-Sets - Libkin, Wong (1993) (Correct)
Current Approaches to Handling Imperfect Information in Data and.. - Parsons (1996) (Correct)
Approximation in Databases - Libkin (1995) (Correct)
Similar documents (at the sentence level):
19.7%: OR-SML: A Functional Database Programming Language for.. - Gunter, Libkin (1994) (Correct)
10.9%: Interfacing HOL90 with a Functional Database Query Language - Gunter, Libkin (1995) (Correct)
Active bibliography (related documents): More All
0.8: Algebraic Characterization of Edible Powerdomains - Libkin (1993) (Correct)
0.3: Models of Approximation in Databases - Libkin (Correct)
0.3: Comprehension Syntax - Buneman, Libkin, Suciu, Tannen, Wong (1994) (Correct)
Similar documents based on text: More All
0.2: Normalizing Incomplete Databases - Libkin (1995) (Correct)
0.1: Querying Nested Collections - Wong (1994) (Correct)
0.1: Logics Capturing Local Properties - Libkin (2001) (Correct)
Related documents from co-citation: More All
10: Semantic Representations and Query Languages for Orsets - Libkin, Wong - 1993
8: Using powerdomains to generalize relational databases - Buneman, Jung et al. - 1991
8: Incomplete objects --- a data model for design and planning applications (context) - Imielinski, Naqvi et al. - 1991
BibTeX entry: (Update)
E. Gunter and L. Libkin, OR-SML: A functional database programming language for disjunctive information and its applications, in "LNCS 856: Proceedings of Database and Expert Systems Applications, Athens, September 1994," 641--650. http://citeseer.ist.psu.edu/article/gunter94orsml.html More
@inproceedings{ gunter94orsml,
author = "Elsa L. Gunter and Leonid Libkin",
title = "{OR-{SML}}: {A} Functional Database Programming Language for Disjunctive Information and Its Applications",
booktitle = "Proceedings of 5th International Conference on Database and Expert Systems Applications ({DEXA}'94)",
volume = "856",
publisher = "Springer-Verlag",
editor = "D. Karagiannis",
pages = "641--650",
year = "1994",
url = "citeseer.ist.psu.edu/article/gunter94orsml.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
419 A formulation of the simple theory of types (context) - Church - 1940 DBLP
291 Theoretical Computer Science (context) - Gunter, powerdomain - 1992 ACM
254 Comprehending monads - Wadler - 1990 ACM DBLP
134 The relational model with relation-valued attributes (context) - Schek, Scholl - 1986 ACM DBLP
126 Introduction to HOL (context) - Gordon, Melham - 1993 ACM
106 Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. - 1992 ACM DBLP
101 Incomplete information in relational databases (context) - Imielinski, Lipski - 1984 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 DBLP
71 COL: a logic-based language for complex objects (context) - Abiteboul, Grumbach - 1990 ACM DBLP
63 Database programming in Machiavelli: a polymorphic language .. - Ohori, Breazu-Tannen et al.
59 Logical and computational aspects of programming with sets/b.. (context) - Breazu-Tannen, Subrahmanyam - 1991 ACM DBLP
59 Using powerdomains to generalize relational databases - Buneman, Jung et al. - 1991 ACM DBLP
55 Towards tractable algebras for bags - Grumbach, Milo - 1993 ACM DBLP
44 New techniques for studying set languages (context) - Libkin, Wong - 1994
43 A recursive algebra for nested relations (context) - Colby - 1990 ACM DBLP
36 A semantics for complex objects and approximate answers (context) - Buneman, Davidson et al. - 1991 ACM DBLP
33 Semantic representations and query languages for or-sets - Libkin, Wong - 1993 ACM DBLP
31 Incomplete objects --- a data model for design and planning .. (context) - Imielinski, Naqvi et al. - 1991
28 A relational algebra for complex objects based on partial in.. - Libkin - 1991 ACM DBLP
25 Database query languages embedded in the typed lambda calcul.. - Hillebrand, Kanellakis et al. ACM DBLP
24 Comprehension: A query notation for DBPLs - Trinder - 1991
16 Situation-theoretic aspects of databases (context) - Rounds - 1991
13 List comprehensions and the relational calculus - Trinder, Wadler
12 Convex Spaces as an Order-theoretic Basis for Problem Solvin.. (context) - Ngair - 1992
5 A functional database programming language with support for .. (context) - Gunter, Libkin - 1993
2 Technical Report MS-CIS-94-21/L&C (context) - Libkin, Databases - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cis.upenn.edu.html): More
User-Controlled Physics-Based Animation for Articulated.. - Kokkevis, Metaxas, Badler (1996) (Correct)
Semistructured Data - Buneman (1997) (Correct)
A Hybrid Approach to Formal Verification Applied to an ATM.. - Clarke, Lee (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