Matches in SemOpenAlex for { <https://semopenalex.org/work/W2221309524> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2221309524 abstract "The main focus of this dissertation is the design and implementation of a declarative language with powerful set processing capabilities. The underlying thesis of our work is that an efficient sequential implementation of a set-oriented declarative language is possible with static program analyses and run-time optimizations. Towards that end, we developed implementation techniques for a comprehensive paradigm embodying sets called subset-logic programming. An example of such a paradigm is the language SuRE (for Subsets, Relations, and Equations), which combines features from functional and logic programming languages, and is also well-suited to problems in deductive databases. By formulating a set-valed function through subset clauses, one gains the flexibilities of operation on the resulting set in different ways: eagerly, incrementally, or lazily. Subset clauses and, more generally, partial-order clauses help render clear and efficient formulations to problems requiring grouping operations, transitive closures, and monotonic aggregation in deductive databases.Like other logic programming languages, the implementation of SuRE is based upon and extends the Warren Abstract Machine (WAM)(War83). The presence of sets and the subset clause require a new control strategy for their implementation. Solving circular subset constraints requires monotonic memo-tables. This form of memoization goes beyond the usual form of memoization in functional and logic programming languages. When circular function calls depend upon one another through subset-monotonic functions, these calls have to be re-executed until their least/greatest fixed point is reached. This in turn requires memo-table entries to be monotonically updated. Another novel features of subset-logic programming is lazy evaluation, which, unlike that in traditional functional languages, actually involves lazy exploration of a resolution search-tree. The presence of sets requires the standard matching and unification operations to be generalized to set-matching and set-unification, which causes more branching than as in Prolog. We examined a few static analysis techniques for subset clauses in order to improve the performance of SuRE programs and their respective experimental results were presented. We showed that the overhead of memoization in subset-logic programs is minimal, and the use of monotonic memo-tables to implement dynamic programming algorithm can be a more efficient way than using pure memo-tables." @default.
- W2221309524 created "2016-06-24" @default.
- W2221309524 creator A5054393968 @default.
- W2221309524 date "1997-01-01" @default.
- W2221309524 modified "2023-09-26" @default.
- W2221309524 title "Implementation of subset logic languages" @default.
- W2221309524 hasPublicationYear "1997" @default.
- W2221309524 type Work @default.
- W2221309524 sameAs 2221309524 @default.
- W2221309524 citedByCount "1" @default.
- W2221309524 crossrefType "journal-article" @default.
- W2221309524 hasAuthorship W2221309524A5054393968 @default.
- W2221309524 hasConcept C128838566 @default.
- W2221309524 hasConcept C134306372 @default.
- W2221309524 hasConcept C146206909 @default.
- W2221309524 hasConcept C177264268 @default.
- W2221309524 hasConcept C186644900 @default.
- W2221309524 hasConcept C189790780 @default.
- W2221309524 hasConcept C199305712 @default.
- W2221309524 hasConcept C199360897 @default.
- W2221309524 hasConcept C33923547 @default.
- W2221309524 hasConcept C34165917 @default.
- W2221309524 hasConcept C41008148 @default.
- W2221309524 hasConcept C42383842 @default.
- W2221309524 hasConcept C42560504 @default.
- W2221309524 hasConcept C50033165 @default.
- W2221309524 hasConcept C72169020 @default.
- W2221309524 hasConcept C79516417 @default.
- W2221309524 hasConcept C80444323 @default.
- W2221309524 hasConcept C96315309 @default.
- W2221309524 hasConceptScore W2221309524C128838566 @default.
- W2221309524 hasConceptScore W2221309524C134306372 @default.
- W2221309524 hasConceptScore W2221309524C146206909 @default.
- W2221309524 hasConceptScore W2221309524C177264268 @default.
- W2221309524 hasConceptScore W2221309524C186644900 @default.
- W2221309524 hasConceptScore W2221309524C189790780 @default.
- W2221309524 hasConceptScore W2221309524C199305712 @default.
- W2221309524 hasConceptScore W2221309524C199360897 @default.
- W2221309524 hasConceptScore W2221309524C33923547 @default.
- W2221309524 hasConceptScore W2221309524C34165917 @default.
- W2221309524 hasConceptScore W2221309524C41008148 @default.
- W2221309524 hasConceptScore W2221309524C42383842 @default.
- W2221309524 hasConceptScore W2221309524C42560504 @default.
- W2221309524 hasConceptScore W2221309524C50033165 @default.
- W2221309524 hasConceptScore W2221309524C72169020 @default.
- W2221309524 hasConceptScore W2221309524C79516417 @default.
- W2221309524 hasConceptScore W2221309524C80444323 @default.
- W2221309524 hasConceptScore W2221309524C96315309 @default.
- W2221309524 hasLocation W22213095241 @default.
- W2221309524 hasOpenAccess W2221309524 @default.
- W2221309524 hasPrimaryLocation W22213095241 @default.
- W2221309524 hasRelatedWork W1163451340 @default.
- W2221309524 hasRelatedWork W143453603 @default.
- W2221309524 hasRelatedWork W1503552388 @default.
- W2221309524 hasRelatedWork W1541434994 @default.
- W2221309524 hasRelatedWork W1542304993 @default.
- W2221309524 hasRelatedWork W1594075998 @default.
- W2221309524 hasRelatedWork W1966259305 @default.
- W2221309524 hasRelatedWork W2004200215 @default.
- W2221309524 hasRelatedWork W2021519440 @default.
- W2221309524 hasRelatedWork W2022770502 @default.
- W2221309524 hasRelatedWork W2025594092 @default.
- W2221309524 hasRelatedWork W2037008576 @default.
- W2221309524 hasRelatedWork W2096314727 @default.
- W2221309524 hasRelatedWork W2097911101 @default.
- W2221309524 hasRelatedWork W2401596948 @default.
- W2221309524 hasRelatedWork W2621223372 @default.
- W2221309524 hasRelatedWork W3007295124 @default.
- W2221309524 hasRelatedWork W3096950624 @default.
- W2221309524 hasRelatedWork W3103318063 @default.
- W2221309524 hasRelatedWork W979826707 @default.
- W2221309524 isParatext "false" @default.
- W2221309524 isRetracted "false" @default.
- W2221309524 magId "2221309524" @default.
- W2221309524 workType "article" @default.