TY - GEN
T1 - OR-SML
T2 - 5th International Conference Database and Expert Systems Applications, DEXA 1994
AU - Gunter, Elsa
AU - Libkin, Leonid
N1 - Funding Information:
On the other hand, the designer should also be allowed to query about possible completed designs. Such queries are called conceptual, as they ask questions about objects which are not stored in the database, but only represented by those that are. A query that asks to compute the number of completed designs is an example of a conceptual query. For each particular incomplete design this * Partial support was provided by NSF Grant IRI-90-04137 and AT&T Doctoral Fellowship, while this author was a graduate student at the University of Pennsylvania.
Funding Information:
Provided by NSF National Science Foundation Grant IRI-90-04137
Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1994.
PY - 1994
Y1 - 1994
N2 - 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 or interfaced to other systems built in ML. We give examples of queries which require disjunctive information (such as querying incomplete or independent databases) and show how to use the language to answer these queries.
AB - 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 or interfaced to other systems built in ML. We give examples of queries which require disjunctive information (such as querying incomplete or independent databases) and show how to use the language to answer these queries.
UR - http://www.scopus.com/inward/record.url?scp=84947781728&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84947781728&partnerID=8YFLogxK
U2 - 10.1007/3-540-58435-8_230
DO - 10.1007/3-540-58435-8_230
M3 - Conference contribution
AN - SCOPUS:84947781728
SN - 9783540584353
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 641
EP - 650
BT - Database and Expert Systems Applications - 5th International Conference, DEXA 1994, Proceedings
A2 - Karagiannis, Dimitris
PB - Springer
Y2 - 7 September 1994 through 9 September 1994
ER -