Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077261730> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2077261730 endingPage "1012" @default.
- W2077261730 startingPage "971" @default.
- W2077261730 abstract "We consider the problems of containment, equivalence, satisfiability and query-reachability for datalog programs with negation. These problems are important for optimizing datalog programs. We show that both query-reachability and satisfiability are decidable for programs with stratified negation provided that negation is applied only to EDB predicates or that all EDB predicates are unary. In the latter case, we show that equivalence is also decidable. The algorithms we present can also be used to push constraints from a given query to the EDB predicates. In showing our decidability results we describe a powerful tool, the query-tree, which is used for several optimization problems for datalog programs. Finally, we show that satisfiability is undecidable for datalog programs with unary IDB predicates, stratified negation and the interpreted predicate ≠." @default.
- W2077261730 created "2016-06-24" @default.
- W2077261730 creator A5014143171 @default.
- W2077261730 creator A5047193562 @default.
- W2077261730 creator A5060258942 @default.
- W2077261730 creator A5067621853 @default.
- W2077261730 date "2001-09-01" @default.
- W2077261730 modified "2023-09-26" @default.
- W2077261730 title "Static analysis in datalog extensions" @default.
- W2077261730 cites W1976291507 @default.
- W2077261730 cites W2044922487 @default.
- W2077261730 cites W2081973669 @default.
- W2077261730 cites W2295651970 @default.
- W2077261730 doi "https://doi.org/10.1145/502102.502104" @default.
- W2077261730 hasPublicationYear "2001" @default.
- W2077261730 type Work @default.
- W2077261730 sameAs 2077261730 @default.
- W2077261730 citedByCount "44" @default.
- W2077261730 countsByYear W20772617302012 @default.
- W2077261730 countsByYear W20772617302013 @default.
- W2077261730 countsByYear W20772617302015 @default.
- W2077261730 countsByYear W20772617302016 @default.
- W2077261730 countsByYear W20772617302017 @default.
- W2077261730 countsByYear W20772617302021 @default.
- W2077261730 crossrefType "journal-article" @default.
- W2077261730 hasAuthorship W2077261730A5014143171 @default.
- W2077261730 hasAuthorship W2077261730A5047193562 @default.
- W2077261730 hasAuthorship W2077261730A5060258942 @default.
- W2077261730 hasAuthorship W2077261730A5067621853 @default.
- W2077261730 hasConcept C102993220 @default.
- W2077261730 hasConcept C118615104 @default.
- W2077261730 hasConcept C127001435 @default.
- W2077261730 hasConcept C136643341 @default.
- W2077261730 hasConcept C148230440 @default.
- W2077261730 hasConcept C153269930 @default.
- W2077261730 hasConcept C168773769 @default.
- W2077261730 hasConcept C192034797 @default.
- W2077261730 hasConcept C194146651 @default.
- W2077261730 hasConcept C199360897 @default.
- W2077261730 hasConcept C203659156 @default.
- W2077261730 hasConcept C2185349 @default.
- W2077261730 hasConcept C2780069185 @default.
- W2077261730 hasConcept C33923547 @default.
- W2077261730 hasConcept C41008148 @default.
- W2077261730 hasConcept C6943359 @default.
- W2077261730 hasConcept C78023250 @default.
- W2077261730 hasConcept C80444323 @default.
- W2077261730 hasConceptScore W2077261730C102993220 @default.
- W2077261730 hasConceptScore W2077261730C118615104 @default.
- W2077261730 hasConceptScore W2077261730C127001435 @default.
- W2077261730 hasConceptScore W2077261730C136643341 @default.
- W2077261730 hasConceptScore W2077261730C148230440 @default.
- W2077261730 hasConceptScore W2077261730C153269930 @default.
- W2077261730 hasConceptScore W2077261730C168773769 @default.
- W2077261730 hasConceptScore W2077261730C192034797 @default.
- W2077261730 hasConceptScore W2077261730C194146651 @default.
- W2077261730 hasConceptScore W2077261730C199360897 @default.
- W2077261730 hasConceptScore W2077261730C203659156 @default.
- W2077261730 hasConceptScore W2077261730C2185349 @default.
- W2077261730 hasConceptScore W2077261730C2780069185 @default.
- W2077261730 hasConceptScore W2077261730C33923547 @default.
- W2077261730 hasConceptScore W2077261730C41008148 @default.
- W2077261730 hasConceptScore W2077261730C6943359 @default.
- W2077261730 hasConceptScore W2077261730C78023250 @default.
- W2077261730 hasConceptScore W2077261730C80444323 @default.
- W2077261730 hasIssue "5" @default.
- W2077261730 hasLocation W20772617301 @default.
- W2077261730 hasOpenAccess W2077261730 @default.
- W2077261730 hasPrimaryLocation W20772617301 @default.
- W2077261730 hasRelatedWork W1618267488 @default.
- W2077261730 hasRelatedWork W1969991082 @default.
- W2077261730 hasRelatedWork W2077261730 @default.
- W2077261730 hasRelatedWork W2081973669 @default.
- W2077261730 hasRelatedWork W2173302770 @default.
- W2077261730 hasRelatedWork W2293300167 @default.
- W2077261730 hasRelatedWork W2798884761 @default.
- W2077261730 hasRelatedWork W2949461525 @default.
- W2077261730 hasRelatedWork W4297670065 @default.
- W2077261730 hasRelatedWork W4302587616 @default.
- W2077261730 hasVolume "48" @default.
- W2077261730 isParatext "false" @default.
- W2077261730 isRetracted "false" @default.
- W2077261730 magId "2077261730" @default.
- W2077261730 workType "article" @default.