Matches in SemOpenAlex for { <https://semopenalex.org/work/W1528304048> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1528304048 abstract "A variety of optimizations in logic databases [20] involve the transformation of safe, function-free (Datalog) logic programs to simpler, more efficiently evaluable programs. The essence of these transformations is the detection of program equivalence. Equivalence has been shown to be undecidable in [1, 17, 18, 19], but those results are unsatisfactory in that they involve highly nonlinear rules, or an unbounded number of linear recursive rules, and hence yield no insight into the behaviour of small, linear recursive programs. In this paper, we consider programs that consist of one nonrecursive linear rule, one linear recursive rule and one initialization rule. We provide a tight characterization of the decidability of program equivalence, proving it undecidable for such programs, and proving it decidable for a subclass that includes binary chain programs and programs with no repeated predicates in the rule body. We then apply these results to various normal-form optimizations [12, 18], including the detection of serializability, cornmutativity, basis-linearizability and rule redundancy." @default.
- W1528304048 created "2016-06-24" @default.
- W1528304048 creator A5011394275 @default.
- W1528304048 creator A5047417707 @default.
- W1528304048 date "1992-01-01" @default.
- W1528304048 modified "2023-10-14" @default.
- W1528304048 title "Decidability and undecidability of equivalence for linear Datalog, with applications to normal-form optimizations" @default.
- W1528304048 cites W1968050632 @default.
- W1528304048 cites W1976844836 @default.
- W1528304048 cites W1979514837 @default.
- W1528304048 cites W1983914494 @default.
- W1528304048 cites W1992449340 @default.
- W1528304048 cites W1996513497 @default.
- W1528304048 cites W2013951929 @default.
- W1528304048 cites W2056660085 @default.
- W1528304048 cites W2059894732 @default.
- W1528304048 cites W2067424859 @default.
- W1528304048 cites W2089967388 @default.
- W1528304048 cites W2105741963 @default.
- W1528304048 cites W2110463644 @default.
- W1528304048 cites W2161525442 @default.
- W1528304048 doi "https://doi.org/10.1007/3-540-56039-4_49" @default.
- W1528304048 hasPublicationYear "1992" @default.
- W1528304048 type Work @default.
- W1528304048 sameAs 1528304048 @default.
- W1528304048 citedByCount "2" @default.
- W1528304048 crossrefType "book-chapter" @default.
- W1528304048 hasAuthorship W1528304048A5011394275 @default.
- W1528304048 hasAuthorship W1528304048A5047417707 @default.
- W1528304048 hasConcept C11413529 @default.
- W1528304048 hasConcept C114466953 @default.
- W1528304048 hasConcept C118615104 @default.
- W1528304048 hasConcept C148230440 @default.
- W1528304048 hasConcept C153269930 @default.
- W1528304048 hasConcept C192034797 @default.
- W1528304048 hasConcept C199360897 @default.
- W1528304048 hasConcept C2778361913 @default.
- W1528304048 hasConcept C2780069185 @default.
- W1528304048 hasConcept C33923547 @default.
- W1528304048 hasConcept C41008148 @default.
- W1528304048 hasConcept C80444323 @default.
- W1528304048 hasConceptScore W1528304048C11413529 @default.
- W1528304048 hasConceptScore W1528304048C114466953 @default.
- W1528304048 hasConceptScore W1528304048C118615104 @default.
- W1528304048 hasConceptScore W1528304048C148230440 @default.
- W1528304048 hasConceptScore W1528304048C153269930 @default.
- W1528304048 hasConceptScore W1528304048C192034797 @default.
- W1528304048 hasConceptScore W1528304048C199360897 @default.
- W1528304048 hasConceptScore W1528304048C2778361913 @default.
- W1528304048 hasConceptScore W1528304048C2780069185 @default.
- W1528304048 hasConceptScore W1528304048C33923547 @default.
- W1528304048 hasConceptScore W1528304048C41008148 @default.
- W1528304048 hasConceptScore W1528304048C80444323 @default.
- W1528304048 hasLocation W15283040481 @default.
- W1528304048 hasOpenAccess W1528304048 @default.
- W1528304048 hasPrimaryLocation W15283040481 @default.
- W1528304048 hasRelatedWork W1672578634 @default.
- W1528304048 hasRelatedWork W1706499668 @default.
- W1528304048 hasRelatedWork W1843148560 @default.
- W1528304048 hasRelatedWork W1971626643 @default.
- W1528304048 hasRelatedWork W1982619387 @default.
- W1528304048 hasRelatedWork W1992449340 @default.
- W1528304048 hasRelatedWork W2011185234 @default.
- W1528304048 hasRelatedWork W2024932524 @default.
- W1528304048 hasRelatedWork W2051741066 @default.
- W1528304048 hasRelatedWork W2065163191 @default.
- W1528304048 hasRelatedWork W2066734765 @default.
- W1528304048 hasRelatedWork W2082729761 @default.
- W1528304048 hasRelatedWork W2183965288 @default.
- W1528304048 hasRelatedWork W2899375913 @default.
- W1528304048 hasRelatedWork W2937456179 @default.
- W1528304048 hasRelatedWork W2951255681 @default.
- W1528304048 hasRelatedWork W2995216536 @default.
- W1528304048 hasRelatedWork W3007515937 @default.
- W1528304048 hasRelatedWork W96313477 @default.
- W1528304048 hasRelatedWork W2585994082 @default.
- W1528304048 isParatext "false" @default.
- W1528304048 isRetracted "false" @default.
- W1528304048 magId "1528304048" @default.
- W1528304048 workType "book-chapter" @default.