Elsa Gunter, Leonid Libkin  Home/Search
Context Related
| belllabs.com/cm/cs/who/...dexa94.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: belllabs.com/cm/cs/who/li...publ (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 [12]. The core language has the power of the nested relational algebra, augmented by 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. It is configurable by user-defined base types, and can be used independently ... (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):
36.7%: OR-SML: A Functional Database Programming Language for.. - Gunter (1994) (Correct)
31.8%: OR-SML: A Functional Database Programming Language for.. - Gunter, Libkin (1994) (Correct)
6.2%: Interfacing HOL90 with a Functional Database Query Language - Gunter, Libkin (1995) (Correct)
Active bibliography (related documents): More All
0.2: Comprehension Syntax - Buneman, Libkin, Suciu, Tannen, Wong (1994) (Correct)
0.2: Normalizing Incomplete Databases - Libkin (1995) (Correct)
0.2: Semantic Representations and Query Languages for Or-sets - Libkin, Wong (1993) (Correct)
Similar documents based on text: More All
0.1: A Logic of Limited Belief for Reasoning with Disjunctive.. - Liu, Lakemeyer, Levesque (Correct)
0.1: Verifiable Properties of Database Transactions - Benedikt, Griffin, Libkin (1998) (Correct)
0.1: Querying Nested Collections - Wong (1994) (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/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/gunter94orsml.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
134 The relational model with relation-valued attributes (context) - Schek, Scholl - 1986 ACM DBLP
106 Naturally embedded query languages (context) - Breazu-Tannen, Buneman et al. ACM DBLP
90 Structural recursion as a query language - Breazu-Tannen, Buneman et al. ACM DBLP
63 Database programming in Machiavelli: a polymorphic language .. - Ohori, Breazu-Tannen et al.
59 Using powerdomains to generalize relational databases - Buneman, Jung et al. - 1991
55 Towards tractable algebras for bags - Grumbach, Milo - 1993
36 A semantics for complex objects and approximate answers (context) - Buneman, Davidson et al. - 1991 ACM DBLP
35 Some properties of query languages for bags - Libkin, Wong - 1994 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
16 Situation-theoretic aspects of databases (context) - Rounds - 1991
13 List comprehensions and the relational calculus - Trinder, Wadler
6 The mixed powerdomain (context) - Gunter - 1992 ACM DBLP
5 A functional database programming language with support for .. (context) - Gunter, Libkin - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bell-labs.com/cm/cs/who/libkin/publ.html): More
Direct Decompositions of Atomistic Algebraic Lattices - Libkin (1995) (Correct)
Models of Approximation in Databases - Libkin (Correct)
A Query Language for Multidimensional Arrays: Design.. - Libkin, Machlin, 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