FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569259580> ?p ?o ?g. }

• W1569259580 abstract "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." @default.
• W1569259580 created "2016-06-24" @default.
• W1569259580 creator A5031194946 @default.
• W1569259580 creator A5069883356 @default.
• W1569259580 date "1994-01-01" @default.
• W1569259580 modified "2023-09-26" @default.
• W1569259580 title "OR-SML: A Functional Database Programming Language for Disjunctive Information" @default.
• W1569259580 cites W135323631 @default.
• W1569259580 cites W1503030070 @default.
• W1569259580 cites W1509251869 @default.
• W1569259580 cites W1520355364 @default.
• W1569259580 cites W1604542907 @default.
• W1569259580 cites W1829244603 @default.
• W1569259580 cites W1939001241 @default.
• W1569259580 cites W1945946994 @default.
• W1569259580 cites W1990391007 @default.
• W1569259580 cites W1996404651 @default.
• W1569259580 cites W2001276882 @default.
• W1569259580 cites W2007497378 @default.
• W1569259580 cites W2044215335 @default.
• W1569259580 cites W2058366603 @default.
• W1569259580 cites W2080430146 @default.
• W1569259580 cites W2086371958 @default.
• W1569259580 cites W2089781037 @default.
• W1569259580 cites W2098656960 @default.
• W1569259580 cites W2106774480 @default.
• W1569259580 cites W2139385511 @default.
• W1569259580 cites W2148517439 @default.
• W1569259580 cites W2153320571 @default.
• W1569259580 cites W2162602286 @default.
• W1569259580 cites W2295914203 @default.
• W1569259580 hasPublicationYear "1994" @default.
• W1569259580 type Work @default.
• W1569259580 sameAs 1569259580 @default.
• W1569259580 citedByCount "0" @default.
• W1569259580 crossrefType "journal-article" @default.
• W1569259580 hasAuthorship W1569259580A5031194946 @default.
• W1569259580 hasAuthorship W1569259580A5069883356 @default.
• W1569259580 hasConcept C105795698 @default.
• W1569259580 hasConcept C113843644 @default.
• W1569259580 hasConcept C118615104 @default.
• W1569259580 hasConcept C118930307 @default.
• W1569259580 hasConcept C129307140 @default.
• W1569259580 hasConcept C148840519 @default.
• W1569259580 hasConcept C157915830 @default.
• W1569259580 hasConcept C164120249 @default.
• W1569259580 hasConcept C173608175 @default.
• W1569259580 hasConcept C192028432 @default.
• W1569259580 hasConcept C194222762 @default.
• W1569259580 hasConcept C199360897 @default.
• W1569259580 hasConcept C23123220 @default.
• W1569259580 hasConcept C2780598303 @default.
• W1569259580 hasConcept C32977378 @default.
• W1569259580 hasConcept C33923547 @default.
• W1569259580 hasConcept C41008148 @default.
• W1569259580 hasConcept C54239708 @default.
• W1569259580 hasConcept C55596503 @default.
• W1569259580 hasConcept C56288433 @default.
• W1569259580 hasConcept C5655090 @default.
• W1569259580 hasConcept C77088390 @default.
• W1569259580 hasConcept C95916125 @default.
• W1569259580 hasConcept C97854310 @default.
• W1569259580 hasConceptScore W1569259580C105795698 @default.
• W1569259580 hasConceptScore W1569259580C113843644 @default.
• W1569259580 hasConceptScore W1569259580C118615104 @default.
• W1569259580 hasConceptScore W1569259580C118930307 @default.
• W1569259580 hasConceptScore W1569259580C129307140 @default.
• W1569259580 hasConceptScore W1569259580C148840519 @default.
• W1569259580 hasConceptScore W1569259580C157915830 @default.
• W1569259580 hasConceptScore W1569259580C164120249 @default.
• W1569259580 hasConceptScore W1569259580C173608175 @default.
• W1569259580 hasConceptScore W1569259580C192028432 @default.
• W1569259580 hasConceptScore W1569259580C194222762 @default.
• W1569259580 hasConceptScore W1569259580C199360897 @default.
• W1569259580 hasConceptScore W1569259580C23123220 @default.
• W1569259580 hasConceptScore W1569259580C2780598303 @default.
• W1569259580 hasConceptScore W1569259580C32977378 @default.
• W1569259580 hasConceptScore W1569259580C33923547 @default.
• W1569259580 hasConceptScore W1569259580C41008148 @default.
• W1569259580 hasConceptScore W1569259580C54239708 @default.
• W1569259580 hasConceptScore W1569259580C55596503 @default.
• W1569259580 hasConceptScore W1569259580C56288433 @default.
• W1569259580 hasConceptScore W1569259580C5655090 @default.
• W1569259580 hasConceptScore W1569259580C77088390 @default.
• W1569259580 hasConceptScore W1569259580C95916125 @default.
• W1569259580 hasConceptScore W1569259580C97854310 @default.
• W1569259580 hasLocation W15692595801 @default.
• W1569259580 hasOpenAccess W1569259580 @default.
• W1569259580 hasPrimaryLocation W15692595801 @default.
• W1569259580 hasRelatedWork W1021728932 @default.
• W1569259580 hasRelatedWork W1494343638 @default.
• W1569259580 hasRelatedWork W1524613989 @default.
• W1569259580 hasRelatedWork W1527953134 @default.
• W1569259580 hasRelatedWork W1529337226 @default.
• W1569259580 hasRelatedWork W1601013538 @default.
• W1569259580 hasRelatedWork W163975558 @default.
• W1569259580 hasRelatedWork W184628948 @default.
• W1569259580 hasRelatedWork W1850393479 @default.
• W1569259580 hasRelatedWork W192452711 @default.
• W1569259580 hasRelatedWork W1985602891 @default.

• next