Report
View in EDS

OR-SML: A Functional Database Programming Language for Disjunctive Information

Bibliographic Details
Title: OR-SML: A Functional Database Programming Language for Disjunctive Information
Authors: Gunter, Elsa L, Libkin, Leonid
Source: 230 ; Technical Reports (CIS) ; published
Publication Year: 1994
Collection: University of Pennsylvania: ScholaryCommons@Penn
Subject Terms: databases programming languages, disjunctive information, functional languages, incomplete databases, independent databases, theorem provers
Description: We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML. 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 as querying incomplete or independent databases) and show how to use the language to answer these queries. Since the system runs on top of Standard ML and all database objects are values in the latter, the system benefits from combining a sophisticated query language with the full power of a programming language. OR-SML includes a number of primitives that deal with bags and aggregate functions. It is also configurable by user-defined base types. The language has been implemented as a library of modules in Standard ML. This allows the user to build just the database language as an independent system, or to interface it to other systems built in Standard ML. We give an example of connecting OR-SML with an already existing interactive theorem prover. ; University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-94-34.
Document Type: report
File Description: application/pdf
Language: unknown
Relation: https://repository.upenn.edu/handle/20.500.14332/7138
Availability: https://repository.upenn.edu/handle/20.500.14332/7138
https://hdl.handle.net/20.500.14332/7138
Accession Number: edsbas.3B89B85B
Database: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://repository.upenn.edu/handle/20.500.14332/7138#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.3B89B85B
RelevancyScore: 733
AccessLevel: 3
PubType: Report
PubTypeId: report
PreciseRelevancyScore: 733.469543457031
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: OR-SML: A Functional Database Programming Language for Disjunctive Information
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Gunter%2C+Elsa+L%22">Gunter, Elsa L</searchLink><br /><searchLink fieldCode="AR" term="%22Libkin%2C+Leonid%22">Libkin, Leonid</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: 230 ; Technical Reports (CIS) ; published
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 1994
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: University of Pennsylvania: ScholaryCommons@Penn
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22databases+programming+languages%22">databases programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22disjunctive+information%22">disjunctive information</searchLink><br /><searchLink fieldCode="DE" term="%22functional+languages%22">functional languages</searchLink><br /><searchLink fieldCode="DE" term="%22incomplete+databases%22">incomplete databases</searchLink><br /><searchLink fieldCode="DE" term="%22independent+databases%22">independent databases</searchLink><br /><searchLink fieldCode="DE" term="%22theorem+provers%22">theorem provers</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML. 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 as querying incomplete or independent databases) and show how to use the language to answer these queries. Since the system runs on top of Standard ML and all database objects are values in the latter, the system benefits from combining a sophisticated query language with the full power of a programming language. OR-SML includes a number of primitives that deal with bags and aggregate functions. It is also configurable by user-defined base types. The language has been implemented as a library of modules in Standard ML. This allows the user to build just the database language as an independent system, or to interface it to other systems built in Standard ML. We give an example of connecting OR-SML with an already existing interactive theorem prover. ; University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-94-34.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: report
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: unknown
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: https://repository.upenn.edu/handle/20.500.14332/7138
– Name: URL
  Label: Availability
  Group: URL
  Data: https://repository.upenn.edu/handle/20.500.14332/7138<br />https://hdl.handle.net/20.500.14332/7138
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.3B89B85B
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.3B89B85B
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: unknown
    Subjects:
      – SubjectFull: databases programming languages
        Type: general
      – SubjectFull: disjunctive information
        Type: general
      – SubjectFull: functional languages
        Type: general
      – SubjectFull: incomplete databases
        Type: general
      – SubjectFull: independent databases
        Type: general
      – SubjectFull: theorem provers
        Type: general
    Titles:
      – TitleFull: OR-SML: A Functional Database Programming Language for Disjunctive Information
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Gunter, Elsa L
      – PersonEntity:
          Name:
            NameFull: Libkin, Leonid
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 1994
          Identifiers:
            – Type: issn-locals
              Value: edsbas
          Titles:
            – TitleFull: 230 ; Technical Reports (CIS) ; published
              Type: main
ResultId 1