FRINK Linked Data Fragments server

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

• W1520318411 abstract "We describe a functional database language OR-SML for handling disjunctive information in database queries, its implementation in Standard ML [10], and its interface to HOL90. 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 an example of queries over the “database” of HOL90 theories which require disjunctive information and show how to use the language to answer these queries. Since the system is running 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. The language has been implemented as an HOL90-loadable library of modules in Standard ML." @default.
• W1520318411 created "2016-06-24" @default.
• W1520318411 creator A5031194946 @default.
• W1520318411 creator A5069883356 @default.
• W1520318411 date "1995-01-01" @default.
• W1520318411 modified "2023-09-27" @default.
• W1520318411 title "Interfacing HOL90 with a functional database query language" @default.
• W1520318411 cites W1503030070 @default.
• W1520318411 cites W1520355364 @default.
• W1520318411 cites W1867190418 @default.
• W1520318411 cites W2001276882 @default.
• W1520318411 cites W2044215335 @default.
• W1520318411 cites W2086371958 @default.
• W1520318411 cites W2089781037 @default.
• W1520318411 cites W2162602286 @default.
• W1520318411 cites W2033753428 @default.
• W1520318411 doi "https://doi.org/10.1007/3-540-60275-5_64" @default.
• W1520318411 hasPublicationYear "1995" @default.
• W1520318411 type Work @default.
• W1520318411 sameAs 1520318411 @default.
• W1520318411 citedByCount "0" @default.
• W1520318411 crossrefType "book-chapter" @default.
• W1520318411 hasAuthorship W1520318411A5031194946 @default.
• W1520318411 hasAuthorship W1520318411A5069883356 @default.
• W1520318411 hasConcept C105795698 @default.
• W1520318411 hasConcept C113843644 @default.
• W1520318411 hasConcept C118615104 @default.
• W1520318411 hasConcept C118689300 @default.
• W1520318411 hasConcept C118930307 @default.
• W1520318411 hasConcept C12439846 @default.
• W1520318411 hasConcept C129307140 @default.
• W1520318411 hasConcept C148840519 @default.
• W1520318411 hasConcept C157692150 @default.
• W1520318411 hasConcept C157915830 @default.
• W1520318411 hasConcept C164120249 @default.
• W1520318411 hasConcept C173608175 @default.
• W1520318411 hasConcept C192028432 @default.
• W1520318411 hasConcept C194222762 @default.
• W1520318411 hasConcept C199360897 @default.
• W1520318411 hasConcept C23123220 @default.
• W1520318411 hasConcept C2776303644 @default.
• W1520318411 hasConcept C2780598303 @default.
• W1520318411 hasConcept C30775581 @default.
• W1520318411 hasConcept C32977378 @default.
• W1520318411 hasConcept C33923547 @default.
• W1520318411 hasConcept C41008148 @default.
• W1520318411 hasConcept C54239708 @default.
• W1520318411 hasConcept C56288433 @default.
• W1520318411 hasConcept C5655090 @default.
• W1520318411 hasConcept C77088390 @default.
• W1520318411 hasConcept C9390403 @default.
• W1520318411 hasConcept C96956885 @default.
• W1520318411 hasConcept C97854310 @default.
• W1520318411 hasConceptScore W1520318411C105795698 @default.
• W1520318411 hasConceptScore W1520318411C113843644 @default.
• W1520318411 hasConceptScore W1520318411C118615104 @default.
• W1520318411 hasConceptScore W1520318411C118689300 @default.
• W1520318411 hasConceptScore W1520318411C118930307 @default.
• W1520318411 hasConceptScore W1520318411C12439846 @default.
• W1520318411 hasConceptScore W1520318411C129307140 @default.
• W1520318411 hasConceptScore W1520318411C148840519 @default.
• W1520318411 hasConceptScore W1520318411C157692150 @default.
• W1520318411 hasConceptScore W1520318411C157915830 @default.
• W1520318411 hasConceptScore W1520318411C164120249 @default.
• W1520318411 hasConceptScore W1520318411C173608175 @default.
• W1520318411 hasConceptScore W1520318411C192028432 @default.
• W1520318411 hasConceptScore W1520318411C194222762 @default.
• W1520318411 hasConceptScore W1520318411C199360897 @default.
• W1520318411 hasConceptScore W1520318411C23123220 @default.
• W1520318411 hasConceptScore W1520318411C2776303644 @default.
• W1520318411 hasConceptScore W1520318411C2780598303 @default.
• W1520318411 hasConceptScore W1520318411C30775581 @default.
• W1520318411 hasConceptScore W1520318411C32977378 @default.
• W1520318411 hasConceptScore W1520318411C33923547 @default.
• W1520318411 hasConceptScore W1520318411C41008148 @default.
• W1520318411 hasConceptScore W1520318411C54239708 @default.
• W1520318411 hasConceptScore W1520318411C56288433 @default.
• W1520318411 hasConceptScore W1520318411C5655090 @default.
• W1520318411 hasConceptScore W1520318411C77088390 @default.
• W1520318411 hasConceptScore W1520318411C9390403 @default.
• W1520318411 hasConceptScore W1520318411C96956885 @default.
• W1520318411 hasConceptScore W1520318411C97854310 @default.
• W1520318411 hasLocation W15203184111 @default.
• W1520318411 hasOpenAccess W1520318411 @default.
• W1520318411 hasPrimaryLocation W15203184111 @default.
• W1520318411 hasRelatedWork W1501149053 @default.
• W1520318411 hasRelatedWork W1513606196 @default.
• W1520318411 hasRelatedWork W151595803 @default.
• W1520318411 hasRelatedWork W2003751975 @default.
• W1520318411 hasRelatedWork W2033860443 @default.
• W1520318411 hasRelatedWork W2042365591 @default.
• W1520318411 hasRelatedWork W2174121834 @default.
• W1520318411 hasRelatedWork W2253493440 @default.
• W1520318411 hasRelatedWork W2399673489 @default.
• W1520318411 hasRelatedWork W2483428117 @default.
• W1520318411 hasRelatedWork W2563985414 @default.
• W1520318411 hasRelatedWork W2570040784 @default.
• W1520318411 hasRelatedWork W2792067401 @default.
• W1520318411 hasRelatedWork W2916037791 @default.
• W1520318411 hasRelatedWork W2964122061 @default.

• next