OR-SML: A functional database programming language for disjunctive information and its applications

Elsa Gunter, Leonid Libkin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 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.

Original languageEnglish (US)
Title of host publicationDatabase and Expert Systems Applications - 5th International Conference, DEXA 1994, Proceedings
EditorsDimitris Karagiannis
PublisherSpringer
Pages641-650
Number of pages10
ISBN (Print)9783540584353
DOIs
StatePublished - 1994
Externally publishedYes
Event5th International Conference Database and Expert Systems Applications, DEXA 1994 - Athens, Greece
Duration: Sep 7 1994Sep 9 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume856 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other5th International Conference Database and Expert Systems Applications, DEXA 1994
CountryGreece
CityAthens
Period9/7/949/9/94

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'OR-SML: A functional database programming language for disjunctive information and its applications'. Together they form a unique fingerprint.

Cite this